esta es una reescritura de otra pregunta reciente mía [1] que no se dijo bien (tenía una simplificación semi obvia, mea culpa) pero creo que todavía hay una pregunta no trivial en el fondo. He visto problemas similares en la literatura pero no este en particular.
lo escribirá en términos de vectores de bits porque eso es lo más fácil para mí.
Que haya un conjunto de vectores de bits de tamaño , v 1 , v 2 , v 3 , . . . , v n . Considere la operación XOR bit a bit. dado un vector objetivo v 0 . encuentre un subconjunto de vectores de modo que el XOR bit a bit del conjunto sea igual al vector objetivo. ¿Qué es un algoritmo eficiente (o idealmente óptimo) para encontrar un subconjunto?
El algoritmo de fuerza bruta enumera el conjunto de potencias de tamaño enumera el primer subconjunto encontrado. (¿ligeramente?) más eficiente miraría las posiciones 1 en el objetivo y excluiría los subconjuntos que no tienen al menos 1 vector con un 1 en una posición 1 del objetivo.
el subconjunto puede o no existir. Puede o no ser único.
preguntas estrechamente relacionadas: (1) encontrar el subconjunto más pequeño, (2) salida T / F dependiendo de si existe dicho subconjunto.
sospecho que uno de estos problemas es NP completo.
buscando referencias, información, etc., sería interesante saber si hay entradas "duras" frente a "fáciles", etc.
como escribí en la otra pregunta, esto parece estar estrechamente relacionado con el problema de la suma de subconjuntos (ver, por ejemplo, garey & johnson ref) que se sabe que es NP completo, pero parece tener una complejidad "ligeramente" menor porque es más simple calcular un vector XOR a nivel de bits que una suma binaria (la suma puede tener más dígitos binarios).
el problema también parece estar estrechamente relacionado con la pregunta reciente de bin fu [2]
Respuestas:
Sea . El problema es determinar si el siguiente sistema tiene una solución:v0 0, v1, ... , vnorte∈ Zmetro2
Este problema es conocido por ser -Complete por [Damm90, BDHM92], por lo tanto dentro de NC 2 ⊆ P .⊕ L CAROLINA DEL NORTE2⊆ P
[Damm90] Carsten Damm: Problemas completo para . Inf. Proceso. Letón. 36 (5): 247-250 (1990) [BDHM92] Gerhard Buntrock, Carsten Damm, Ulrich Hertrampf, Christoph Meinel: Estructura e importancia de la clase Logspace-MOD. Teoría de sistemas matemáticos 25 (3): 223-237 (1992)⊕ L
fuente
Como continuación de mi comentario: encontrar el subconjunto satisfactorio más pequeño debería ser NP-completo; la reducción se debe al problema del código de peso mínimo (dada una base para un código sobre GF (2), ¿cuál es el vector de peso mínimo en el código?) y esto fue aparentemente NP-completo en 1997 por A. Vardy: " La intratabilidad de calcular la distancia mínima de un código ", http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=641542
fuente