[論文レビュー] An Efficient Branching Algorithm for Interval Completion

Yixin Cao|arXiv (Cornell University)|Jun 13, 2013

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

ひとこと要約

本稿では、区間完了問題に対する 6^k · n^O(1) 時間のパrameterizedアルゴリズムを提示している。これは、以前の最良の境界 k^{2k} · n^O(1) より顕著に改善されたものである。本稿は、浅い障害物の構造的性質に基づく、新たな分岐戦略を導入している。具体的には、6〜7頂点のフレームと5つの重要な欠落辺を特徴とするものであり、効率的な pruning と浅い端末のモジュラー処理を可能にし、高々 k 条の辺を追加することでグラフを区間グラフに変換する、より単純かつ高速なアルゴリズムを実現している。

ABSTRACT

We study the \emph{interval completion} problem, which asks for the insertion of a set of at most $k$ edges to make a graph of $n$ vertices into an interval graph. We focus on chordal graphs with no small obstructions, where every remaining obstruction is known to have a shallow property. From such a shallow obstruction we single out a subset 6 or 7 vertices, called the frame, and 5 missed edges in the subgraph induced by the frame. We show that if none of these edges is inserted, then the frame cannot be altered at all, and the whole obstruction is also fixed, by and large, in the sense that their related positions in an interval representation of the objective interval graph have a specific pattern. We propose a simple bounded search process, which effectively transforms a given graph to a graph with the structural property that all obstructions are shallow and have fixed frames. Then we fill in polynomial time all obstructions that have been previously left in indecision. These efforts together deliver a simple parameterized algorithm of time $6^k\cdot n^{O(1)}$ for the problem, significantly improving the only known parameterized algorithm of time $k^{2k}\cdot n^{O(1)}$.

研究の動機と目的

• 区間完了問題に対する、より高速な固定パrameter tractable (FPT) アルゴリズムの開発。この問題は、グラフを区間グラフにするために追加すべき辺の最小数を求めるものである。
• 特にアステロイダル三重項 (ATs) を持つ浅い証拠（浅い見過ごし）を含む弦的グラフにおける大きな障害物の取り扱いの課題に対処すること。これは、穴よりも取り扱いが難しい。
• パrameter k における指数的依存度を低減することで、既存の k^{2k} · n^O(1) アルゴリズムを改善すること。
• 『フレーム』と『浅い端末』を用いた、浅い障害物の構造的特徴付けを導入し、分岐の上限を設定し、モジュラー処理を可能とすること。
• 固定フレームの不変性とモジュールのすべてまたはなしの挿入特性を活用することで、より単純かつ効率的なアルゴリズムを達成すること。

提案手法

• アルゴリズムは、事前処理段階を経て、すべての障害物が浅く、フレームが固定されたグラフに入力グラフを変換することから始める。
• 各浅い障害物に対して、6または7頂点のフレームと5つの重要な欠落辺の集合を特定する。これらの辺が1つも挿入されない場合、フレームは固定され、変更できなくなる。
• 5つの重要な辺の1つを挿入するか、フレームが保存されると仮定するという分岐を行う。後者の場合、浅い端末を分離することで問題が簡略化される。
• 浅い端末が互いに素なモジュールを形成することを活用し、これらに接続する辺はすべてまたはなしの方法で挿入されるため、効率的な処理が可能になる。
• すべてのフレームを固定した後、残りのグラフは2つの互いに素な区間部分グラフに分割され、貪欲な区間表現拡張を用いて多項式時間でマージされる。
• 各辺挿入ごとに減少する測度を用いて、終了性と正しさを保証する。禁止辺を硬い制約ではなく、『回避可能』な辺の概念を用いることで、禁止辺を避ける。

実験結果

リサーチクエスチョン

• RQ1 区間完了問題の時間計算量における指数的要因を k^{2k} 未満に低下させることは可能か？
• RQ2 浅い障害物のどのような構造的性質が、ブルートフォース探索より効率的な分岐を可能にするか？
• RQ3 6〜7頂点のフレームとその5つの重要な欠落辺を用いて、追加の分岐なしに全体の障害物を固定できるか？
• RQ4 小さな障害物を含まない弦的グラフにおける浅い端末は、すべてまたはなしの方法で処理可能なモジュールを形成するか？
• RQ5 フレームの不変性とモジュール保存を活用することで、より単純かつ高速な FPT アルゴリズムを達成することは可能か？

主な発見

• 本稿では、区間完了問題に対する 6^k · n^O(1) 時間のアルゴリズムを提示しており、以前の k^{2k} · n^O(1) の境界より顕著に改善されたものである。
• 主な洞察は、6〜7頂点のフレームに属する5つの重要な辺が1つも挿入されない場合、フレームは固定され、変更できなくなるため、安全な分岐が可能になることである。
• 小さな障害物を含まない弦的グラフにおける浅い端末は、互いに素なモジュールを形成し、これらのモジュールへの辺の挿入はすべてまたはなしの方法で行われる。
• すべてのフレームを固定した後、残りのグラフは2つの互いに素な区間部分グラフに分割され、多項式時間でマージ可能である。
• 小さな障害物に対して、分岐次数を12から6に削減することで、正しさを損なわずに効率性が向上した。
• アルゴリズムは正しく、FPT時間内に終了する。各ステップで測度が厳密に減少するため、探索木のサイズが有界であることが保証される。