[論文レビュー] Using Neighborhood Diversity to Solve Hard Problems

Robert Ganian|arXiv (Cornell University)|Jan 15, 2012

Advanced Graph Theory Research参考文献 14被引用数 24

ひとこと要約

この論文は、近傍多様性をパラメータとする3つのNP困難なグラフ問題—p-Vertex-Disjoint Paths、Graph Motif、Precoloring Extension—の固定パラメータ tractable (FPT) アルゴリズムを提示する。近傍多様性が有界なグラフにおけるタイプクラスの構造的性質を活用した整数線形プログラミング（ILP）定式化により、従来の木幅や頂点被覆のようなパラメータでは失敗する問題に対しても、FPTアルゴリズムを達成している。

ABSTRACT

Parameterized algorithms are a very useful tool for dealing with NP-hard problems on graphs. Yet, to properly utilize parameterized algorithms it is necessary to choose the right parameter based on the type of problem and properties of the target graph class. Tree-width is an example of a very successful graph parameter, however it cannot be used on dense graph classes and there also exist problems which are hard even on graphs of bounded tree-width. Such problems can be tackled by using vertex cover as a parameter, however this places severe restrictions on admissible graph classes. Michael Lampis has recently introduced neighborhood diversity, a new graph parameter which generalizes vertex cover to dense graphs. Among other results, he has shown that simple parameterized algorithms exist for a few problems on graphs of bounded neighborhood diversity. Our article further studies this area and provides new algorithms parameterized by neighborhood diversity for the p-Vertex-Disjoint Paths, Graph Motif and Precoloring Extension problems -- the latter two being hard even on graphs of bounded tree-width.

研究の動機と目的

• 木幅や頂点被覆を越えて、構造的パラメータとしての近傍多様性を用いることで、パrameterizedアルゴリズムの適用範囲を拡張すること。
• 木幅が有界なグラフに対しても依然として困難である、Graph Motif や Precoloring Extension などのNP困難問題に取り組むこと。
• 近傍多様性が有界なグラフ上で、p-Vertex-Disjoint Paths やその他の問題に対して効率的なFPTアルゴリズムを設計すること。
• 従来の頂点被覆に基づくアルゴリズムの限界を乗り越え、近傍多様性を用いて稠密なグラフに一般化すること。
• 他のパラメータでは不適切とみなされていた問題に対しても、近傍多様性がFPTアルゴリズムを可能にすることを示すこと。

提案手法

• 近傍同値に基づくタイプクラスを用いてグラフをモデル化：互いを除いた近傍が同一の頂点は同じタイプにグループ化される。
• 各問題を整数線形計画（ILP）として定式化し、変数として経路数、色の割り当て、タイプ間の相互作用を表す。
• 経路の実現可能性（例：各タイプごとの頂点容量、経路の連続性）および色割り当ての一貫性（例：適切な色割り当て、事前色の保持）を保証する制約を符号化する。
• タイプクラスの数が有界（最大 $2^k + k$）であることを利用して、ILPのサイズを制限し、近傍多様性 $k$ におけるFPT実行時間の保証を得る。
• タイプ内のすべての頂点が相互に交換可能であるという事実を活用し、ILPの解から解を貪欲に再構築できる。
• 変数数と制約数が有界である既知のILPソルバーを適用することで、FPT実行時間を達成し、指数部は $k$ のみに依存する。

実験結果

リサーチクエスチョン

• RQ1 木幅が有界なグラフ上でW[1]-困難である問題に対して、近傍多様性が有効なパラメータとして機能するか。
• RQ2 近傍多様性を用いて、p-Vertex-Disjoint Paths や Graph Motif に対するFPTアルゴリズムを設計できるか。
• RQ3 頂点被覆に基づく手法が一般化できない状況において、近傍多様性が有界なグラフ上でPrecoloring Extensionを効率的に解けるか。
• RQ4 近傍多様性のどのような構造的性質が、他のパラメータでは困難とされる問題に対しFPTアルゴリズムを可能にするか。
• RQ5 稠密なグラフにおいて、近傍多様性は頂点被覆よりも一般的かつ実用的なパラメータであるか。

主な発見

• p-Vertex-Disjoint Paths 問題は、近傍多様性をパラメータとしてFPTアルゴリズムを有し、実行時間 $O(2^{O(k)} ext{poly}(n))$ で実行可能である。
• Graph Motif 問題は、近傍多様性をパラメータとしてFPT時間 $O(2^{O(k)} ext{poly}(n))$ で解ける。
• Precoloring Extension 問題は、$q = 2^{2k}$ として、時間 $O(q^{2.5q + o(q)} imes n)$ で解け、これにより近傍多様性が有界なグラフ上でFPTアルゴリズムが確立された。
• 上記3問題とも、木幅が有界なグラフ上でW[1]-困難であることが示され、近傍多様性がより広いクラスの tractable なインスタンスを捉えていることが明らかになった。
• ILPに基づくアプローチは頂点被覆を超えて一般化に成功し、従来は頂点被覆でのみ解けるか、まったく解けなかった問題に対してもFPTアルゴリズムを可能にした。
• 近傍多様性におけるタイプクラスの構造的単純性のおかげで、木構造がなくても効率的な符号化と解の再構築が可能である。