La pregunta se me ocurrió cuando recibí la respuesta de Dana Moshkovitz a otro tema . Sea LLL un lenguaje NP , y sea RLRLR_L la relación NP respectiva . Sabemos que existe algún polinomio pagpagp tal que: ∀ x ∈ L ,, ∃ w ∈0 , 1p ( | x | )( x , w ) ∈ RL∀X∈L,,∃w∈0 0,1pag(El |XEl |)(X,w)∈RL\forall x...
Aquí está el problema: Tenemos un cuadrado con algunos números de 1..N en algunas celdas. Es necesario para determinar si se puede completar en un cuadrado mágico. Ejemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ ¿Es este problema...
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 P =...
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...
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 vez...
En las notas de esta conferencia de Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , se dice que no sabemos si Euclidean TSP está en NP: La razón es que no sabemos cómo calcular las raíces cuadradas de manera eficiente. Por otro lado, hay un documento de...
ETH afirma que SAT no se puede resolver en el peor de los casos en tiempo subexponencial. ¿Qué pasa con el caso promedio? ¿Hay problemas naturales en NP que se supone que son exponencialmente difíciles en el caso promedio? Tome el caso promedio como el tiempo promedio de ejecución con una...
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...
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, ¿hay alguna conexión...
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 resolverá 3-SAT en tiempo...
¿Hay problemas NP completos (o incluso NP-duros o NP) que tienen buenas propiedades topológicas para estudiar. ¿Los problemas NP tienen formulaciones teóricas de nudos? Conocemos los resultados de # sobre el polinomio de Jones. Los problemas de gráficos (¿incrustaciones?), Específicamente los...
Lo que me pregunto específicamente es si existe una condición interesante en el porcentaje de asignaciones que satisfacen una fórmula 3SAT para garantizar que tales problemas sean manejables. Supongamos, por ejemplo, la clase de problemas 3SAT que de las 2 n asignaciones posibles satisfacen la...
Una propiedad de gráfico se denomina hereditaria si se cierra con respecto a la eliminación de vértices (es decir, todas las subgrafías inducidas heredan la propiedad). Una propiedad gráfica se llama aditiva si se cierra con respecto a tomar uniones disjuntas. No es difícil encontrar propiedades...
Considere la información completa de los juegos combinatorios de dos jugadores que terminan después de un número polinómico de movimientos, y de manera alterna, los jugadores eligen entre un número finito de movimientos permitidos. La pregunta habitual es cuán difícil es distinguir desde una...
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 que si NP! = CoNP entonces...
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 Muy...
Suponga que NP = co-NP y el polinomio limita la longitud de la prueba de insatisfacción para una instancia de 3-CNF x . Entonces, ¿hay algún resultado sobre qué forma puede tomar cualquier prueba de insatisfacción para x de longitud ≤ p ( x ) ? Es decir, en general, ¿tal prueba tendría que usar,...
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 "un...
La complejidad de la prueba es un área más básica de la teoría de la complejidad computacional. Un propósito final de esta área es probar , es decir, cualquier comprobador no puede dar una prueba de insatisfacción de la fórmula de entrada dada. nortePAG≠ c o NPAGNP≠coNPNP\neq coNP Un gráfico es...
Es bien sabido que ciertas clases de NP -Problemas Tienes dicotomía teoremas, lo que garantiza que todas las tareas en la clase es o NP -Complete o está en P . El mejor resultado conocido es el teorema de dicotomía de Schaefer , junto con una serie de generalizaciones. Entiendo que probar estos...