[论文解读] The Computational Complexity of Disconnected Cut and 2K2-Partition

Barnaby Martin, Daniël Paulusma|arXiv (Cornell University)|Apr 25, 2011

Advanced Graph Theory Research参考文献 24被引用 15

一句话总结

本文確立了不連通割問題的 NP-完全性，並證明其與 2K₂-分割問題、反射 4-環上的滿射同態問題，以及最多兩條雙團覆蓋問題的等價性。作者透過多項式時間歸約，證明這些問題在計算上等價且均為 NP-完全，從而解決了圖論多個領域中長期存在的開門問題。

ABSTRACT

For a connected graph G=(V,E), a subset U of V is called a disconnected cut if U disconnects the graph and the subgraph induced by U is disconnected as well. We show that the problem to test whether a graph has a disconnected cut is NP-complete. This problem is polynomially equivalent to the following problems: testing if a graph has a 2K2-partition, testing if a graph allows a vertex-surjective homomorphism to the reflexive 4-cycle and testing if a graph has a spanning subgraph that consists of at most two bicliques. Hence, as an immediate consequence, these three decision problems are NP-complete as well. This settles an open problem frequently posed in each of the four settings.

研究动机与目标

• 為解決不連通割問題的計算複雜度問題，該問題雖在連通性理論、圖同態與圖修飾領域中具有重要地位，但其複雜度長期未明確。
• 建立不連通割問題、2K₂-分割、反射 4-環上的滿射同態問題，以及最多兩條雙團覆蓋問題之間的計算等價性。
• 證明上述四個問題均為 NP-完全，從而解決了一個長期存在的開門問題，該問題曾被多個研究領域列為缺失的案例。
• 為這四個相互關聯的問題提供統一的複雜度分類，彌補文獻中的缺口——此前所有其他四頂點模型圖均已完成分類。

提出的方法

• 透過精心設計的圖變換，構造從 2K₂-分割問題到不連通割問題的多項式時間歸約，並保持結構性質。
• 利用圖壓縮與標籤技術，證明不連通割問題與反射 4-環上的滿射同態問題（Surjective C₄-Homomorphism）之間的等價性。
• 透過構造一個圖，使不連通割對應於雙團覆蓋問題的 2-雙團覆蓋，從而證明不連通割問題與最多兩條雙團覆蓋問題的等價性。
• 從 3-SAT 問題歸約至 Surjective C₄-Homomorphism 問題，以證明 NP-完全性，確保所構造的圖具有直徑 2 且存在一個支配性非邊。
• 應用引理 6 以確保所構造的圖具有直徑 2，此為在該約束下證明 NP-完全性的關鍵。
• 使用反證法與情況分析，證明任何有效的同態都必須保持反射 4-環的結構，從而證明歸約的正確性。

实验结果

研究问题

• RQ1 不連通割問題是否為 NP-完全，或是否存在多項式時間演算法？
• RQ2 2K₂-分割問題與不連通割問題是否在計算上等價？
• RQ3 反射 4-環上的滿射同態問題在直徑為 2 的圖上是否為 NP-完全？
• RQ4 不連通割問題能否歸約至最多兩條雙團覆蓋問題，反之亦然？
• RQ5 直徑為 2 且具有支配性非邊的圖上，Surjective C₄-Homomorphism 問題的計算複雜度為何？

主要发现

• 不連通割問題為 NP-完全，從而解決了圖論中長期存在的開門問題。
• 2K₂-分割問題為 NP-完全，且與不連通割問題多項式等價。
• 反射 4-環上的滿射同態問題（Surjective C₄-Homomorphism）在直徑為 2 的圖上為 NP-完全。
• 最多兩條雙團覆蓋問題為 NP-完全，且與不連通割問題等價。
• 上述四個問題——不連通割、2K₂-分割、Surjective C₄-Homomorphism 與 2-雙團覆蓋——在計算上等價且均為 NP-完全。
• 即使限制在直徑為 2 且具有支配性非邊的圖上，NP-完全性依然成立，確認了該非平凡圖類別中的計算難度。