El problema del examinador (generación uniforme de instancias / respuestas de decisiones SAT)

11

El asistente de enseñanza de un curso ha logrado escribir un programa que (determinísticamente) genera preguntas de examen difíciles. Ahora, le gustaría escribir un programa que genere las respuestas correspondientes. El problema del examinador pregunta si esto siempre es posible; la conjetura de examinador afirma que, suponiendo, , es no : dar con problemas es más fácil que subir con sus soluciones.PNP

Más formalmente, dejemos que sea ​​una máquina de Turing determinista que, en la entrada 1 n , genera en tiempo polinomial una fórmula booleana de tamaño n . Me gustaría saber si, para todos esos M , existe una máquina de Turing de tiempo polinomial determinista M ' que, en la entrada 1 n , genera " 1 " si M ( 1 n ) tiene una asignación satisfactoria y " 0 " en caso contrario .M1nnMM1n1M(1n)0

Suponiendo , ¿ya se ha hecho o respondido esta pregunta? Si no se responde, ¿qué tipos de suposiciones adicionales ( por ejemplo , funciones unidireccionales) podrían influir en el resultado? Salvo cualquiera de los anteriores, mi "conjetura" es que la TM "contestadora" no siempre existe, pero ¿cuál es su intuición?PNP

¡Gracias!

usul
fuente
Permítanme asegurarme de tener los cuantificadores correctos. ¿Se pregunta si "para todos los , existe un M ' , de modo que M ' pueda resolver eficientemente la salida de M " es cierto? MMMM
Tyson Williams
@TysonWilliams: Sí, he editado un poco la redacción para intentar aclarar eso. ¡Su declaración debería ser, creo, equivalente a la mía!
usul
1
Como Emanuele señala, esto probablemente no sea lo que realmente está buscando, probablemente desee generar pares de instancia-solución donde resolver la instancia sea "difícil". Posiblemente relacionado con lo que está buscando: 1. La respuesta de David aquí y 2. la sección 6 de Stephen A. Cook y David G. Mitchell, " Encontrar instancias difíciles del problema de satisfacción: una encuesta ", 1997
Kaveh

Respuestas:

12

La pregunta que está haciendo es equivalente a unario NP = unario P, que a su vez es equivalente a NE = E, por relleno.

Desde el título, tal vez quisiste preguntar si es posible generar pares de entrada / salida de modo que la distribución en las entradas sea "difícil". La posibilidad de hacer esto se encuentra en algún punto entre P NP y existen funciones unidireccionales.

En modelos computacionales restringidos, se sabe que esto es posible. Por ejemplo, uno puede generar pares de entrada / salida para las funciones de paridad o mayoría en AC 0 o menos. Ver La complejidad de las distribuciones .0

Manu
fuente
1
MnMn
44
MLM={1n:M(1n) is satisfiable.}MLMMM
Sasho Nikolov
4

MPF{M(1n)nNM(1n)SAT}P

succinctSATE Si:

1nnO(1)

φ=M(1n)n|φ|φlgn+O(1)MnsuccintSATE2O(lgn)=nO(1)

si succinctSATE

MPFCMC

{M(1n)nNM(1n)SAT}PsuccinctSAT

SAT

Tenemos que aclarar lo que queremos decir con que la instancia es difícil, ya que cualquier instancia en sí misma es (teóricamente) fácil, ya que puede resolverse mediante el algoritmo que siempre dice sí o el algoritmo que siempre dice que no. Me parece que trataste de solucionar este problema imponiendo uniformidad. Pensando en términos criptográficos, sin cierta información que no se revela al adversario, no tiene sentido ocultar el resto de la computación, ya que el adversario puede simular el protocolo.

nn

A
k{0,1}n
φkwk
D
A

O más formalmente,

APFDP/polySAT(A(k)1)=A(k)2k

Prk{0,1}n{D(A(k)1)=SAT(A(K)1)}<1poly(n)

kφkA(k)2

ff(x)=yfyφf,y(x)xφf,y(x)SATff

Véanse también los capítulos 29 y 30 del libro de Jan Krajicek "Forzar con variables aleatorias", 2011 sobre generadores de complejidad de prueba .

Kaveh
fuente
M