[論文レビュー] Exact algorithms for dominating induced matchings

Min Chih Lin, Michel J. Mizrahi+1 more|arXiv (Cornell University)|Jan 31, 2013

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

ひとこと要約

本稿では、重み付きグラフにおける最小重み支配的誘導マッチング（DIM）を求める2つの正確なアルゴリズムを提示する。最初のアルゴリズムは、小さな頂点支配集合を活用して線形時間の計算量を達成する。2番目のアルゴリズムは、多項式個の極大独立集合に制限される場合に多項式時間解法を提供するが、そうでない場合には指数時間の境界が得られる。

ABSTRACT

Say that an edge of a graph G dominates itself and every other edge adjacent to it. An edge dominating set of a graph G = (V,E) is a subset of edges E' of E which dominates all edges of G. In particular, if every edge of G is dominated by exactly one edge of E' then E' is a dominating induced matching. It is known that not every graph admits a dominating induced matching, while the problem to decide if it does admit is NP-complete. In this paper we consider the problem of finding a minimum weighted dominating induced matching, if any, of a graph with weighted edges. We describe two exact algorithms for general graphs. The algorithms are efficient in the cases where G admits a known vertex dominating set of small size, or when G contains a polynomial number of maximal independent sets.

研究の動機と目的

• 重み付きグラフにおける最小重み支配的誘導マッチング（DIM）を求めるNP完全問題に対処すること。
• 入力グラフの特定の構造的制約下で、効率的にDIM問題を解く正確なアルゴリズムを開発すること。
• DIMと極大独立集合の関係を調査し、新たなアルゴリズム的アプローチを可能にすること。
• 極大独立集合の数が多項式的に有界である場合に多項式時間解法を提供すること。
• 頂点支配や極大独立集合の列挙といったグラフパラメータに基づいて、DIM問題の計算量の理論的境界を確立すること。

提案手法

• 既知の小さな頂点支配集合を出発点として、推論規則を用いて有効な黒・白頂点彩色を伝搬する最初のアルゴリズムを提案する。
• 部分彩色を伝搬させるための4つの推論規則を適用する：白色の隣接頂点は黒でなければならない、ペア化された黒頂点は白色の隣接頂点を持つ（自身のペアを除く）必要がある、2つの黒色の隣接頂点を持つ頂点は白色でなければならない、1つの黒色の隣接頂点しか持たない頂点は、未彩色の隣接頂点を黒にしなければならない。
• 得られた彩色が安定的かつ有効であることを保証し、未彩色の頂点や無効な構成がないことを確認する。
• 安定した彩色を用いてDIMを導出する。初期支配集合のサイズが固定されている場合、このアルゴリズムは線形時間で実行される。
• グラフのすべての極大独立集合（MIS）を列挙することに基づく2番目のアルゴリズムを開発する。
• 各MISに対して、MISに属する頂点を白色、それ以外を黒色として部分彩色を誘導し、単一の黒頂点が未彩色の隣接頂点を持つ場合に、その彩色を妥当かつ拡張可能であるかを確認する。
• 各妥当な拡張に対して、各単一黒頂点について最小重みの辺をペアリングして、合計重みを最小化する。
• すべてのMIS拡張における最小重みDIMを返す。時間計算量はO(nm²μ)であり、μはMISの数を表す。

実験結果

リサーチクエスチョン

• RQ1 グラフに小さな頂点支配集合が存在する場合、最小重み支配的誘導マッチング問題は効率的に解けるか？
• RQ2 グラフにおける極大独立集合の数がどのような条件下で有界になるか。その場合、DIM問題は多項式時間で解けるか？
• RQ3 極大独立集合と支配的誘導マッチングの存在との間にどのような関係があるか？
• RQ4 黒・白頂点彩色の構造をどのように活用して、列挙によってすべての潜在的DIMを体系的に探索できるか？
• RQ5 提案されたアルゴリズムの最悪ケース時間計算量は何か。また、グラフクラス（例：二部グラフ）や構造的パラメータによってどのように変化するか？

主な発見

• 初期支配集合のサイズが固定されている場合、最初のアルゴリズムは線形時間で実行され、小さな支配集合を持つグラフに対して効率的である。
• 極大独立集合の数μが多項式的に有界である場合、2番目のアルゴリズムは多項式時間で実行され、そのようなグラフクラスに対しては実行可能である。
• 一般のグラフでは、μ ≤ 3^(n/3) という上界から、最悪ケース時間計算量がO*(1.44225^n) となる。
• 二部グラフでは、μ ≤ 2^(n/2) というよりタイトな境界があるため、計算量はO*(1.41421^n) に低下する。
• すべての極大独立集合を列挙し、妥当な部分彩色を拡張することで、正しい最小重みDIMをすべて特定できる。
• 各DIMは、白色頂点を含む一意の極大独立集合に対応し、すべての孤立辺は任意のDIMに含まれる。これにより、同じ計算量で異なるDIMの数を数えることができる。