18 votos

¿Está #k-XORSAT #P-completo?

K-XORSAT es el problema de decidir si una fórmula booleana $$\bigwedge_{i \in I} \oplus_{j=1}^k l_{s_{ij}}$$ es satisfactoria. Aquí $\oplus$ denota el binario XOR operación, $I$ es un conjunto de índices, y cada cláusula tiene $k$ literales distintos $l_{s_{ij}}$ cada una de las cuales es una variable $x_{s_{ij}}$ o su negación.

Equivalentemente, $k$ -XORSAT requiere decidir si un conjunto de ecuaciones lineales, cada una de la forma $\sum_{j=1}^k x_{s_{ij}}\equiv 1\; (\mod 2)$ tiene una solución sobre $\mathbb{Z}_2 = \mathbb{Z}/2\mathbb{Z}$ .

Todo problema de decisión Q tiene asociado un problema de recuento #Q, que (informalmente hablando) requiere establecer el número de soluciones distintas. Estos problemas de recuento forman la clase de complejidad #P . Los problemas "más difíciles" de #P son #P-completos, ya que cualquier problema de #P puede reducirse a un problema #P-completo.

El problema de recuento asociado a cualquier problema de decisión NP-completo es #P-completo. Sin embargo, muchos problemas de decisión "fáciles" (algunos incluso resolubles en tiempo lineal) también conducen a problemas de recuento #P-completos. Por ejemplo, el artículo original de Leslie Valiant de 1979 La complejidad de calcular lo permanente muestra que calcular la permanente de una matriz 0-1 es #P-completo. Como segundo ejemplo, la lista de problemas #P-completos del artículo complementario La complejidad de los problemas de enumeración y fiabilidad incluye #MONOTONE 2-SAT; este problema requiere contar el número de soluciones a fórmulas booleanas en forma normal conjuntiva, donde cada cláusula tiene dos variables y no se permiten variables negadas. (MONOTONE 2-SAT es, por supuesto, bastante trivial como problema de decisión).

Andrea Montanari ha escrito sobre la función de partición de $k$ -XORSAT en algunos notas de clase y, al parecer, su libro con Marc Mézard habla de ello (por desgracia, no dispongo de un ejemplar, y el capítulo 17 correspondiente no figura en el borrador en línea de Montanari).

Estas consideraciones conducen a la siguiente pregunta:

Es # $k$ -XORSAT #¿P-completo?

Nótese que la fórmula de las notas de Montanari no parece responder obviamente a esta pregunta. El hecho de que exista una buena solución de forma cerrada no significa que podamos evaluarla de forma eficiente: consideremos la fórmula Todos los polinomios .

Algunos problemas de recuento difíciles en #P aún pueden aproximarse en cierto sentido, mediante un esquema denominado FPRAS. Jerrum, Sinclair y colaboradores han relacionado la existencia de un FPRAS para problemas #P con la cuestión de si $NP = RP$ . Por lo tanto, también me interesaría la pregunta subsidiaria

Hace $k$ -¿XORSAT dispone de un FPRAS?

Edición: aclarada la segunda pregunta según el comentario de Tsuyoshi Ito. Tenga en cuenta que la respuesta de Peter Shor hace que esta parte de la pregunta sea discutible.

27voto

Scott Kramer Puntos 182

Las soluciones para XOR-SAT forman un subespacio afín del espacio vectorial GF(2) $^n$ . Se puede ver esto al darse cuenta de que si se suman tres soluciones, se obtiene otra solución. El problema de recuento para XOR-SAT es entonces el de decidir cuántos puntos hay en este espacio afín sobre GF(2). Esto es trivial si se conoce el rango de una matriz generadora para este espacio (el número es $2^r$ para el rango $r$ ). Este rango puede calcularse mediante un algoritmo estándar de álgebra lineal, por lo que el problema de recuento es en tiempo polinómico.

3voto

Diederik Puntos 985

Para su información: En nuestro libro explicamos que el número de soluciones de $Ax=b$ es $2^{n-rank(A)}$ como menciona Peter.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X