[論文レビュー] Uniquely Restricted Matchings in Interval Graphs

Mathew C. Francis, Dalu Jacob+1 more|arXiv (Cornell University)|Apr 24, 2016

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

ひとこと要約

本稿では、区間グラフにおける最大基数の一意制限付きマッチングを計算する多項式時間アルゴリズムを提示する。区間ネスト有向グラフ上で動的計画法を用いて、より一般化された最大ストロング独立集合問題を解くことで達成される。主な貢献は、Golumbic らが提起した未解決問題の解決であり、適切な区間グラフおよび二部順列グラフに対しては線形時間の変種が得られる。

ABSTRACT

A matching $M$ in a graph $G$ is said to be uniquely restricted if there is no other matching in $G$ that matches the same set of vertices as $M$. We describe a polynomial-time algorithm to compute a maximum cardinality uniquely restricted matching in an interval graph, thereby answering a question of Golumbic et al. ("Uniquely restricted matchings", M. C. Golumbic, T. Hirst and M. Lewenstein, Algorithmica, 31:139--154, 2001). Our algorithm actually solves the more general problem of computing a maximum cardinality "strong independent set" in an interval nest digraph, which may be of independent interest. Further, we give linear-time algorithms for computing maximum cardinality uniquely restricted matchings in proper interval graphs and bipartite permutation graphs.

研究の動機と目的

• 区間グラフにおける最大基数の一意制限付きマッチングを計算する多項式時間アルゴリズムが存在するかどうかという未解決問題に取り組む。
• 適切な区間グラフおよび二部順列グラフに対して線形時間アルゴリズムを用いて解を拡張する。
• 区間ネスト有向グラフにおける最大基数のストロング独立集合を求めるより一般化された問題を導入し、解く。
• 交互サイクルの特徴付けと区間表現の性質を用いて理論的基盤を提供する。
• 順列グラフにおける制限を明らかにし、非一意制限付きマッチングに対して任意の偶数長の交互サイクルが存在することを示す。

提案手法

• 区間の左端に基づく頂点の左から右への順序付けに基づいて、区間表現を用いて区間グラフをモデル化する。
• 各頂点が元のグラフの辺を表す区間ネスト有向グラフ D を構築し、有向辺は区間の包含関係および交差関係を符号化する。
• D におけるストロング独立集合を、互いに有向辺を共有しない辺の集合として定義し、交互サイクルが存在しないことを保証する。
• D におけるストロング独立集合が、元の区間グラフにおける一意制限付きマッチングに正確に対応することを証明する。
• 区間ネスト有向グラフ上で動的計画法を適用し、O(m⁴) 時間で最大ストロング独立集合を計算する。
• 特殊なグラフクラス（適切な区間グラフおよび二部順列グラフ）に対してアルゴリズムを最適化し、線形時間の複雑性を達成する。

実験結果

リサーチクエスチョン

• RQ1 区間グラフにおいて、最大基数の一意制限付きマッチングを多項式時間で計算することは可能か？
• RQ2 交互サイクルを用いた、区間グラフにおける一意制限付きマッチングの構造的特徴付けは存在するか？
• RQ3 この問題をより抽象的なグラフ理論的問題に一般化し、より広範な適用可能性を持つようにできるか？
• RQ4 既存の適切な区間グラフにおける線形時間アルゴリズムが一部のケースで失敗する理由は何か。また、それらをどのように修正できるか？
• RQ5 順列グラフにおいて、交互サイクルとマッチングの一意性の関係は何か？

主な発見

• 区間グラフにおいて、最大基数の一意制限付きマッチングを計算する多項式時間アルゴリズムが存在し、Golumbic ら（2001年）が提起した未解決問題を解決した。
• このアルゴリズムは、区間ネスト有向グラフにおける最大ストロング独立集合問題を解くことに基づくことが示され、元のマッチング問題と等価であることが証明された。
• 適切な区間グラフに対しては線形時間アルゴリズムが提示され、以前の誤った手法よりも改善された。
• 二部順列グラフに対しても線形時間アルゴリズムが開発され、この手法の適用範囲が拡張された。
• 本稿では、順列グラフにおいて、非一意制限付きマッチングが任意の偶数長 k ≥ 4 の交互サイクルを持つことができることを示した。このようなサイクルは長さ 4 に限定されない。
• 任意の偶数 k ≥ 4 に対して、長さ k のハミルトン型交互サイクルを持つ順列グラフの構成により、このようなグラフにおいて最小の交互サイクル長が定数でないことが証明された。