[論文レビュー] 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サイクルへの頂点を全射とする準同型問題、および2つのバイクリークによる被覆問題とその等価性を示している。著者は、多項式時間の還元を用いて、これらの問題が計算的に同等であり、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サイクルへの頂点を全射とする準同型問題、および2つのバイクリークによる被覆問題の間の計算的同等性を確立すること。
• これらの4つの問題がすべてNP完全であることを証明し、複数の研究分野で欠落していたケースとして指摘されていた長年の未解決問題を解決すること。
• これら4つの密接に関連した問題の統一的な複雑性分類を提供し、他の4頂点モデルグラフはすでに分類済みであるが、この分野における空白を埋めること。

提案手法

• 構造的性質を保持するように注意深く設計されたグラフ変換を用いて、2K₂分割問題から分離カット問題への多項式時間還元を構築する。
• グラフの圧縮とラベル付けの技術を用いて、分離カット問題と反射的4サイクルへの頂点を全射とする準同型問題（Surjective C₄-Homomorphism）との等価性を証明する。
• 分離カット問題と2つのバイクリークによる被覆問題との等価性を示すために、分離カットが2つのバイクリーク被覆に対応するグラフを構築する。
• 3-SAT問題からSurjective C₄-Homomorphism問題への還元を用いてNP完全性を示し、構築されたグラフが直径2であり、支配的でない辺を有することを保証する。
• Lemma 6を適用して、構築されたグラフが直径2を満たすようにし、この制約下でのNP完全性の証明に不可欠な役割を果たす。
• 背理法とケース解析を用いて、任意の有効な準同型が反射的4サイクルの構造を保存しなければならないことを示し、還元の正しさを証明する。

実験結果

リサーチクエスチョン

• RQ1 分離カット問題はNP完全であるか、それとも多項式時間アルゴリズムが存在するか？
• RQ2 2K₂分割問題と分離カット問題は計算的に同等であるか？
• RQ3 直径2のグラフに対する反射的4サイクルへの頂点を全射とする準同型問題はNP完全か？
• RQ4 分離カット問題は2つのバイクリークによる被覆問題に還元可能であり、逆にその還元も可能か？
• RQ5 直径2で支配的でない辺を有するグラフに対するSurjective C₄-Homomorphism問題の計算複雑性は何か？

主な発見

• 分離カット問題はNP完全であることが判明し、グラフ理論における長年の未解決問題が解決された。
• 2K₂分割問題はNP完全であり、分離カット問題と多項式的に同等である。
• 直径2のグラフに対する反射的4サイクルへの頂点を全射とする準同型問題（Surjective C₄-Homomorphism）はNP完全である。
• 2つのバイクリークによる被覆問題はNP完全であり、分離カット問題と同等である。
• 分離カット、2K₂分割、Surjective C₄-Homomorphism、2バイクリーク被覆の4つの問題は、すべて計算的に同等であり、NP完全である。
• 直径2で支配的でない辺を有するグラフに制限してもNP完全性が成立し、非自明なグラフクラスにおいても硬さが確認された。