Me doy cuenta de que esto podría no responder directamente a su pregunta (sobre referencias), pero me gustaría describir un posible enfoque para mostrar la dureza NP sin la condición de 2 conectados. Faltan dos cosas: una es una prueba de la dureza NP del 'problema fuente', por así decirlo, y la otra es que estoy reduciendo a una versión 'coloreada' de H-cut que puede o Puede no ser útil. En cuanto al primer cuello de botella, creo que tengo una prueba en mi mente de que estoy siendo flojo sobre la formalización, así que espero llegar a eso pronto. Sin embargo, hasta ahora he pensado en reducir la versión coloreada a la que presentas, con poca suerte. También tengo mucha curiosidad acerca de su prueba en caso de que H esté conectado a 2, ¿podría proporcionar algunos detalles?
Entonces, la versión coloreada es la siguiente: cada vértice en el gráfico está equipado con una lista de colores de una paleta P (un conjunto fijo y finito). Estamos obligados a encontrar un corte para que ninguna partición induzca una copia monocromática de H, es decir, no hay un subconjunto de | H | vértices que inducen una copia de H, y la lista correspondiente de colores tiene una intersección no vacía.
Aquí hay una reducción de una variante restringida de d-SAT, donde d es | H |. (Tenga en cuenta que esto obviamente no funcionaría cuando d = 2).
La variante restringida de d-SAT es la siguiente:
Cada cláusula tiene solo literales positivos o negativos, permítanme referirme a cláusulas como las cláusulas P y N, respectivamente,
Cada cláusula P se puede emparejar con una cláusula N de modo que las dos cláusulas involucren el mismo conjunto de variables.
(Tengo alguna idea de por qué esta versión aparentemente restringida podría ser difícil: una restricción muy relacionada es difícil, y puedo imaginar una reducción a partir de ahí, ¡aunque podría confundirme fácilmente!)
Ante este problema, la reducción quizás se sugiera a sí misma. El gráfico tiene un vértice para cada variable de la fórmula. Para cada cláusula C_i, induzca una copia de H en el conjunto de variables que participan en la cláusula y agregue el color i a este conjunto de vértices. Esto completa la construcción.
Cualquier asignación corresponde naturalmente a un corte:
L = conjunto de todas las variables que se establecieron en 0, R = conjunto de todas las variables que se establecen en 1.
La afirmación es que una asignación satisfactoria corresponde a un corte libre de H monocromático.
En otras palabras, (L, R), cuando se da por una asignación satisfactoria, sería tal que ni L ni R induzcan una copia monocromática de H. Si L tiene tal copia, entonces observe que la cláusula P correspondiente debe haber tenido todas sus variables se establecen en 0, lo que contradice el hecho de que la asignación fue satisfactoria. Por el contrario, si R tiene dicha copia, entonces la N-cláusula correspondiente debe tener todas sus variables establecidas en 1, contradicción nuevamente.
Por el contrario, considere cualquier corte y establezca las variables de un lado a 1 y el otro a 0 (observe que no importa de qué manera lo haga, dado el tipo de fórmula con la que estamos trabajando, una asignación y se voltea las versiones son equivalentes en lo que respecta a la satisfacción). Si esta asignación no satisface una cláusula, podemos rastrearla hasta una copia monocromática de H en uno de los lados, lo que contradice la ausencia de H monocromática del corte.
La razón por la que uno tiene que permitirse la coloración es porque las copias de H pueden interferir para crear copias espurias de H que no corresponden a las cláusulas, en un intento de reducción directa. De hecho, falla, gravemente, incluso cuando H es algo tan simple como un camino.
No tuve suerte en deshacerme de los colores, y no estoy seguro de haber simplificado el problema. Sin embargo, espero que, si es correcto, pueda ser un comienzo.