Preguntas etiquetadas con cc.complexity-theory

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 …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

¿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 pregunta se inspiró en el caso …

10 cc.complexity-theory  quantum-computing  quantum-information 

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 NORTECAROLINA DEL NORTE\textrm{NC} ¿Hay algún estudio de la variante de …

10 cc.complexity-theory  circuit-complexity 

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 …

10 cc.complexity-theory  it.information-theory 

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 Bob. Inicialmente, …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

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 de la existencia de …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

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 es hamiltoniano. Feder y Subi demostraron que refutar …

10 cc.complexity-theory  graph-theory  np-hardness 

¿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 …

10 cc.complexity-theory  ds.algorithms  sorting 

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 muy natural que parece tener conexiones para editar la …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

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 …

10 cc.complexity-theory  circuit-complexity 

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 …

10 cc.complexity-theory  reference-request  parameterized-complexity 

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 el espacio …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Deje que una máquina de Turing probabilística tenga acceso a una moneda injusta que sale cara con probabilidad (los lanzamientos son independientes). Defina B P P p como la clase de lenguajes reconocibles por dicha máquina en tiempo polinomial. Es un ejercicio estándar demostrar que:pagppB PPAGpagBPPpBPP_p A) Si es racional …

10 cc.complexity-theory  randomized-algorithms  probabilistic-complexity 

Deje que UNAAA sea una matriz sobre el campo finito F2= { 0 , 1 }F2={0,1}\mathbb{F}_2 = \{0,1\} y Xxx , yyy ser vectores del espacio Fnorte2F2n\mathbb{F}_2^n . Estoy interesado en la complejidad computacional de decidir si existe t ∈ Nt∈Nt \in \mathbb{N} tal que Atx=yAtx=yA^t x = y , …

10 cc.complexity-theory  reference-request  linear-algebra 

La inclusión inversa es obvia, como lo es el hecho de que cualquier lenguaje NP auto reducible en BPP también está en RP. ¿También se sabe que esto es válido para idiomas NP no auto-reducibles?

10 cc.complexity-theory  derandomization  pseudorandomness