¿Ya se conoce el tamaño de membresía de los testigos para cada idioma de NP?

13

La pregunta se me ocurrió cuando recibí la respuesta de Dana Moshkovitz a otro tema .

Sea L un lenguaje NP , y sea RL la relación NP respectiva . Sabemos que existe algún polinomio pag tal que:

XL,,w0 0,1pag(El |XEl |)(X,w)RL

La declaración anterior solo requiere la existencia de tal , pero no obliga a que se determine explícitamente . En contraste, para cada lenguaje NP que conozco, p ya se conoce:pagpag

  • Para SAT, el tamaño del testigo es igual al número de átomos que aparecen en la fórmula.
  • Para Hamiltonicity, el tamaño del testigo es , donde V es el conjunto de vértices.O(El |VEl |)V
  • Para Graph 3-Coloring, el tamaño del testigo es , donde V es el conjunto de vértices.O(El |VEl |)V

¿Existe un lenguaje NP (incluso uno artificial), para el cual sabemos que existe algún polinomio limita el tamaño del testigo, pero no podemos determinar explícitamente p ?pagpag

MS Dousti
fuente
Para cualquier lenguaje dado en NP, hay muchas relaciones de NP que dan lugar a él. ¿Está preguntando acerca de los lenguajes donde se desconoce el polinomio mínimo p (es decir, donde podemos tratar de minimizar el polinomio observando diferentes relaciones que dan lugar al mismo L ), o sobre las relaciones donde se desconoce el polinomio p correspondiente (pero sabemos que existe) LpagLpag
Joshua Grochow
@ Joshua: Podría estar malinterpretando su comentario, pero si conocemos el mínimo sobre todas las relaciones para algún problema de NP completo y si no es cero, ¿eso no significa P N P ? pagPAGnortePAG
Cong Han
@Cong: Tienes razón. Supongo que me refería al mínimo p que conocemos , por ejemplo, supuestos estándar de módulo / estado actual de la técnica. Por ejemplo, creo que el artículo STOC 2010 de Ryan Williams muestra que si hay una relación para SAT con el tamaño de testigo , entonces N E X P P / p o l y , por lo que mostrar tal cosa está más allá de la comprensión actual. o(norte)nortemiXPAGPAG/ /pagoly
Joshua Grochow
@ Joshua: ¡Claro, por supuesto! Gracias.
Cong Han
2
Si hay una relación para el Circuito SAT con el tamaño del testigo , donde k es el número de entradas al circuito yn es el tamaño del circuito, entonces sí, N E X P k-ω(Iniciar sesiónnorte)knorte . nortemiXPAGPAG/ /pagoly
Ryan Williams

Respuestas:

12

Si no le importan los lenguajes artificiales, podemos construir tales problemas utilizando prácticamente cualquier número k cuyo valor sea desconocido para los matemáticos. Por ejemplo, no sabemos el valor de R (5,5) (el quinto número de Ramsey ), o el tamaño del menor excluido más grande de la familia de gráficos sin nudos (este número es finito debido al teorema de Robertson-Seymour ), o el valor de BB (10), donde BB () representa la función Busy Beaver . Sea k igual a cualquiera de estos números. Sabemos que k es finito, pero no sabemos el valor de k.

Ahora construya algún problema en NP donde el testigo es de tamaño O(nortek) . No puedo pensar en una buena manera de hacer esto, pero aquí hay una manera. Deje que la entrada sea una descripción sucinta de un gráfico. Como el tamaño de la descripción es n, el gráfico está en exponencialmente muchos vértices. (Por ejemplo, tal vez la entrada es un circuito que acepta dos entradas x e y y le dice si (x, y) es un borde en el gráfico). La pregunta es determinar si el gráfico contiene una ruta de longitud . Este problema está en NP porque el probador puede enviar la lista de vértices en la ruta en orden, que el verificador puede verificar. El tamaño del testigo es n k .norteknortek

Robin Kothari
fuente