[論文レビュー] Linear Time LexDFS on Cocomparability Graphs

Ekkehard Köhler, Lalla Mouatadid|arXiv (Cornell University)|Apr 23, 2014

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

ひとこと要約

本稿では、cocomparabilityグラフ上でLexDFS cocomparability順序を計算する最初の線形時間アルゴリズムを提示する。posetのレイヤー上でイン・サイトの逆方向パーティション精錬技術を用い、posetを明示的に構築することなく実現している。主な貢献は、cocomparabilityグラフ上で最小パス被覆、ハミルトンパス、最大独立集合、最小クリーク被覆問題に対する最初の線形時間解法を可能にしたことにある。

ABSTRACT

Lexicographic depth first search (LexDFS) is a graph search protocol which has already proved to be a powerful tool on cocomparability graphs. Cocomparability graphs have been well studied by investigating their complements (comparability graphs) and their corresponding posets. Recently however LexDFS has led to a number of elegant polynomial and near linear time algorithms on cocomparability graphs when used as a preprocessing step [2, 3, 11]. The nonlinear runtime of some of these results is a consequence of complexity of this preprocessing step. We present the first linear time algorithm to compute a LexDFS cocomparability ordering, therefore answering a problem raised in [2] and helping achieve the first linear time algorithms for the minimum path cover problem, and thus the Hamilton path problem, the maximum independent set problem and the minimum clique cover for this graph family.

研究の動機と目的

• 従来の非線形LexDFS前処理に依存していたcocomparabilityグラフの近似線形時間アルゴリズムにおけるボトルネックを解消すること。
• 先行研究で提起された、線形時間でLexDFS cocomparability順序が存在するかという未解決問題を解決すること。
• 高速な前処理ステップを提供することで、cocomparabilityグラフ上の基本的グラフ問題に対する効率的かつ線形時間の解法を可能にすること。
• 既存のアルゴリズムに不可欠なLexDFS+の線形時間アルゴリズムを導入することで、LexDFSの適用範囲を拡張すること。
• posetの構造を明示的に計算せずに、その本質的性質を活用することで、効率性と正しさを保証すること。

提案手法

• cocomparabilityグラフのposetのレイヤーに対して、逆方向のパーティション精錬アプローチを用いてLexDFS順序をシミュレートする。
• poset内の同じ深さにある頂点を表すパーティションクラスを維持し、初期cocomparability順序の逆順に精錬を行う。
• Flipping Lemmaを適用してLexDFS順序とcocomparability順序の逆順との関係を確立し、正しさを保証する。
• 同じパーティションクラスに属する頂点は、次のパーティションクラスに対する同じ近接関係を持つという性質を活用して精錬を誘導する。
• 同値の頂点がcocomparability順序の逆順に従って順序付けられていることを確認することで、最終的な順序がLexDFS基準を満たすことを保証する。
• 帰納法と背理法を用いて正しさを証明し、任意の違反がcocomparabilityグラフの構造的矛盾を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 cocomparabilityグラフ上でLexDFS cocomparability順序を線形時間で計算することは可能か？
• RQ2 逆方向パーティション精錬手法は、posetを明示的に構築せずにLexDFSの性質を保持できるか？
• RQ3 先行アルゴリズムに必要不可欠なLexDFS+順序を線形時間で計算できるか？
• RQ4 従来の非線形前処理ステップを排除し、LexDFSベースのアルゴリズムの実行時間を制限する要因を解消できるか？
• RQ5 同じ手法を、comparabilityグラフの補グラフを介して、comparabilityグラフ上でのLexDFS計算に拡張できるか？

主な発見

• 提案されたアルゴリズムは、O(m + n)時間でLexDFS cocomparability順序を計算し、この問題に対する最初の線形時間解法を達成した。
• このアルゴリズムにより、最小パス被覆問題に対する最初の線形時間アルゴリズムが可能となり、cocomparabilityグラフ上でのハミルトンパス問題が直接解けるようになった。
• 最大独立集合および最小クリーク被覆問題についても、この前処理ステップを用いることでcocomparabilityグラフ上で線形時間で解けるようになった。
• LexDFS+順序は、各パーティションクラス内でcocomparability順序の逆順を維持することで、線形時間で計算可能である。
• 正しさの証明は、構造的不変量と背理法に依拠し、Flipping Lemmaおよびアンバー・フリー性質を活用している。
• posetの明示的計算を回避するために、パーティションクラスをイン・サイトで精錬することで、効率性と正しさを両立している。