Preguntas etiquetadas con np

Estoy interesado en la generalización natural del famoso 15-rompecabezas , donde tienes que deslizar bloques hasta que hayas ordenado todos los números dados (generalmente hay un espacio de 1 bloque). Ahora la generalización sería extender el tamaño del rompecabezas de 15 a , donde un campo es libre. He creado …

35 cc.complexity-theory  np  np-complete 

La pregunta sobre la teoría " ¿Qué es NP restringido a testigos de tamaño lineal? " Pregunta sobre la clase NP restringida a testigos de tamaño lineal , peroO ( n )O(n)O(n) ¿Existen problemas naturales de NP completo en los que (sí) las instancias de tamaño requieren testigos de tamaño …

28 cc.complexity-theory  np  proof-complexity 

Editar : como Ravi Boppana señaló correctamente en su respuesta y Scott Aaronson también agregó otro ejemplo en su respuesta , la respuesta a esta pregunta resultó ser "sí" de una manera que no esperaba en absoluto. Primero pensé que no respondían la pregunta que quería hacer, pero después de …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Esta pregunta se migró de Computer Science Stack Exchange porque se puede responder en Teorematic Computer Science Stack Exchange. Migrado hace 6 años . Parece que muchas personas creen que , en parte porque creen que la factorización no es solucionable por tiempo múltiple. (Shiva Kintali ha enumerado algunos otros …

27 cc.complexity-theory  np  conditional-results 

¿Hay un ejemplo de un idioma que está en , pero donde no podemos probar este hecho directamente al mostrar que existe un testigo polinómico para la membresía en este idioma?NPNPNP En cambio, el hecho de que el idioma está en se probaría reduciéndolo a otro idioma en , donde …

27 reductions  np 

Peter Shor mostró que dos de los problemas NP-intermedios más importantes, la factorización y el problema de registro discreto, están en BQP. Por el contrario, el algoritmo cuántico más conocido para SAT (búsqueda de Grover) solo produce una mejora cuadrática sobre el algoritmo clásico, lo que sugiere que los problemas …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

¿Hay algún problema natural en que no se sabe (se sabe que se cree) en ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Obviamente, el más grande que todos conocen en es la versión de decisión de factoring (no tiene un factor de tamaño como máximo k), pero eso es de hecho en …

26 cc.complexity-theory  complexity-classes  np 

¿Existe un lenguaje NP (preferiblemente natural) completo , de modo que por cada n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 retenciones? En otras palabras, L contiene precisamente la mitad de todas las instancias de n bits.L ⊆ { 0 …

25 cc.complexity-theory  np  np-complete 

¿Esta respuesta a los principales problemas no resueltos en informática teórica? La pregunta indica que está abierto si un problema particular en NP requiere tiempo de .Ω(n2)Ω(n2)\Omega(n^2) Mirar los comentarios a continuación me hizo preguntarme: Además del relleno y trucos similares, ¿cuál es el límite inferior de complejidad de tiempo …

25 cc.complexity-theory  np  p-vs-np 

Esto está relacionado con la pregunta ¿Ya se conoce el tamaño de membresía de los testigos para cada idioma de NP? Algunos problemas naturales (-completos) tienen testigos de longitud lineal: una asignación satisfactoria para , una secuencia de vértices para , etc. S A T H A M P A …

24 cc.complexity-theory  complexity-classes  np 

El acceso a un oráculo proporcionaría una mayor aceleración súper polinomial para todo en (suponiendo que el conjunto no esté vacío). Sin embargo, está menos claro cuánto se beneficiaría de este acceso al oráculo. Por supuesto, la aceleración en no puede ser superpolinomial, pero aún puede ser polinomial. Por ejemplo, …

23 cc.complexity-theory  np  np-complete 

El Theoem de Karp-Lipton establece que si , entonces P H colapsa a Σ P 2 . Por lo tanto, suponiendo separaciones entre Σ P 2 y Σ P 3 , ningún problema completo de N P pertenecerá a P / p o l y .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Estoy interesado …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

En su artículo (p. 503), Garey y Johnson comentan: ... podría existir un problema de NP-completo que no es NP-completo en sentido estricto ni resuelto por un algoritmo de tiempo pseudo-polinomial ... ¿Alguien sabe algunos problemas candidatos con las propiedades mencionadas anteriormente? Creo que la posible respuesta a esta pregunta …

19 ds.algorithms  np-hardness  np 

El problema de decisión CNF-SAT se puede describir de la siguiente manera: Entrada: Una fórmula booleana en forma conjuntiva normal.ϕϕ\phi Pregunta: ¿Existe una asignación variable que satisfaga ?ϕϕ\phi Estoy considerando varios enfoques diferentes para resolver CNF-SAT con una máquina de Turing de dos cintas no determinista . Creo que hay …

19 time-complexity  sat  turing-machines  np  nondeterminism 

¿Existe un ejemplo explícito conocido de un algoritmo con la propiedad tal que si PAG≠ NPAGPAG≠nortePAGP\neq NP este algoritmo no se ejecuta en tiempo polinomial y si PAG= NPAGPAG=nortePAGP=NP se ejecuta en tiempo polinómico?

18 ds.algorithms  np  p-vs-np