[論文レビュー] On the Complexity Landscape of Connected f-Factor Problems

Gregory Gutin, Magnus Wahlström+1 more|arXiv (Cornell University)|Aug 12, 2013

Advanced Graph Theory Research参考文献 22被引用数 3

ひとこと要約

本稿では、必要な弧集合 R の弱連結成分数 k に対して O*(2^k) 時間で動作する確率的アルゴリズムを提示し、有向ラーラルポストマン問題（DRPP）およびその無向版（URPP）を解く。有限体上の多項式恒等式テストと行列パーマネントに基づく代数的技法を用いて、ℓ（予算）が頂点数の多項式で有界であるという条件下で、DRPP が固定パrameter可TRACTABLE（FPT）であることを証明し、パrameterized 複雑性理論における長年の未解決問題を解決した。

ABSTRACT

Given an n-vertex graph G and a function f:V(G) -> {0, ..., n-1}, an f-factor is a subgraph H of G such that deg_H(v)=f(v) for every vertex v in V(G); we say that H is a connected f-factor if, in addition, the subgraph H is connected. A classical result of Tutte (1954) is the polynomial time algorithm to check whether a given graph has a specified f-factor. However, checking for the presence of a connected f-factor is easily seen to generalize Hamiltonian Cycle and hence is NP-complete. In fact, the Connected f-Factor problem remains NP-complete even when f(v) is at least n^epsilon for each vertex v and epsilon<1; on the other side of the spectrum, the problem was known to be polynomial-time solvable when f(v) is at least n/3 for every vertex v. In this paper, we extend this line of work and obtain new complexity results based on restricting the function f. In particular, we show that when f(v) is required to be at least n/(log n)^c, the problem can be solved in quasi-polynomial time in general and in randomized polynomial time if c <= 1. We also show that when c>1, the problem is NP-intermediate.

研究の動機と目的

• 必要な弧集合 R の弱連結成分数 k をパrameterとする有向ラーラルポストマン問題（DRPP）が、固定パrameter可TRACTABLE（FPT）であるかどうかという長年の未解決問題を解消すること。
• この結果を無向ラーラルポストマン問題（URPP）に拡張し、同じパラメータ依存の複雑さの境界が成り立つことを示すこと。
• DRPP とコネクティングバイパリットマッチング（CBM）問題の間の関係を確立し、|F|（必要な接続数）をパrameterとする場合に CBM も確率的 FPT であることを証明すること。
• Eulerian Extension（Eulerian拡張）問題（DRPP と同値）を効率的に解くための代数的フレームワークを提供すること。このフレームワークでは、有限体上の多項式パーマネントと行列行列式を用いる。
• ℓ が頂点数の多項式で有界であるという現実的な仮定のもとで、アルゴリズムが効率的に動作することを示すこと。

提案手法

• 著者たちは DRPP を、DRPP と同値な Eulerian Extension（EE）問題に還元し、それを代数的技法で解く。
• 特徴が 2 の体上で定義された多項式 Q(¯x, z) を導入し、構築されたグラフにおける完全マッチングを数える。この多項式は、拡張後のグラフが弱連結になるようなマッチングを列挙する。
• アルゴリズムは zeta 変換と動的計画法を用い、パス長を計算し行列演算で組み合わせることで、O*(2^k) 時間で多項式 Q(¯x, z) を評価する。
• コネクティングバイパリットマッチング（CBM）問題に対しては、補助変数 yf と z を含むチュッテ型行列の修正された行列式を用い、マッチング制約と総重みを符号化する。
• Lemma 18 を用いた多項式恒等式テスト技術を適用し、すべての必要な接続 f ∈ F が満たされ、かつ総重み（z の次数）が ℓ 以下であるような単項式を抽出する。
• 適切な r に対して GF(2^r) 上での確率的計算に依存し、最終的な決定は、すべての yf 変数を含む低次の単項式が行列式に存在するかどうかに基づく。

実験結果

リサーチクエスチョン

• RQ1 必要な弧集合 R の弱連結成分数 k をパrameterとする有向ラーラルポストマン問題（DRPP）は、固定パrameter可TRACTABLE（FPT）か？
• RQ2 同じ確率的 FPT アルゴリズムを無向ラーラルポストマン問題（URPP）に拡張できるか？
• RQ3 同じ予算制約のもとで、必要な接続数 |F| をパrameterとするコネクティングバイパリットマッチング（CBM）問題は FPT か？
• RQ4 多項式パーマネントや行列式に基づく代数的技法を用いて、パラメータ依存設定における Eulerian Extension 問題を効率的に解けるか？
• RQ5 この確率的アルゴリズムを決定的化できるか、それともランダムネスがこのアプローチにおいて本質的か？

主な発見

• 本稿では、ℓ が頂点数の多項式で有界である場合に、DRPP に対して O*(2^k) 時間で動作する確率的アルゴリズムを提示し、30年間にわたる未解決問題を解決した。
• 同様の O*(2^k) アルゴリズムが無向ラーラルポストマン問題（URPP）にも適用可能であり、有向版と無向版の両方が同じパrameter化のもとで確率的 FPT であることが示された。
• コネクティングバイパリットマッチング（CBM）問題は、|F|（必要な接続数）をパrameterとして、確率的 O*(2^|F|) 時間で解けることが示された。この結果は同じ予算制約のもとで成り立つ。
• DRPP と Eulerian Extension の同値性を活用し、有限体上の多項式パーマネントと行列行列式を用いた代数的技法を適用した。
• Lemma 18 を用いた多項式恒等式テストの新規応用により、すべての必要な接続と総重み制約を満たす有効なマッチングを抽出できた。
• アルゴリズムは多項式空間で動作し、ℓ が入力サイズに対して多項式的に有界であるという現実的な仮定のもとで効率的である。