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

Andreas Brandstädt|arXiv (Cornell University)|Jul 24, 2015

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

ひとこと要約

本稿では、モジュラ分解と構造的解析を用いて、$P_5$-freeグラフにおける重み付き効率的支配集合（WED）問題に対して線形時間アルゴリズムを提示する。素性$P_5$-freeグラフにおいて、効率的支配集合（e.d.）は、薄いスパイダー（e.d.が次数1の頂点からなる）または両方の頂点が最小次数であり、かつ近傍がクリークである2頂点集合であることが示され、決定的かつ線形時間で解けることが保証される。

ABSTRACT

In a finite undirected graph $G=(V,E)$, a vertex $v \in V$ {\em dominates} itself and its neighbors. A vertex set $D \subseteq V$ in $G$ is an {\em efficient dominating set} ({\em e.d.} for short) of $G$ if every vertex of $G$ is dominated 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. Very recently, it has been shown by Lokshtanov et al. and independently by Mosca that ED is solvable in polynomial time for $P_6$-free graphs. In this note, we show that, based on modular decomposition, ED is solvable in linear time for $P_5$-free graphs.

研究の動機と目的

• 重み付き効率的支配集合（WED）問題が$P_5$-freeグラフにおいて線形時間で解けるかどうかという未解決問題を解くこと。
• 効率的支配集合を許容する素性$P_5$-freeグラフの構造を同定すること。
• モジュラ分解と次数に基づく頂点選択を根拠に、$P_5$-freeグラフにおけるWEDの決定的かつ線形時間アルゴリズムを開発すること。
• 素性$P_5$-freeグラフにおいて、e.d.が2つより多くの頂点を持つ場合、必ず薄いスパイダーであることを示し、2頂点からなるe.d.は最小次数の頂点からなり、その近傍がクリークであることを示すこと。

提案手法

• 定理1を用いて、$P_5$-freeグラフにおけるWED問題を素性ケースに還元するモジュラ分解を活用する。
• 薄いスパイダーまたは正確に2つのe.d.頂点からなることの証明により、e.d.を許容する素性$P_5$-freeグラフの構造を同定する。
• 構造的性質を用いる：e.d.頂点の近傍はクリークであり、ある近傍内のすべての頂点は、別の近傍集合の頂点と隣接する。
• 次数に基づく選択を適用する：e.d.の候補は最小次数$\delta(G)$の頂点であり、$d$と$d'$が$N(d)$と$N(d')$がクリークであるように選ぶ。
• 線形時間で薄いスパイダー構造または2頂点e.d.候補をチェックする弱い耐障害性を持つアルゴリズムを設計する。
• すべての頂点が正確に一度だけ支配されるかをチェックすることでe.d.を検証し、正しさと線形時間計算量を保証する。

実験結果

リサーチクエスチョン

• RQ1 重み付き効率的支配集合（WED）問題は$P_5$-freeグラフにおいて線形時間で解けるか？
• RQ2 効率的支配集合を許容する素性$P_5$-freeグラフの構造的性質は何か？
• RQ3 素性$P_5$-freeグラフにおけるe.d.の構成は、薄いスパイダーまたは2頂点集合の2通りに限られるか？
• RQ4 $P_5$-freeグラフにおけるe.d.は、最小次数の頂点とクリーク近傍を持つ頂点によって一意に定まるか？
• RQ5 モジュラ分解と次数に基づく頂点選択を用いて、WED問題を線形時間で解けるか？

主な発見

• $P_5$-freeグラフにおけるWED問題は、モジュラ分解に基づくアルゴリズムを用いて線形時間で解ける。
• 素性$P_5$-freeグラフにおいて、e.d.が存在するのは、グラフが薄いスパイダーであるか、正確に2つの頂点からなるe.d.を持つ場合に限る。
• 薄いスパイダーでない場合、e.d.は最小次数$\delta(G)$の2頂点$d$と$d'$からなり、その近傍$N(d)$、$N(d')$はクリークである。
• もし$d$が唯一の最小次数頂点であれば、$d'$は$V \setminus N[d]$における最小次数頂点であり、$\{d, d'\}$は一意のe.d.である。
• アルゴリズムは、薄いスパイダー構造またはクリーク近傍を持つ2頂点候補をチェックすることで、線形時間でe.d.を正しく特定する。
• 両ケースにおいて解は一意であるため、最小次数頂点を選択し、近傍および支配性の性質を検証することで、WED問題を線形時間で解ける。