[論文レビュー] Progressive Algorithms for Domination and Independence

Grzegorz Fabiański, Michał Pilipczuk+2 more|arXiv (Cornell University)|Nov 16, 2018

Advanced Graph Theory Research被引用数 3

ひとこと要約

本稿は、スパースなグラフクラスにおいて、パrameterizedグラフ問題を効率的に解くために、プログレッシブエクスプロレーションと呼ばれる新しいアルゴリズム的枠組みを導入する。モデル理論的性質—Helly性の変種（nfcp）および安定性—を活用することで、無向グラフのべき乗、マップグラフ、双クリークを含まないグラフなどのクラスにおいて、Distance-r Dominating SetおよびDistance-r Independent Setに対して線形時間固定パrameter可解（FPT）アルゴリズムを実現し、既知の可解境界を著しく拡張するとともに、実行時間を改善する。

ABSTRACT

We consider a generic algorithmic paradigm that we call progressive exploration, which can be used to develop simple and efficient parameterized graph algorithms. We identify two model-theoretic properties that lead to efficient progressive algorithms, namely variants of the Helly property and stability. We demonstrate our approach by giving linear-time fixed-parameter algorithms for the distance-r dominating set problem (parameterized by the solution size) in a wide variety of restricted graph classes, such as powers of nowhere dense classes, map graphs, and (for $r=1$) biclique-free graphs. Similarly, for the distance-r independent set problem the technique can be used to give a linear-time fixed-parameter algorithm on any nowhere dense class. Despite the simplicity of the method, in several cases our results extend known boundaries of tractability for the considered problems and improve the best known running times.

研究の動機と目的

• 制限されたグラフクラスにおけるパrameterizedグラフ問題を解くための汎用的で効率的なアルゴリズムフレームワークの開発。
• プログレッシブエクスプロレーションの効率的実装を保証するモデル理論的条件—具体的にはHelly性の変種（nfcp）および安定性—の同定。
• Distance-r Dominating SetおよびDistance-r Independent Setの固定パrameter可解境界を、部分グラフ閉じたクラスを超えて拡張すること。
• 無向グラフのべき乗、マップグラフ、双クリークを含まないグラフなどの広範なクラスにおいて、これらの問題に対する線形時間固定パrameter可解アルゴリズムの達成。

提案手法

• プログレッシブエクスプロレーションのパラダイムは、各ラウンドで候補解と証拠を段階的に構築し、前回までの不適可能性の証拠を用いて探索空間を精錬する。
• 各ラウンドにおける計算の効率性を保証するために、候補と証拠の整合性の第一階論理的定義可能性に依存する。
• モデル理論的概念であるnfcp（Helly性の変種）を用いることで、小さな証拠の存在を保証し、表現のcompactさと計算の効率性を確保する。
• 論理式の安定性により、ラウンド数がパrameter kに対して有界になることが保証され、固定パrameter可解性が得られる。
• Distance-r Dominating SetおよびDistance-r Independent Setへの適用は、グラフクラスのプロファイル複雑度ν_C^r(m)の分析を通じて行われる。
• 特に、無向グラフのべき乗およびマップグラフにおけるプロファイル複雑度の境界を求めるために、Ramsey理論的議論と構造的グラフ理論が活用される。

実験結果

リサーチクエスチョン

• RQ1 スパースグラフクラスにおける支配および独立問題の線形時間固定パrameter可解アルゴリズムを実現する汎用的アルゴリズムフレームワークを開発可能か？
• RQ2 プログレッシブエクスプロレーションが、小さな証拠とともに有界なラウンド数内で終了することを保証するモデル理論的性質は何か？
• RQ3 Distance-r Dominating SetおよびDistance-r Independent Setの可解境界を、部分グラフ閉じたクラスを超えてどの程度まで拡張可能か？
• RQ4 プロファイル複雑度ν_C^r(m)と半ラダーインデックスは、特定のグラフクラスにおけるプログレッシブエクスプロレーションの効率性とどのように関係するか？
• RQ5 この手法は、これらの問題に対して既存のアルゴリズムと比較して、改善された実行時間を達成可能か？

主な発見

• 本稿は、無向グラフのべき乗、マップグラフ、双クリークを含まないグラフ（r=1の場合）において、Distance-r Dominating Setに対してプログレッシブエクスプロレーションが線形時間固定パrameter可解アルゴリズムを実現することを確立した。
• Distance-r Independent Setに関しては、任意の無向グラフのべき乗クラスにおいて、線形時間固定パrameter可解アルゴリズムが得られる。
• 本手法は、既知の実行時間よりも改善され、部分グラフ閉じたクラスを超えた可解境界を拡張する。
• プロファイル複雑度ν_C^r(m)は、C = D^sの場合にν_D^{rs}(m)で有界であり、マップグラフCではν_P^{2r}(m)で有界である（DおよびPは無向グラフのべき乗クラス）。
• K_t,t-自由グラフでは、ν_C^1(m) = O(m^t)であり、これはプログレッシブエクスプロレーションフレームワーク内での効率的計算を可能にする。
• Ramsey理論的議論により、ある論理式の半ラダーインデックスが有界であれば、そのプロファイル複雑度が多項式的に有界であることが証明され、アルゴリズム内のラウンド数が有界であることが保証される。