[論文レビュー] On the Feasibility of Maintenance Algorithms in Dynamic Graphs

Arnaud Casteigts, Bernard Mans+1 more|arXiv (Cornell University)|Jul 14, 2011

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

ひとこと要約

この論文は、パラメータ化近似のW[1]-hardnessが、指数時間/ステップを許容しても動的グラフにおける効率的なメンテナンスアルゴリズムの不可能性を示している。r-Regular SubgraphはW[1]-hardであるため、このようなアルゴリズムを有しないが、Vertex Coverは2-近似、1-局所的メンテナンスアルゴリズムを有する。これは、固定パラメータ可 tractabilityがメンタナビリティの必要条件ではあるが十分条件ではないことを示している。

ABSTRACT

Near ubiquitous mobile computing has led to intense interest in dynamic graph theory. This provides a new and challenging setting for algorithmics and complexity theory. For any graph-based problem, the rapid evolution of a (possibly disconnected) graph over time naturally leads to the important complexity question: is it better to calculate a new solution from scratch or to adapt the known solution on the prior graph to quickly provide a solution of guaranteed quality for the changed graph? In this paper, we demonstrate that the former is the best approach in some cases, but that there are cases where the latter is feasible. We prove that, under certain conditions, hard problems cannot even be approximated in any reasonable complexity bound --- i.e., even with a large amount of time, having a solution to a very similar graph does not help in computing a solution to the current graph. To achieve this, we formalize the idea as a maintenance algorithm. Using r-Regular Subgraph as the primary example we show that W[1]-hardness for the parameterized approximation problem implies the non-existence of a maintenance algorithm for the given approximation ratio. Conversely we show that Vertex Cover, which is fixed-parameter tractable, has a 2-approximate maintenance algorithm. The implications of NP-hardness and NPO-hardness are also explored.

研究の動機と目的

• 動的グラフにおけるメンテナンスアルゴリズムの可能性を特定すること。
• 過去のグラフ状態の既存の解が、再計算ではなく、効率的に再適応可能となる条件を同定すること。
• パラメータ化近似複雑性とメンテナンスアルゴリズムの存在との関係を形式化すること。
• 効率的な近似メンテナンス戦略を有するかどうかに基づいて、動的グラフ問題を分類すること。

提案手法

• メンテナンスアルゴリズムを、変更されたグラフの解を、過去の解の知識を用いて更新する手法として形式化すること。
• パラメータ化複雑性理論を用いて、近似解のメンテナンスの tractability を分析すること。
• パラメータ化近似問題におけるW[1]-hardnessが、指数時間/ステップを許容してもメンテナンスアルゴリズムの存在を否定することを証明すること。
• r-Regular Subgraphのような問題が、パラメータ化近似においてW[1]-hardであることを示し、これによりメンテナンスが不可能であることを立証すること。
• 最大マッチングを代理として用い、1-局所的で2-近似のメンテナンスアルゴリズムを構築すること。
• 既知のカーネル化および還元規則を用いて、メンテナンスアルゴリズムのベースラインパフォーマンス目標を導出すること。

実験結果

リサーチクエスチョン

• RQ1 動的変化するグラフにおいて、過去のグラフ状態の解が、保証された近似品質を維持するために、どのように効率的に更新可能か？
• RQ2 パラメータ化近似問題におけるW[1]-hardnessは、指数時間/更新を許容しても、いかなるメンテナンスアルゴリズムの存在をも根絶するか？
• RQ3 固定パラメータ可 tractableな問題、たとえばVertex Coverは、動的変化に対しても効率的な近似メンテナンスアルゴリズムを有するか？
• RQ4 メンタナビリティが可能または不可能である要因となる、固定パラメータ可 tractabilityを超える構造的性質は何か？
• RQ5 局所性と近似比は、動的グラフ問題のメンテナンスアルゴリズムにおいてどのように相互作用するか？

主な発見

• パラメータ化近似問題におけるW[1]-hardnessは、指数時間/ステップを許容しても、指定された近似比に対するメンテナンスアルゴリズムが存在しないことを示唆する。
• r-Regular Subgraph問題は、パラメータ化近似においてW[1]-hardであるため、いかなるメンテナンスアルゴリズムも排除される。
• Vertex Coverは固定パラメータ可 tractableであるため、最大マッチングを維持することで、1-局所的で2-近似のメンテナンスアルゴリズムを有する。
• Vertex Coverの2-近似は、エッジの削除後に頂点を再ペアリングし、エッジの挿入後に新しいペアを追加することで、局所的更新によって維持される。
• 本研究は、パラメータ化近似複雑性とメンテナンスアルゴリズムの可能性との間に強い関連性を確立し、FPTがメンタナビリティの必要条件ではあるが十分条件ではないことを示唆している。
• 結果から、標準的な複雑性クラスを超える、より深い構造的性質（おそらく局所性や段階的還元可能性に関連するもの）が、効果的なメンテナンスアルゴリズムの存在を規定している可能性がある。