[論文レビュー] Weighted Efficient Domination for $(P_5+kP_2)$-Free Graphs in Polynomial Time

Andreas Brandstädt, Vassilis Giakoumakis|arXiv (Cornell University)|Jul 17, 2014

Advanced Graph Theory Research参考文献 3被引用数 13

ひとこと要約

本稿では、任意の固定された $k$ に対して $(P_5 + kP_2)$-free 図形における重み付き効率的支配（WED）問題の多項式時間アルゴリズムを提示し、未解決の問題を解決する。この手法はモジュラー分解と素性図形の構造的解析を活用し、効率的支配がクリークおよびモジュール分解を介して決定可能な部分問題に問題を還元する。正しさは禁止部分グラフの特徴付けと強固なアルゴリズム設計によって保証される。

ABSTRACT

Let $G$ be a finite undirected graph. A vertex {\em dominates} itself and all its neighbors in $G$. A vertex set $D$ is an {\em efficient dominating set} (\emph{e.d.}\ for short) of $G$ if every vertex of $G$ is dominated by exactly one vertex of $D$. The \emph{Efficient Domination} (ED) problem, which asks for the existence of an e.d.\ in $G$, is known to be \NP-complete even for very restricted graph classes such as for claw-free graphs, for chordal graphs and for $2P_3$-free graphs (and thus, for $P_7$-free graphs). We call a graph $F$ a {\em linear forest} if $F$ is cycle- and claw-free, i.e., its components are paths. Thus, the ED problem remains \NP-complete for $F$-free graphs, whenever $F$ is not a linear forest. Let WED denote the vertex-weighted version of the ED problem asking for an e.d. of minimum weight if one exists. In this paper, we show that WED is solvable in polynomial time for $(P_5+kP_2)$-free graphs for every fixed $k$, which solves an open problem, and, using modular decomposition, we improve known time bounds for WED on $(P_4+P_2)$-free graphs, $(P_6,S_{1,2,2})$-free graphs, and on $(2P_3,S_{1,2,2})$-free graphs and simplify proofs. For $F$-free graphs, the only remaining open case is WED on $P_6$-free graphs.

研究の動機と目的

• 任意の固定された $k$ に対して、$(P_5 + kP_2)$-free 図形における重み付き効率的支配（WED）問題が多項式時間で解けるかどうかという未解決問題を解くこと。
• モジュラー分解を用いて、$(P_4 + P_2)$-、$(P_6, S_{1,2,2})$-、および $(2P_3, S_{1,2,2})$-free 図形における WED の既知の時間計算量の上限を改善し、証明を簡略化すること。
• 最小重み効率的支配集合を計算するか、そのような集合が存在しない、または入力図形が該当クラスに属さないことを正しく特定する、強固なアルゴリズムフレームワークを構築すること。
• $F$-free 図形における WED の残り未解決ケースが $P_6$-free のみであることを確立すること。

提案手法

• アルゴリズムは、各頂点 $v$ に対して、$G$ における WED 問題を、$N_2$ の頂点に無限大の重みを割り当てた部分グラフ $G_v = G[N_2 \times R]$ における WED 問題に還元する一般的手法を用いる。
• モジュラー分解を適用して図形を素性成分に分解し、$2P_3$ および $S_{1,2,2}$ 部分グラフの不在といった構造的制約を分析可能にする。
• 素性図形では、$R = V \setminus (\{v\} \cup N_1 \cup N_2)$ の連結成分 $Q_i$ の構造を分析し、各 $Q_i$ がクリークで、かつ各 $D_v \cap Q_i$ が単一頂点であることを示す。また、$D_v \cap Q_i$ に属する唯一の頂点は強制的に決定される。
• 頂点 $v$ の $N_2$ に属する頂点が成分 $Q_i$ を区別する場合、その頂点は $Q_i$ にちょうど一つの隣接頂点を持つという性質を用い、支配集合が一意に決定されることを保証する。
• 各成分 $Q_i$ がクリークであること、$D_v \cap Q_i$ が単一であること、および全集合 $D_v$ がすべての頂点をちょうど一度支配することを確認することで、有限重みの効率的支配集合の存在を検証する。
• 全体のアルゴリズムは、各 $G_v$ における $O(n^3)$ 時間のサブルーチンを $ abla(G)+1$ 個の候補に対して次数に基づく分岐と組み合わせることで、$O(\delta(G) \cdot n^3)$ 時間で実行される。

実験結果

リサーチクエスチョン

• RQ1 任意の固定された $k$ に対して、$(P_5 + kP_2)$-free 図形における重み付き効率的支配問題は多項式時間で解けるか？
• RQ2 モジュラー分解を用いて、$(P_4 + P_2)$-、$(P_6, S_{1,2,2})$-、および $(2P_3, S_{1,2,2})$-free 図形における WED の時間計算量の上限を改善し、証明を簡略化できるか？
• RQ3 $(P_5 + kP_2)$-free 図形のどの構造的性質が、特に素性成分において WED の多項式時間解法を可能にするか？
• RQ4 なぜ $F$-free 図形における WED の未解決ケースとして残っているのは $P_6$-free のみなのか？
• RQ5 最小解を返すか、入力図形がクラスに属さない、または効率的支配集合が存在しないことを正しく特定する、強固な WED アルゴリズムを設計できるか？

主な発見

• 任意の固定された $k$ に対して、$(P_5 + kP_2)$-free 図形における WED 問題は多項式時間で解けることが保証され、長年の未解決問題が解決された。
• アルゴリズムは $O(\delta(G) \cdot n^3)$ 時間で実行され、これは各頂点 $v$ に対して $G_v$ における部分問題に還元することで達成される。
• $(2P_3, S_{1,2,2})$-free 図形では、アルゴリズムは $O(\delta(G) \cdot n^3)$ 時間で実行され、正しく動作する。クリークおよび区別する頂点の構造的解析により、証明が簡略化された。
• 素性 $(2P_3, S_{1,2,2})$-free 図形では、$R$ の各連結成分 $Q_i$ はクリークでなければならないし、$Q_i$ に属する $D_v$ の唯一の頂点は $N_2$ における近傍によって強制的に決定されることが示された。
• アルゴリズムは強固である：最小重み効率的支配集合を返すか、そのような集合が存在しない、または入力図形がクラスに属さないことを正しく報告する。
• $F$-free 図形における WED の残り未解決ケースは $P_6$-free のみであり、他のすべての線形森 $F$-free ケースは現在解決済みである。