[論文レビュー] Maximum Weight Independent Sets for ($P_7$,Triangle)-Free Graphs in Polynomial Time

Andreas Brandstädt, Raffaele Mosca|arXiv (Cornell University)|Nov 25, 2015

Advanced Graph Theory Research参考文献 26被引用数 5

ひとこと要約

本稿では、(P₇, 三角形) を含まないグラフにおける最大重み独立集合（MWIS）問題の多項式時間アルゴリズムを提示する。この手法は、反近傍アプローチを新しく応用し、問題を多項式時間で解ける二部グラフへの帰着に逐次簡約する。主な貢献は、このクラスにおけるMWISの最初の多項式時間解法の確立であり、P₆-自由およびP₅-自由グラフにおける既存の結果をP₇-自由グラフに拡張したものである。

ABSTRACT

The Maximum Weight Independent Set (MWIS) problem on finite undirected graphs with vertex weights asks for a set of pairwise nonadjacent vertices of maximum weight sum. MWIS is one of the most investigated and most important algorithmic graph problems; it is well known to be NP-complete, and it remains NP-complete even under various strong restrictions such as for triangle-free graphs. Its complexity was an open problem for $P_k$-free graphs, $k \ge 5$. Recently, Lokshtanov, Vatshelle, and Villanger proved that MWIS can be solved in polynomial time for $P_5$-free graphs, and Lokshtanov, Pilipczuk, and van Leeuwen proved that MWIS can be solved in quasi-polynomial time for $P_6$-free graphs. It still remains an open problem whether MWIS can be solved in polynomial time for $P_k$-free graphs, $k \geq 6$ or in quasi-polynomial time for $P_k$-free graphs, $k \geq 7$. Some characterizations of $P_k$-free graphs and some progress are known in the literature but so far did not solve the problem. In this paper, we show that MWIS can be solved in polynomial time for ($P_7$,triangle)-free graphs. This extends the corresponding result for ($P_6$,triangle)-free graphs and may provide some progress in the study of MWIS for $P_7$-free graphs.

研究の動機と目的

• (P₇, 三角形) を含まないグラフにおける最大重み独立集合（MWIS）問題の計算量的複雑性を解明すること。
• 三角形を含まない制約のもとで、P₅-自由およびP₆-自由グラフにおけるMWISの既知の多項式時間解法をP₇-自由グラフに拡張すること。
• MWISのインスタンスを、多項式時間で解ける二部グラフ上の部分問題に還元する手法を開発すること。
• MWISの効率的分解と解法を可能にする、(P₇, 三角形) を含まないグラフの構造的性質を確立すること。

提案手法

• アルゴリズムは反近傍アプローチを適用し、任意の頂点 v に対して α_w(G) = max{α_w(G[V∖{v}]), α_w(G[V∖N(v)])} という恒等式を活用する。
• 頂点を再帰的に選択し、グラフを部分グラフに分割する。特に、選択された頂点と隣接しない頂点から誘導される成分に注目する。
• すべての極大独立集合が、多項式的に有界な数の部分集合に含まれ、それらが二部グラフを誘導することを保証する。
• それぞれの部分集合に対して、二部グラフにおける既知のアルゴリズムを用いてMWISを多項式時間で解く。
• 本手法は、(P₇, 三角形) を含まないグラフの構造的性質に依存しており、特定の成分タイプの有界性や誘導部分グラフの制限が含まれる。
• アルゴリズムの実行時間は O(n¹³) であり、反近傍還元の繰り返し適用と多項式時間サブルーチンの組み合わせから導出される。

実験結果

リサーチクエスチョン

• RQ1 (P₇, 三角形) を含まないグラフにおいて、MWIS問題は多項式時間で解けるか？
• RQ2 三角形を含まない制約のもとで、反近傍アプローチはP₇-自由グラフに拡張可能か？
• RQ3 (P₇, 三角形) を含まないグラフの構造を活用して、MWISを多項式時間で解ける部分問題に還元可能か？
• RQ4 (P₇, 三角形) を含まないグラフにおいて、すべての極大独立集合が少なくとも1つの部分集合に含まれる多項式サイズの部分集合族が存在するか？

主な発見

• (P₇, 三角形) を含まないグラフにおいて、MWIS問題は多項式時間で解ける。時間計算量は O(n¹³) で有界である。
• 解法は反近傍アプローチの繰り返し適用に依存し、問題が二部グラフまたは構造が有界な部分グラフに還元される。
• 任意の (P₇, 三角形) を含まないグラフ G に対して、すべての極大独立集合が少なくとも1つのメンバーに含まれる、二部グラフを誘導する部分集合族 S が多項式サイズで存在する。
• 三角形を含まない制約のもとで、P₅-自由およびP₆-自由グラフにおける既存の多項式時間解法を拡張し、P₇-自由グラフへの道筋を提供する。
• 本手法は有界なクリーク幅を仮定しない。これは、P₇-自由な二部グラフが無限大のクリーク幅を取るため、重要である。
• 本手法は、モジュラ分解と構造的結果を用いることで、(P₇, ハウス, ブル, ダブル・ジェム)-自由グラフに対してもMWISが多項式時間で解けることを示唆している。