-problema completo con cuasi-polinomio unido en el número de soluciones

FewP es la clase de problemas de $NP$ con polinomios unidos en el número de soluciones (en el tamaño de entrada). Hay no se conoce $NP$ problema -Complete en $fewP$ . Me interesa hasta dónde podemos extender esta observación.

¿Existe algún problema natural de $NP$ completo con el límite superior cuasi-polinomial en el número de soluciones (testigos)? ¿Existe una conjetura ampliamente aceptada que descartaría tal posibilidad?

Natural significa que el problema no es un problema artificialmente inventado para responder la pregunta (o preguntas similares) y que las personas están interesadas en el problema de forma independiente (como lo define Kaveh).

EDITAR: La recompensa se otorgará a dicho problema natural de $NP$ completo o un argumento razonable que descarte la existencia de tales problemas (utilizando conjeturas teóricas de complejidad ampliamente aceptadas).

Motivación: Mi intuición es que la completitud de $NP$ impone un límite inferior superpolinomial (o incluso exponencial) en el número de testigos.

cc.complexity-theory np

— Mohammad Al-Turkistany
fuente

El problema prometedor UniqueSAT está en

(no es lo mismo que

), que es un subconjunto de

(no es lo mismo que

) . PromiseUP $\mathsf{PromiseUP}$

UP $\mathsf{UP}$

PromiseFewP $\mathsf{PromiseFewP}$

FewP $\mathsf{FewP}$

— Joshua Grochow

¿Un relleno de SAT respondería a su pregunta?

— Kaveh

De eso se trata, no lo es; el tamaño de entrada es el número de bits en la entrada, y las instancias (dispersas) de 3 sat tienen un tamaño

. El número de variables es solo un aspecto (parámetro) de la entrada, por lo que para otros problemas (por ejemplo, problemas de gráficos), uno tendría que especificar en qué se está midiendo el número de testigos. Por ejemplo, para el corte máximo, el gráfico de entrada puede tener

aristas, y de nuevo solo hay

testigos (que es subexponencial en el tamaño de entrada ). Pero realmente queremos medir en términos de

. Sin embargo, no es obvio que #vertices es la medida correcta. mlogn $m \log n$

n2 $n^2$

2n $2^n$

n $n$

— daniello

@Kaveh Sí, así que debes asumir que Mohammad pensó en el que tiene sentido en su pregunta. Además, como puede ver, el complejo zoológico está de acuerdo con mi definición. En general, en cualquier clase de complejidad interesante, la definición no debería cambiar si rellena la entrada con un polinomio.

— domotorp

@downvoters ¿Por qué demonios la gente rechaza esta pregunta? Es decir, al menos, alguien puede dar una razón para ello ...

— domotorp

Esta es una pregunta muy interesante.

Primero, un comentario aclaratorio. Tenga en cuenta que el "límite superior en el número de testigos" no es una propiedad de un problema computacional per se, sino de un verificador particular utilizado para decidir un problema , así como un "límite superior en el número de estados" no sería un propiedad de un problema pero de una máquina de Turing que lo decide. Por lo tanto, decir " Problema con límite superior en el número de soluciones" no es del todo exacto, y si entonces cada problema tiene un verificador con cualquier número de soluciones deseadas (incluyendo cero e incluyendo todas las cadenas posibles) . $NP$ $NP$ $P = NP$ $NP$

Entonces tenemos que hacer una definición, para abordar su pregunta. Para , supongamos que un problema "tiene como máximo soluciones " si para alguna constante hay un verificador de tiempo tal que, para cada longitud de entrada y para cada de longitud , hay distintos $s : {\mathbb N} \rightarrow {\mathbb N}$ $NP$ $L$ $s(n)$ $c$ $O(n^c)$ $V$ $n$ $x \in L$ $n$ de longitud modo queacepte todo, yrechace todos los demásde longitud . $y_1,\ldots,y_{s(n)}$ $n^c$ $V(x,y_i)$ $i$ $V(x,y)$ $y$ $n^c$

Todo lo que creo que puedo decir en este momento es esto:

Cada problema de -completo que conozco (definido por algún verificador natural) tiene una versión de recuento completa obvia correspondiente (con el mismo verificador). $NP$ $\#P$
Para cualquier problema completo definido con un verificador que tenga como máximo soluciones (o incluso soluciones) la versión de conteo correspondiente probablemente no sea -complete. $NP$ $poly(n)$ $2^{n^{o(1)}}$ $\#P$

Más detalles: Suponga que es -completo, con un verificador que tiene como máximo soluciones. Luego, la versión de "decisión" de conteo natural de , que definimos como $L$ $NP$ $V$ $O(n^c)$ $L$

$Count_L(x) := \text{the number of $y$ such that $V(x,y)$ accepts}$

es computable en , es decir, una función polytime con consultas a . Esto se debe a que decidir si el número de soluciones para es como máximo está en : el testigo, si existe, es simplemente el número de haciendo que acepte, que sabemos que es como máximo $FP^{NP[O(\log n)]}$ $O(\log n)$ $NP$ $x$ $k$ $NP$ $y_i$ $V$ $O(n^c)$ . Entonces podemos búsqueda binaria utilizando este problema para calcular el número exacto de soluciones a . $NP$ $L$

Por lo tanto, un problema completo de de este tipo no puede extenderse a un problema completo de de la manera habitual, a menos que . Esto parece poco probable; toda la jerarquía de tiempo polinomial básicamente colapsaría a . $NP$ $\#P$ $\#P \subseteq FP^{NP[O(\log n)]}$ $P^{NP[O(\log n)]}$

Si asume en lo anterior, aún obtendría una consecuencia poco probable. Se podría demostrar que puede calcularse de tiempo con una oráculo. Eso es más que suficiente para demostrar, por ejemplo, que y posteriormente $s(n) = 2^{n^{o(1)}}$ $\#P$ $2^{n^{o(1)}}$ $NP$ $EXP^{NP} \neq PP$ $EXP^{NP} \not\subset P/poly$ . No es que estas separaciones son poco probables, pero parece poco probable que estarían probaron dando un tiempo subexp algoritmo -oracle para la Permanente. $NP$

Por cierto, no he dicho nada demasiado perspicaz aquí. Es casi seguro que hay un argumento como este en la literatura.

— Ryan Williams
fuente

De hecho, es una respuesta perspicaz.

— Mohammad Al-Turkistany