[論文レビュー] Dominating Induced Matchings in $S_{1,2,4}$-Free Graphs

Andreas Brandstädt, Raffaele Mosca|arXiv (Cornell University)|Jun 27, 2017

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

ひとこと要約

本稿では、$S_{1,2,4}$-freeなグラフにおける支配的独立マッチング（DIM）問題に対して、多項式時間アルゴリズムを提示する。これは、$S_{1,2,3}$-freeおよび$P_7$-freeグラフにおける先行研究を拡張するものである。構造的解析と2つの異なるアルゴリズム的手法（エッジ削減と彩色に基づく分解）を組み合わせることで、このクラスにおいてDIMが多項式時間で解けることを証明し、すべての$S_{i,j,k}$-freeグラフにおいてDIMが tractable であるという予想を前進させる。

ABSTRACT

Let $G=(V,E)$ be a finite undirected graph without loops and multiple edges. A subset $M \subseteq E$ of edges is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $M$. In particular, this means that $M$ is an induced matching, and every edge not in $M$ shares exactly one vertex with an edge in $M$. Clearly, not every graph has a d.i.m. The \emph{Dominating Induced Matching} (\emph{DIM}) problem asks for the existence of a d.i.m.\ in $G$; this problem is also known as the \emph{Efficient Edge Domination} problem; it is the {\em Efficient Domination} problem for line graphs. The DIM problem is \NP-complete in general, and even for very restricted graph classes such as planar bipartite graphs with maximum degree 3. However, DIM is solvable in polynomial time for claw-free (i.e., $S_{1,1,1}$-free) graphs, for $S_{1,2,3}$-free graphs as well as for $S_{2,2,2}$-free graphs, in linear time for $P_7$-free graphs, and in polynomial time for $P_8$-free graphs ($P_k$ is a special case of $S_{i,j,\ell}$). In a paper by Hertz, Lozin, Ries, Zamaraev and de Werra, it was conjectured that DIM is solvable in polynomial time for $S_{i,j,k}$-free graphs for every fixed $i,j,k$. In this paper, combining two distinct approaches, we solve it in polynomial time for $S_{1,2,4}$-free graphs which generalizes the $S_{1,2,3}$-free as well as the $P_7$-free case.

研究の動機と目的

• $S_{1,2,4}$-freeグラフにおける支配的独立マッチング（DIM）問題の計算量を解明すること。
• $S_{1,2,3}$-freeおよび$P_7$-freeグラフにおけるDIMの既知の多項式時間解法を、より広いクラスへ拡張すること。
• $S_{1,2,4}$-freeグラフに対して、エッジ削減と彩色に基づく分解を組み合わせた構成的アルゴリズムフレームワークを提供すること。
• すべての$S_{i,j,k}$-freeグラフにおいてDIMが多項式時間で解けるという広範な予想を支援すること。

提案手法

• エッジ削減に基づく手法と、部分グラフの可能な$xy$-彩色に基づく手法の2本立てのアルゴリズム的戦略を提案する。
• 候補となるエッジ$xy$からの距離レベル分解を用い、近傍$N_1, N_2, N_3, N_4$を分析し、構造的制約を強制する。
• エッジ選択における競合を避けるために、d.i.m.の存在を保つように、エッジC-削減を適用してグラフを簡略化する。
• $X = \{x,y\} \cup N_1 \cup N_2 \cup N_3$に対して$G[X]$に部分彩色を適用し、その後強制ルールを用いて$G[Y]$へ拡張する。
• 既知の$S_{1,2,2}$-freeグラフにおける多項式時間アルゴリズムを活用し、部分彩色後の$G[Y]$においてDIM問題を解く。
• すべてのコンポonentを統合し、$P_3$部分グラフ内の関連するエッジをすべて候補としてチェックする完全なアルゴリズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 $S_{1,2,4}$-freeグラフにおいてDIM問題が多項式時間で解けるか。これは、$S_{1,2,3}$-freeおよび$P_7$-freeグラフを一般化する。
• RQ2 エッジ削減と彩色に基づく分解という2つの異なるアルゴリズム戦略を組み合わせることで、このクラスにおいて多項式時間解法が可能になるか。
• RQ3 $S_{1,2,4}$-freeグラフの構造的性質を活用して、すべてのd.i.m.が$P_3$に属する少なくとも1つのエッジを含む必要があることを保証できるか。
• RQ4 $S_{1,2,4}$-freeグラフにおけるd.i.m.の存在は、候補エッジおよびその近傍における有限個の局所的チェックによって決定可能か。
• RQ5 本稿で開発したアルゴリズムフレームワークは、すべての$S_{i,j,k}$-freeグラフにおいてDIMが多項式時間で解けるという広範な予想を支持するか。

主な発見

• $S_{1,2,4}$-freeグラフにおいてDIM問題は多項式時間で解けることが示され、$S_{1,2,3}$-freeおよび$P_7$-freeグラフにおける先行結果が拡張された。
• 新しいアルゴリズム、Algorithm 5.1は、$P_3$部分グラフ内の候補エッジを分析し、構造的制約を適用することで、d.i.m.の存在を正しくかつ効率的に特定する。
• アルゴリズムは距離レベル解析、エッジC-削減、および可能な$xy$-彩色を組み合わせることで、正しさと多項式実行時間の両方を保証する。
• 正しさの根拠は、d.i.m.をもつすべての$S_{1,2,4}$-freeグラフが、$P_3$に属するd.i.m.エッジを含む必要があるという事実に依拠しており、これは多項式サイズの候補集合に対する網羅的探索を可能にする。
• 部分問題の効率的処理、特に既知の$S_{1,2,2}$-freeグラフにおける多項式時間アルゴリズムの使用により、時間計算量が多項式である。
• この結果は、すべての$S_{i,j,k}$-freeグラフにおいてDIMが多項式時間で解けるという予想を支持するが、$S_{1,3,4}$および$S_{2,2,4}$の場合は未解決のままである。