[論文レビュー] Weighted Efficient Domination for $P_6$-Free Graphs in Polynomial Time

Andreas Brandstädt, Raffaele Mosca|arXiv (Cornell University)|Aug 31, 2015

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

ひとこと要約

本稿では、$P_6$-freeグラフにおける重み付き効率的ドミネーション（WED）問題に対して、多項式時間アルゴリズムを提示する。直接的な手法を用い、問題を$P_6$-freeユニポラーグラフに還元し、距離に基づく分解とコンポーネント削減により解く。主な貢献は、$ olimits\mathcal{O}(n^6m)$-時間のアルゴリズムであり、$F$-freeグラフにおけるWED問題の最後の未解決事例を解消し、$P_k$-freeグラフにおけるWEDの二分岐を確立する。

ABSTRACT

In a finite undirected graph $G=(V,E)$, a vertex $v \in V$ {\em dominates} itself and its neighbors in $G$. A vertex set $D \subseteq V$ is an {\em efficient dominating set} ({\em e.d.} for short) of $G$ if every $v \in V$ is dominated in $G$ by exactly one vertex of $D$. The {\em Efficient Domination} (ED) problem, which asks for the existence of an e.d. in $G$, is known to be NP-complete for $P_7$-free graphs but solvable in polynomial time for $P_5$-free graphs. The $P_6$-free case was the last open question for the complexity of ED on $F$-free graphs. Recently, Lokshtanov, Pilipczuk and van Leeuwen showed that weighted ED is solvable in polynomial time for $P_6$-free graphs, based on their sub-exponential algorithm for the Maximum Weight Independent Set problem for $P_6$-free graphs. Independently, at the same time, Mosca found a polynomial time algorithm for weighted ED on $P_6$-free graphs using a direct approach. In this paper, we describe the details of this approach which is simpler and much faster, namely its time bound is ${\cal O}(n^6 m)$.

研究の動機と目的

• F- freeグラフにおける重み付き効率的ドミネーション（WED）問題の複雑性分類における最後の未解決事例を、$P_6$-freeグラフにおいて解くこと。
• 部分指数的法に依存しない、直接的で多項式時間のWEDアルゴリズムを、$P_6$-freeグラフに対して提供すること。
• WEDが$k \leq 6$のとき多項式時間で解けること、$k \geq 7$のときNP完全であることの証明により、$P_k$-freeグラフにおけるWEDの二分岐を確立すること。
• 部分指数的アルゴリズムを上回る、より高速で組合せ的な手法を提供し、先行研究よりも優れた時間計算量を達成すること。

提案手法

• 最小次数頂点からの距離レベル分解を用いて、$P_6$-freeグラフにおけるWED問題を、$P_6$-freeユニポラーグラフにおける同じ問題に還元する。
• 構造的簡略化のためのジョイン削減手順を適用し、クリーク部の各頂点がクラスタ部における隣接頂点集合を区別できるようにする。
• 頂点間の関係をモデル化するための有向無閉路グラフ（DAG）$H$を構築し、クリーク部に存在する良い頂点$b^*$を同定する。この頂点は非クリーク部のコンポーネントをドミネート可能である。
• 各候補隣接頂点$a^*$に対して、$\mathcal{O}(n^3)$個の$D(a^*)$-候補のタプルを列挙し、有限重み効率的ドミネーティングセットとして妥当性を検証する。
• 非クリーク部の各コンポーネントがクリーク部の頂点によって接触されることを保証するためのコンポーネント削減手順を適用し、効率的な探索を可能にする。
• すべての手順を統合し、$\delta(G)$個の候補を反復処理し、ユニポラーグラフ用WEDアルゴリズムを適用することで、$\mathcal{O}(n^6m)$の時間計算量を達成する完全なアルゴリズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 F-freeグラフ分類におけるWED問題の最後の未解決事例を、$P_6$-freeグラフにおいて解けるか。
• RQ2 部分指数的法に依存しない、より優れた時間計算量を持つ直接的で組合せ的なWEDアルゴリズムを、$P_6$-freeグラフに対して設計可能か。
• RQ3 $P_6$-freeグラフの構造が、効率的ドミネーティングセットの存在と重みを保持したまま、$P_6$-freeユニポラーグラフへの還元を可能にするか。
• RQ4 直接法を用いた場合に、$P_6$-freeグラフにおけるWEDを解くことのできる最もタイトな時間計算量は何か。

主な発見

• 本稿では、$P_6$-freeグラフにおけるWED問題に対して、時間計算量$\mathcal{O}(n^6m)$の多項式時間アルゴリズムを提示する。これは、先行研究の部分指数的法による$\mathcal{O}(n^{500})$の境界よりも顕著に高速である。
• アルゴリズムは、距離レベル分解と構造的還元を用いて、一般の$P_6$-free WED問題を$P_6$-freeユニポラーグラフにおけるWED問題に還元する。
• 最大重み独立集合サブルーチンに依存しない、新たな直接的アプローチが開発され、従来の手法よりも単純かつ効率的な解決策を提供する。
• 解決策により、二分岐が確立された：$P_k$-freeグラフにおけるWEDは$k \leq 6$のとき多項式時間で解けるが、$k \geq 7$のときはNP完全である。
• 構造的還元と、$\mathcal{O}(n^3)$個のタプルを各候補頂点に対して体系的かつ効率的に列挙することで、候補ドミネーティングセットの妥当性を検証する。
• $P_6$-freeグラフにおける距離の有界性を活用することで、最適な性能が達成され、任意の頂点から距離5以上離れた頂点は存在しない。