El problema de 3 particiones pregunta si un conjunto de enteros se puede dividir en conjuntos de tres enteros, de modo que cada conjunto sume un entero dado . El problema de Partición equilibrada pregunta si enteros se pueden dividir en dos conjuntos de cardinalidad iguales de modo que ambos conjuntos tengan la misma suma. Se sabe que ambos problemas son NP completos. Sin embargo, 3-Partition es fuertemente NP-complete. No he visto en la literatura ninguna reducción de 3-Partición a Partición equilibrada.
Estoy buscando una reducción (simple) del problema de 3 particiones al problema de Particiones equilibradas.
complexity-theory
reductions
np-complete
Mohammad Al-Turkistany
fuente
fuente
Respuestas:
Hay miles de problemas de NP completo en la literatura, y la mayoría de los pares no tienen reducciones explícitas. Dado que las reducciones múltiples de tiempo polinómico se componen, es suficiente que los investigadores se detengan cuando el gráfico de reducciones publicadas está fuertemente conectado, lo que hace que la investigación sobre la completitud de NP sea una actividad mucho más escalable.
Aunque realmente no entiendo el punto, te seguiré haciendo una reducción razonablemente simple de 3-PARTICIÓN a PARTICIÓN EQUILIBRADA, con algunas pistas sobre cómo funciona la prueba de corrección.
Deje que la entrada a la reducción sea , una instancia de 3-PARTICIÓN. Compruebe que Σ i ∈ [ 3 n ] x i = n B . Deje que β sea un gran número para ser elegido más tarde. Por cada i ∈ [ 3 n ] y cada j ∈ [ n ] , genera dos números x i β j + β n +x1,…,x3n,B∈Z ∑i∈[3n]xi=nB β i∈[3n] j∈[n]
Intuitivamente, el primer número significa que x i está asignado a 3 particiones j , y el segundo número significa lo contrario. El término x i β j se usa para rastrear la suma de 3 particiones j . El término β n + j se utiliza para rastrear la cardinalidad de 3 particiones j . El término β 2 n + i se utiliza para garantizar que cada x i se asigne exactamente una vez. El β (
Salida dos números más El primer número identifica su partición equilibrada como "verdadera" y la otra, como "falsa". Eltérmino 1 se usa para forzar estos números en diferentes particiones equilibradas. Los otros términos constituyen la diferencia entre la suma de una partición de 3 y la suma de su complemento y el tamaño de una partición de 3 y el tamaño de su complemento y el número de veces quese asigna x i .
debe elegirse lo suficientemente grande como para garantizar que no se produzca un "desbordamiento".β
fuente
¡Este documento, Particionamiento equilibrado rápido es difícil incluso en cuadrículas y árboles , de Andreas Emil Feldmann, contiene lo que quieres! ¡Buena suerte!
fuente