[論文レビュー] Polynomial-time algorithms for minimum weighted colorings of ($P_5, \bar{P}_5$)-free graphs and related graph classes

Chı́nh T. Hoàng, D. Adam Lazzarato|arXiv (Cornell University)|Sep 2, 2014

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

ひとこと要約

本稿では、モジュラ分解を活用し、素性を持つ部分グラフにおいて再帰的に問題を解くことで、$(P_5, \overline{P}_5)$-free グラフの最小重み彩色を $O(n^3)$ の多項式時間で計算するアルゴリズムを提示する。主な貢献は、ある遺伝的グラフクラス内のすべての素性グラフで最小重み彩色が多項式時間で解けるならば、そのクラス内のすべてのグラフでも多項式時間で解けることを示す一般定理であり、この定理は $(P_5, \overline{P}_5)$-free および関連クラス（例えば、(diamond, co-diamond)-free グラフ）に応用されている。

ABSTRACT

We design an $O(n^3)$ algorithm to find a minimum weighted coloring of a ($P_5, \bar{P}_5$)-free graph. Furthermore, the same technique can be used to solve the same problem for several classes of graphs, defined by forbidden induced subgraphs, such as (diamond, co-diamond)-free graphs.

研究の動機と目的

• $(P_5, \overline{P}_5)$-free グラフにおける最小重み彩色（MWC）問題の多項式時間アルゴリズムの開発。
• 禁止部分グラフによって定義される他の遺伝的グラフクラスへのアプローチの一般化。
• 遺伝的クラス内の素性グラフでMWCが解けるならば、そのクラス内のすべてのグラフでも解けることを証明すること。
• 同様のフレームワークを (diamond, co-diamond)-free グラフなどの関連クラスに拡張すること。
• $(P_5, \overline{P}_5)$-free グラフにおける時間効率の良い解法を提供し、$O(n^3)$ の実行時間とする。

提案手法

• 強いモジュールを介して、グラフをその素性成分に再帰的に分解するモジュラ分解の使用。
• 遺伝的クラス内のすべての素性グラフでMWCが多項式時間で解けるならば、そのクラス内のすべてのグラフでも多項式時間で解けることを証明する。
• 分解木 $T(G)$ を用いて各素性部分グラフを独立に処理し、安定集合のマージアルゴリズムを介して結果を統合する。
• 素性固有のMWCソルバーを呼び出し、線形時間の安定集合マージ手順を用いて彩色を統合する再帰的アルゴリズムの実装。
• 分解木内の内部ノードが $O(n)$ 個であり、各マージ操作に $O(n^2)$ 時間を要することから、総実行時間を $O(n^3)$ で抑えている。
• 既知の素性グラフの構造的結果（例えば、完全グラフであるか、サイズが有界であるなど）を活用し、素性グラフ上で多項式時間でMWCを解けることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $(P_5, \overline{P}_5)$-free グラフにおいて最小重み彩色問題を多項式時間で解けるか。
• RQ2 遺伝的グラフクラス内の素性グラフでMWCを解けるならば、そのクラス内のすべてのグラフでも多項式時間で解けるか。
• RQ3 素性 $(P_5, \overline{P}_5)$-free グラフにどのような構造的性質が、効率的なMWC計算を可能にするか。
• RQ4 同様のフレームワークを (diamond, co-diamond)-free グラフなどの他のグラフクラスに拡張できるか。
• RQ5 $(P_5, \overline{P}_5)$-free グラフにおける提案アルゴリズムの時間計算量は何か。

主な発見

• $(P_5, \overline{P}_5)$-free グラフの最小重み彩色を計算する $O(n^3)$ アルゴリズムが提示された。
• このアルゴリズムは、一般定理に依存している：遺伝的クラス内のすべての素性グラフでMWCが多項式時間で解けるならば、そのクラス内のすべてのグラフでも多項式時間で解ける。
• モジュラ分解を用いてグラフを素性成分に再帰的に分解し、彩色を効率的に統合する。
• 安定集合マージアルゴリズムにより、最終的な彩色における安定集合の総数が $2n - 1$ 以下であることが保証され、効率性が維持される。
• このアプローチは、素性グラフが完全グラフまたは小さいサイズであるため多項式時間でMWCが解けることから、(diamond, co-diamond)-free グラフなどの他のクラスにも拡張可能である。
• 分解木 $T(G)$ の内部ノード数は $O(n)$ で抑えられ、各マージ操作に $O(n^2)$ 時間を要するため、全体で $O(n^3)$ の計算量が得られる。