Ciencias de la Computación

Me dan un conjunto A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , un número entero s⩽ks⩽ks\leqslant k y números enteros no negativos aijaija_{ij} . Mi problema es encontrar sss subconjuntos disjuntos SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} modo que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; y |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} para todos i∈Sji∈Sji\in S_j y j=1,…,sj=1,…,sj=1,\ldots,s . ¿Cómo resolver este problema? ¿Es difícil encontrar …

11 complexity-theory  integer-programming 

En Java, debe emitir explícitamente para rechazar una variable public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child = (Apple)parent; } ¿Hay …

11 object-oriented  type-inference  language-design 

Una expresión regular se define de forma recursiva como para algunos a ∈ Σ es una expresión regular,aaaa∈Σa∈Σa \in \Sigma es una expresión regular,εε\varepsilon es una expresión regular,∅∅\emptyset donde R 1 y R 2 son expresiones regulares es una expresión regular,(R1∪R2)(R1∪R2)(R_1 \cup R_2)R1R1R_1R2R2R_2 donde R 1 y R 2 son …

11 formal-languages  regular-languages  regular-expressions 

Se requiere uno para encontrar la potencia (número entero positivo) de la matriz de números reales. Existen muchos algoritmos eficientes de multiplicación de matrices (por ejemplo, algunos algoritmos paralelos son Cannon's, DNS ) pero ¿existen algoritmos que estén destinados exactamente a encontrar el poder de la matriz y que sean …

11 algorithms  parallel-computing  efficiency  matrices  numerical-algorithms 

¿Hay una manera fácil de ver por qué NP está en EXPTIME? Me parece a priori concebible que podría haber un problema que requiera un tiempo súper exponencial para resolver, pero cuya solución podría verificarse en tiempo polinómico.

11 complexity-theory  complexity-classes 

El título lo dice todo, pero tengo curiosidad porque no es obvio cómo un probador de teoremas llegó a llamarse 'Isabelle'. ¿Fue nombrado por una persona? No pude averiguar por algunas búsquedas de Google.

11 history  automated-theorem-proving  isabelle 

¿Por qué los lenguajes de alto nivel aparentemente nunca llegan a los de nivel inferior en términos de velocidad? Ejemplos de lenguajes de alto nivel serían Python, Haskell y Java. Los lenguajes de bajo nivel serían más difíciles de definir, pero digamos C. Las comparaciones se pueden encontrar en todo …

11 programming-languages  performance 

Como proyecto divertido, he estado trabajando en una implementación en C # de Richard Korf's: Encontrar soluciones óptimas para el cubo de Rubik usando bases de datos de patrones. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf De hecho, lo tengo funcionando, solo estoy tratando de mejorar mi solución. Una cosa que Korf ve en su artículo …

11 algorithms  permutations 

El algoritmo de Shor a menudo se usa como argumento. Puede resolver el problema de factorización más rápido que cualquier algoritmo conocido para computadoras clásicas. Sin embargo, no tenemos pruebas de que las computadoras clásicas no puedan factorizar enteros de manera eficiente. ¿Existe alguna prueba real de que las computadoras …

11 algorithms  efficiency  quantum-computing 

Una respuesta sobre Programmers.SE caracteriza un ensayo de Cook (Los objetos no son ADT ) como diciendo Los objetos se comportan como una función característica sobre los valores de un tipo, más que como un álgebra. Los objetos usan abstracción de procedimiento en lugar de abstracción de tipo Los ADT …

11 programming-languages  object-oriented  abstract-data-types 

Dado un subconjunto de un producto cartesiano de dos conjuntos finitos, deseo encontrar una cobertura mínima de él por conjuntos que son productos cartesianos.I×JI×JI \times J Por ejemplo, dado un producto entre y , puedo observar el subconjunto e intente cubrirlo con un número mínimo de productos cartesianos.I={A,B,C}I={A,B,C}I=\{A,B,C\}J={1,2,3}J={1,2,3}J=\{1,2,3\}{(A,2),(B,3),(B,2)}{(A,2),(B,3),(B,2)}\{(A,2), (B,3), (B,2)\} …

11 algorithms  set-cover 

La ronda de prueba de Google Hash Code 2015 ( enunciado del problema ) preguntó sobre el siguiente problema: entrada: una cuadrícula con algunos cuadrados marcados, un umbral , un área máximaT ∈ N A ∈ NMETROMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} salida: la mayor área total posible de un conjunto …

11 complexity-theory  reductions  np-hard 

Estoy tratando de tener una idea general de la importancia del punto menos fijo (lfp) en el análisis del programa. Por ejemplo, la interpretación abstracta parece utilizar la existencia de lfp. Muchos trabajos de investigación sobre análisis de programas también se centran principalmente en encontrar el punto menos fijo. Más …

11 programming-languages  finite-model-theory  fixed-point 

Actualmente estoy asistiendo al curso de programación concurrente en mi universidad y recientemente comenzamos a hablar sobre el concepto de monitor. Si bien entiendo la necesidad de la exclusión mutua, no entiendo por qué usaría un monitor para eso. Según tengo entendido, un monitor garantiza que exactamente uno o ningún …

11 concurrency  synchronization  mutual-exclusion 

Me he preguntado por qué las cintas / cintas no son parte de la definición formal de una máquina de Turing. Considere, por ejemplo, la definición formal de una máquina de Turing en la página de Wikipedia . La definición, siguiendo a Hopcroft y Ullman, incluye: el conjunto finito de …

11 turing-machines  computation-models