Preguntas etiquetadas con p-vs-np

Gowers ha esbozado recientemente un problema, que él llama "determinación Borel discreta", cuya solución está relacionada con probar los límites inferiores del circuito. ¿Puede proporcionar un resumen del enfoque que se adapta a una audiencia de teóricos de la complejidad? ¿Qué se necesitaría para que este enfoque demuestre algo , …

16 cc.complexity-theory  p-vs-np 

Todos sabemos que mostrar tiene barreras. Todos hemos estudiado estas barreras porque creemos que .PAG≠ NPAGPAG≠nortePAGP\ne NPPAG≠ NPAGPAG≠nortePAGP\ne NP Sin embargo, suponga y hay personas sabias que creen que existe la posibilidad . Si este es realmente el caso, el hecho de que no hayamos visto ningún buen algoritmo indica …

15 p-vs-np  barriers 

Según tengo entendido, una prueba de que P = NP o P ≠ NP debería ser no relativizable (como en los oráculos de la teoría de la recursión). Sin embargo, prácticamente todas las pruebas parecen ser relativizables. ¿Cuáles son buenos ejemplos de pruebas no relativizables, del tipo que una prueba …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Viniendo de un fondo matemático, me parece interesante que, en general, los científicos informáticos tienden a trabajar bajo el supuesto de que . Si bien no hay pruebas de ninguna manera, en general, a menos que algo pueda demostrarse específicamente en matemáticas y ciencias, se toma con bastante fuerza. Siento …

12 p-vs-np 

en 1979 Hopcroft / Ullman escribió que L ⊆ P ⊆ NP ⊆ PSpace es conocido, pero L ⊊ PSpace es la única contención adecuada (y trivial) conocida, aunque se conjetura que todas son contenciones adecuadas, y "donde las cosas siguen en pie" ~ 4 décadas después . desde entonces, …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Estoy bastante seguro de que no soy el primero en considerar la idea que voy a presentar. Sin embargo, sería útil si puedo encontrar alguna literatura relacionada con la idea. La idea es construir una máquina de Turing M con la propiedad de que si P = NP, entonces M …

12 reference-request  turing-machines  p-vs-np 

Arregle un problema de búsqueda NP-complete, por ejemplo, la forma de búsqueda de SAT. La búsqueda de Levin proporciona un algoritmo para resolver X que es óptimo en algún sentido. Específicamente, el algoritmo es "Ejecutar todos los posibles programas P en cola de milano en la entrada x , una …

12 cc.complexity-theory  time-complexity  p-vs-np 

Hace poco me recordaron el problema vs. como lo explicó Stephen A. Cook en el Clay Mathematics Institute.N PPAGP\mathsf{P}N PNP\mathsf{NP} Ha despertado mi interés y me gustaría aprender más al respecto. El primer paso sería obtener una comprensión más profunda del problema y una comprensión del área en general. ¿Me …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

La siguiente pregunta utiliza ideas de criptografía aplicadas a la teoría de la complejidad. Dicho esto, es una pregunta puramente teórica de la complejidad, y no se requiere ningún conocimiento criptográfico para responderla. Deliberadamente escribo esta pregunta de manera informal. A falta de detalles, posiblemente se indique un poco incorrectamente. …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

En primer lugar, mi comprensión del teorema de incompletitud de Gödel (y la lógica formal en general) es muy ingenua, también es mi conocimiento en informática teórica (lo que significa que solo tomé un curso de posgrado mientras aún estoy en la universidad), por lo que esta pregunta puede ser …

11 np-hardness  proofs  p-vs-np 

Estoy interesado en la pregunta de si NP es igual a coNP o no. Agradecería mucho algunos consejos sobre buenas publicaciones para leer sobre el tema. Para el registro, sé que esta pregunta está íntimamente relacionada con la pregunta de si P es igual a NP o no (de modo …

11 cc.complexity-theory  reference-request  p-vs-np 

En el artículo de Stephen Cook sobre el problema P vs NP, [1] afirma lo siguiente [2]: Tesis de viabilidad: un problema natural tiene un algoritmo factible si tiene un algoritmo de tiempo polinómico. Mi pregunta es, ¿qué quiere decir exactamente él (o, en general, qué quiere decir uno) con …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Supongamos que P! = NP. Sabemos que podemos hacer instancias fáciles de 3-SAT en cualquier momento. También podemos generar lo que creemos que son instancias difíciles (porque nuestros algoritmos no pueden resolverlas rápidamente). ¿Hay algo que impida que el conjunto de instancias difíciles sea arbitrariamente pequeño, siempre que para cualquier …

9 np-hardness  p-vs-np 

Para poder explicar el problema P vs NP a los no matemáticos, me gustaría tener un ejemplo pedagógico de cuándo se puede evitar la búsqueda de fuerza bruta. Idealmente, el problema debería ser inmediatamente comprensible y el truco no debería ser ni demasiado fácil ni demasiado difícil. Lo mejor que …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Considere cualquier lenguaje . Defina s ( L ) ∈ { 0 , 1 } ω (una secuencia infinita de bits) mediante la fórmula recursivaLLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )norte= χL( s ( L )< n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization