Defina la complejidad gaussiana de una matriz como el número mínimo de operaciones elementales de fila y columna requeridas para llevar la matriz a la forma triangular superior. Esta es una cantidad entre 0 y n 2 (a través de Gaussian elemination). La noción tiene sentido sobre cualquier...
Estoy interesado en el siguiente problema: dado un conjunto X y los subconjuntos X_1, ..., X_n de X, encuentre una coloración de los elementos de X con k colores de manera que los elementos en cada X_i sean todos de colores diferentes. Más específicamente, estoy mirando el caso donde todos los X_i...
Este artículo sugiere que hay combinadores (que representan cálculos simbólicos) que no pueden ser representados por el cálculo Lambda (si entiendo las cosas
Problema: se nos da un conjunto de palos que tienen longitudes enteras. La suma total de sus longitudes es n (n + 1) / 2. ¿Podemos separarlos para obtener palos de tamaño en tiempo polinómico? 1 , 2 , ... , n1,2,...,norte{1,2,\ldots,n} Sorprendentemente, la única referencia que encuentro para...
Deje que sea un gráfico simple no dirigido y deje que sean vértices distintos. Deje que la longitud de una ruta st simple sea el número de aristas en la ruta. Estoy interesado en calcular el tamaño máximo de un conjunto de rutas st simples, de modo que cada ruta tenga una longitud impar, y los...
Estoy interesado en una función booleana explícita con la siguiente propiedad: si es constante en algún subespacio afín de , entonces la dimensión de este subespacio es .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) No es difícil demostrar que una...
¿Qué universidades tienen un sólido plan de estudios de computación cuántica y ofrecen algún tipo de computación cuántica / cursos de información / investigación? El objetivo aquí es recopilar una lista útil para alguien que esté considerando estudiar un posgrado en estos campos, no discutir cuál...
En un artículo clásico, Munro y Paterson estudian el problema de cuánto almacenamiento se requiere para que un algoritmo encuentre la mediana en una matriz ordenada aleatoriamente. En particular, se centran en el siguiente modelo: la entrada se lee de izquierda a derecha varias veces P. Se...
En los sistemas de prueba para la lógica proposicional clásica, si se quiere mostrar que una determinada fórmula no es derivable, simplemente se muestra que se puede derivar (aunque ciertamente son posibles otras técnicas). La no derivabilidad se deriva esencialmente de la solidez y la integridad...
¿Alguien sabe acerca de un resultado de completitud NP para el problema DOMINATORIO SET en gráficos, restringido a la clase de gráficos bipartitos planos de grado máximo 3? Sé que es NP completo para la clase de gráficos planos de grado máximo 3 (ver el libro de Garey y Johnson), así como para...
Recientemente, Watrous et al probaron que QIP (3) = PSPACE es un resultado notable. Este fue un resultado sorprendente para mí por decir lo menos y me hizo pensar ... Me preguntaba qué pasaría si las computadoras cuánticas pudieran ser simuladas eficientemente por computadoras clásicas. ¿Podría...
La teoría de la complejidad parece capturar algo fundamental sobre la estructura del universo, ya que formaliza la noción intuitiva de que algunos problemas son más difíciles que otros. Scott Aaronson predijo : "El supuesto de dureza NP eventualmente será visto como análogo a la segunda ley de la...
Muy a menudo, si el tiempo de ejecución de un algoritmo es una expresión complicada, el algoritmo en sí también es complicado y poco práctico. Cada una de las raíces cúbicas y los factores en el tiempo de ejecución asintótico tienden a agregar complejidad al algoritmo y también a factores...
El método de derivación de Brzozowski es una técnica muy bonita para construir autómatas deterministas a partir de expresiones regulares de una manera muy algebraica. He elaborado algunas generalizaciones lindas de esta técnica para manejar algunas clases más grandes de gramáticas, pero los...
¿Estoy en lo cierto al entender que probar un problema NP completo es un éxito de investigación? Si es así, ¿por
Esta página afirma que muchos lenguajes no usan subtipos implícitos (equivalencia estructural), prefieren subtipos explícitos / declarados (equivalencia de declaración) Principalmente he usado lenguajes de programación que usan subtipos explícitos . ¿Cuáles son las ventajas del subtipo...
Es bien sabido que hay toneladas de aficionados, incluido yo mismo, que están interesados en el problema P vs. NP. También hay muchos aficionados, incluido yo mismo, que han intentado resolver el problema. Un problema que creo que sufre la comunidad TCS es una relación relativamente alta de...
2 preguntas para los geómetras computacionales o algebraistas: Estoy empezando a sumergirme en la geometría computacional y me encanta =) Estoy intentando leer el famoso artículo de Guibas y Stolfi llamado "Primitivas para la manipulación de subdivisiones generales y el cálculo de Diagramas de...
Acabo de leer la pregunta " ¿Es la factorización entera un problema NP-completo? " ... así que decidí gastar algo de mi reputación :-) haciendo otra pregunta teniendo :QQQPAG( Q es trivial ) ≈ 1PAG(Q es trivial)≈1P(\text{Q is trivial}) \approx 1 Si es un oráculo que resuelve la factorización de...
¿Es cierto que hay problemas en la jerarquía polinómica que se pueden resolver en el tiempo (por una máquina de Turing alterna en algún nivel de la jerarquía polinómica) que no se pueden resolver en O ( n k - 1 ) en ningún nivel de jerarquía polinómica? En otras palabras, ¿existe un teorema de...