[論文レビュー] Dominating Induced Matchings for P7-Free Graphs in Linear Time

Andreas Brandstädt, Raffaele Mosca|arXiv (Cornell University)|Jun 14, 2011

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

ひとこと要約

本稿では、$P_7$-freeなグラフにおける支配的独立マッチング（DIM）問題に対する線形時間アルゴリズムを提示する。これはグラフ理論における未解決問題を解消する。アルゴリズムは、非$P_7$-freeな入力を扱う際も、最適解を計算するか、解が存在しないこと、または$P_7$-freenessでないことを正しく報告するという、強力な性能を発揮する。構造的グラフ解析とモジュラー分解を活用している。

ABSTRACT

Let $G$ be a finite undirected graph with edge set $E$. An edge set $E' \subseteq E$ is an {\em induced matching} in $G$ if the pairwise distance of the edges of $E'$ in $G$ is at least two; $E'$ is {\em dominating} in $G$ if every edge $e \in E \setminus E'$ intersects some edge in $E'$. The \emph{Dominating Induced Matching Problem} (\emph{DIM}, for short) asks for the existence of an induced matching $E'$ which is also dominating in $G$; this problem is also known as the \emph{Efficient Edge Domination} Problem. The DIM problem is related to parallel resource allocation problems, encoding theory and network routing. It is \NP-complete even for very restricted graph classes such as planar bipartite graphs with maximum degree three. However, its complexity was open for $P_k$-free graphs for any $k \ge 5$; $P_k$ denotes a chordless path with $k$ vertices and $k-1$ edges. We show in this paper that the weighted DIM problem is solvable in linear time for $P_7$-free graphs in a robust way.

研究の動機と目的

• $k \geq 5$ に対して $P_k$-freeなグラフにおける支配的独立マッチング（DIM）問題の計算量の未解決問題を、特に $P_7$-freeなグラフに対して解決すること。
• $P_7$-freeなグラフにおける重み付きDIM問題（最小DIM）の多項式時間解法を提供すること。
• 入力グラフが事前に $P_7$-freeであることの確認を必要としない、強力なアルゴリズムを設計すること。実行中に非$P_7$-freenessを検出可能である。
• cograph や弦的二部グラフといった既知の tractable クラスを超えて、DIMの理解を拡張し、新たな線形時間で解けるクラスを同定すること。
• 構造的分解と同型集合による強制的エッジ同一定理を用いて、$P_7$-freeなグラフにおけるDIMを解くフレームワークを確立すること。

提案手法

• 入力グラフ $G$ における最大の同型集合 $H_1, \ldots, H_k$ をモジュラー分解を用いて同定し、構造的簡略化を可能にする。
• 強制的エッジ規則を適用：$|N(H_i)| = 1$ ならば、手続き Hom-1-DIM を用いて必須エッジを固定する。$H_i$ がエッジの disjoint な和集合であり、$N(H_i)$ が安定集合である場合、$H_i$ のすべてのエッジをマッチングに含める。
• 強制的エッジを収縮することで、元のDIM構造を保持する、簡略化グラフ $G' = \text{Reduced}(G, M)$ を構築する。
• 各 $G'$ の連結成分に対して、$P_7$-free な二部グラフDIM手順を適用するか、奇サイクルを検出し、サイクルの辺に対して Check(ab) を用いて解の妥当性を検証する。
• 距離遺伝的および弦的二部グラフの性質を活用し、残りの成分を解き、既知の線形時間アルゴリズムを応用する。
• 最終的な整合性チェックを実行し、計算されたエッジ集合 $M$ が $G$ において有効な支配的独立マッチングを形成しているかを確認する。

実験結果

リサーチクエスチョン

• RQ1 $P_7$-freeなグラフにおいて、支配的独立マッチング（DIM）問題は多項式時間で解けるか？
• RQ2 $P_7$-freeなグラフにおいて、重み付きDIM問題は線形時間で解けるか？
• RQ3 $P_7$-freeness が事前に確認されていない状態でも、$P_7$-freeなグラフに対して強力なアルゴリズムを設計できるか？
• RQ4 $P_7$-freeなグラフのどのような構造的性質が、DIM問題の線形時間解法を可能にするか？
• RQ5 特定の近傍性質を持つ同型集合が、$P_7$-freeなグラフにおいて強制的エッジの同一定理を可能にするか？

主な発見

• 重み付き支配的独立マッチング（MDIM）問題は、$P_7$-freeなグラフにおいて線形時間で解ける。
• アルゴリズムは強力である：最小重みのd.i.m. を計算するか、d.i.m. が存在しないこと、または入力が $P_7$-freeでないことを正しく報告する。
• アルゴリズムの実行時間は $O(n + m)$ であり、$n$ と $m$ はそれぞれ頂点数と辺数を表す。
• $P_7$-freeなグラフにおいて、DIM問題は線形時間で解けることが示され、[9] で提起された未解決問題が解決された。
• 構造的解析により、$P_7$-freeなグラフにd.i.m. が存在する場合、その同型集合および簡略化グラフに特定の性質が現れることが明らかになった。これにより、効率的な分解が可能である。
• 事前の $P_7$-freeness チェックを必要とせず、非$P_7$-freeな入力も正しく処理できる。高コストな認識手順を回避できる。