Se desconoce si o , dondeP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP es el conjunto de todos los idiomas que se pueden decidir en tiempo polinómico en una máquina de Turing determinista, y CSLCSLCSL es la clase de lenguajes sensibles al contexto, conocidos por ser equivalentes a...
Elberfeld, Jakoby y Tantau 2010 ( ECCC TR10-062 ) demostraron una versión eficiente del espacio del teorema de Bodlaender. Demostraron que para los gráficos con ancho de árbol como máximo , se puede encontrar una descomposición de árbol de ancho k usando espacio logarítmico. El factor constante en...
Supongamos que es un lenguaje parametrizado con respecto a algún alfabeto . La división de es , el conjunto de instancias en que tienen el parámetro . La clase de complejidad contiene los lenguajes parametrizados modo que para cada , posiblemente con un algoritmo diferente y un tiempo de ejecución...
Motivación : Mientras desarrollamos herramientas para el control de versiones de datos, terminamos buscando algoritmos para "diferenciar" dos conjuntos de enteros, creando una secuencia de transformaciones que llevan un conjunto de enteros al otro. Pudimos reducir ese problema al siguiente problema...
Estoy interesado en determinar la complejidad del siguiente problema de decisión: dados dos enteros y l 2 (cada uno con m bits como máximo), decida si el bit más significativo de la multiplicación l 1 ⋅ l 2 es 1 (donde el resultado se imprime en bits de 2 m con posiblemente los primeros...
Teorema de Mahaney nos dice que si hay una escasa conjunto -Complete bajo en tiempo polinomial muchos uno-reducciones, entonces P = N P . (Ver " Conjuntos completos escasos para NP: Solución de una conjetura de Berman y Hartmanis ")nortePAGNPNPPAG= NPAGP=NPP = NP ¿Existen consecuencias conocidas...
Encontré dos ejemplos de dureza hipotética de algunos problemas gráficos. La dureza hipotética significa que refutar alguna conjetura implicaría la completitud NP del problema gráfico respectivo. Por ejemplo, la conjetura de Barnette establece que cada gráfico bipartito plano cúbico conectado a 3...
Deje que sea una máquina determinista en tiempo polinómico que pueden hacer preguntas a algún oráculo A . Inicialmente, A está vacío, pero esto se puede cambiar después de un juego que se describirá a continuación. Deje x ser una cadena.METROMMUNAAAUNAAAXxx Considere el siguiente juego de Alice y...
¿Existe un algoritmo de clasificación basado en la comparación que utiliza un promedio de l g ( n ! ) + O ( n )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) comparaciones? La existencia de un algoritmo de comparación l g ( n ! ) + O ( n ) en el peor de los casos lg(n!)+o(n)\mathrm{lg}(n!)+o(n)es un problema...
¿Hay ejemplos de casos en los que la simulación clásica de un algoritmo cuántico para un problema supera al algoritmo clásico mejor conocido anteriormente para este problema? "Superar" no tiene que significar una clase de complejidad diferente, simplemente podría ser una mejor escala. Esta...
Actualmente estoy buscando un tema para una tesis y encontré el campo de la teoría de la información algorítmica. El campo me parece muy interesante, pero parece que todo es el campo que se hizo antes de muchos años. Entonces mi pregunta es: ¿el campo está "vivo" o está prácticamente cerrado?...
La clase son las funciones de clase computables por familias de circuitos de abanico acotado, tamaño y profundidad . La es la unión de esas clases.CAROLINA DEL NORTEyoCAROLINA DEL NORTEyo\textrm{NC}^inorteO ( 1 )norteO(1)n^{O(1)}O ( logyo( n ) )O(Iniciar sesiónyo(norte))O(\log^i(n))CAROLINA DEL...
Esta es una generalización de mi pregunta anterior . Deje que MMM sea una máquina determinista en tiempo polinómico que pueden hacer preguntas a algún oráculo AAA . Inicialmente, AAA está vacío, pero esto se puede cambiar después de un juego que se describirá a continuación. Deje xxx ser una...
Se sabe desde principios de los años 70 que N PNP{\bf NP} y E =DTyoMETROmi( 2O ( n ))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) no son iguales (porque miE{\bf E} no está cerrado bajo reducciones de tiempo múltiple polinomial, en contraste con N PNP{\bf NP} ) . Sin embargo, hasta donde yo sé, todavía...
Sabemos que bajo ETHETHETH no podemos resolver KKK -SUM en el tiempo f(K)poly(nK)f(K)poly(nK)f(K)poly(nK) bajo ninguna función f(K)f(K)f(K) (generalmente 2O(K)2O(K)2^{O(K)} ). ¿Hay alguna conjetura que evite una complejidad (logn)O(K)(logn)O(K)(\log n)^{O(K)} (esto es completamente consistente...
El problema de coincidencia perfecta de dos colores es decidir si un gráfico tiene una coloración con dos colores de manera que cada nodo tenga exactamente un vecino del mismo color que él. Schaefer demostró que el problema era NP completo . Sigue siendo NP-completo incluso para gráficos cúbicos...
¿Hay resultados conocidos que demuestren que la existencia (o la no existencia) de gráficos finitos con propiedades computables específicas implican ciertos resultados de complejidad (como P = NP)? Aquí hay un resultado completamente hipotético : si existe un gráfico finito con bordes distingos A,...
IP (2pfa) y AM (2pfa) son las clases de lenguajes reconocidos con error acotado por versiones de monedas públicas y privadas, respectivamente, de sistemas de prueba interactivos con verificadores que son autómatas finitos probabilísticos con un cabezal de entrada de dos vías. ¿Se conocen...
La multiplicación de matrices usando Regular - técnica (fila columna interna producto) realiza multiplucations y adiciones. Sin embargo, suponiendo entradas de igual tamaño (número de bits en cada entrada de ambas matrices que se multiplican) de tamaño bits, la operación de suma en realidad ocurre...
La teoría de la complejidad computacional clasifica los problemas de acuerdo con su dificultad inherente. La teoría de sistemas complejos aborda sistemas que exhiben comportamientos que obviamente no surgen de las propiedades de las partes individuales del sistema. Los ejemplos incluyen sistemas...