¿Puede ser difícil encontrar un testigo incluso si ya sabemos que hay uno?

10

Los ejemplos comunes de problemas NP-difíciles (camarilla, 3-SAT, cubierta de vértice, etc.) son del tipo en el que no sabemos si la respuesta es "sí" o "no" de antemano.

Supongamos que tenemos un problema en el que sabemos que la respuesta es sí, además, podemos verificar un testigo en tiempo polinómico.

¿Podemos siempre encontrar un testigo en tiempo polinómico? ¿O puede este "problema de búsqueda" ser NP-hard?

complexity-theory np-hard search-problem

— mba
fuente

1

No es agradable. Sin embargo, puede ser PPAD-hard.

— RB

No sé si esto es una coincidencia o no, pero esta publicación de blog se publicó hoy: ... un recordatorio de que los problemas de búsqueda totales no son NP completos .

— Pål GD

6

TFNP es la clase de funciones de valores múltiples con valores que se verifican polinómicamente y se garantiza que existan.

Existe un problema en TFNP que es FNP completo si y solo si NP = co-NP, consulte el Teorema 2.1 en:

Nimrod Megiddo y Christos H. Papadimitriou. 1991. Sobre funciones totales, teoremas de existencia y complejidad computacional. Theor Comput Sci. 81, 2 (abril de 1991), 317-324. DOI: 10.1016 / 0304-3975 (91) 90200-L

y las referencias [6] y [11] dentro. PDF disponible aquí .

— Rahul Savani
fuente

2

No, no siempre puede encontrar una solución en tiempo polinómico, incluso si sabe que hay una solución.

Según Khanna, Linial y Safra [1] (ver el 3er párrafo), del trabajo clásico de 1972 de Karp se deduce que colorear un gráfico de 3 colores con 3 colores es NP-duro. (Su trabajo extiende esto para mostrar que los gráficos de 4 colores y 3 colores aún son NP-hard).

Tenga en cuenta que esto no contradice la respuesta de Rahul Savani . Esto se debe a que para todas las relaciones binarias en FNP, debemos poder verificar en tiempo polinómico si está en la relación. Dado que decidir si un gráfico de 3 colores con 3 colores es NP completo, es poco probable que el problema de encontrar un color de 4 en un gráfico de 3 colores esté en FNP ya que no podemos verificar la validez de la entrada en tiempo polinómico . Por lo tanto, no hay contradicción con el resultado Megiddo-Papadimitriou. $P$ $P(x,y)$ $x$

[1] Khanna, Sanjeev, Nathan Linial y Shmuel Safra. "Sobre la dureza de aproximar el número cromático". Teoría y Sistemas de Computación, 1993., Actas del 2º Simposio de Israel sobre el. IEEE, 1993.

— Juho
fuente

1

Si una relación NP es NP-dura con respecto a
las reducciones de Turing de tiempo polinomial co-no determinista de solo respuesta sí , entonces $\: NP = coNP \;$ .

Prueba:

si una relación NP es NP-dura con respecto a
las reducciones de Turing de tiempo polinomial co-no determinista de solo respuesta sí , entonces:

$R$ $M'$ $SAT$ $R$ $\:$ $M$
$\;$ Intente analizar el supuesto certificado anti en un certificado interno y sus respuestas.
$\;$ $M'$
$\;$ la misma respuesta que se dio anteriormente para las consultas repetidas y el uso de las respuestas de
$\;$ el certificado (externo) para todas las demás consultas de Oracle. $\:$ $M'$
$\;$ $R$
$\;$ $M'$ $M$ $M$
$R$
$M'$ $M'$
$R$ $M$ $SAT\hspace{-0.02 in}$ .
Así $\: SAT\in coNP \;$
$SAT$ $NP$ $\: NP\subseteq coNP \;$ .
Por simetría, $\: coNP \subseteq NP \;$ . $\;\;\;\;$ Así $\: NP = coNP \;$ .

Por lo tanto, si una relación NP es NP-dura con respecto a
las reducciones de Turing de tiempo polinomial co-no determinista de solo respuesta sí , entonces $\: NP = coNP \;$ .

1

M^{'}

$M'$

R

$R$

$\:$ (continúa ...)

$\;\;\;\;$

(... continuación)

$\:$ Un anti-certificado es el análogo de un certificado , con SI y NO intercambiados.

$\:$

M^{'}

$M'$

M^{'}

$M'$

$\:$ (Arreglé el error tipográfico al final de esa oración).

$\;\;\;\;$

1

$T$ $p$ $\langle x, 1^n \rangle$ $y \in \{0,1\}^{p(n)}$ $T(x,y,1^n)$ $y$ $x$

$P = NP$

$A$ $A(\phi) = 1$ $\phi$ $A(\phi)=0$ $\bar{A}$ $\bar{A}(\phi) = 0$ $\phi$ $\bar{A}(\phi) = 1$ $\phi$ Es insatisfactorio.

$\bar{A}$ $y$ $T$ $NP = coNP$

$NP = coNP$ $NP$ $k$ $NP$

— Joe Bebel
fuente