[論文レビュー] Faster Deterministic Algorithms for Packing, Matching and $t$-Dominating Set Problems

Shenshi Chen, Zhixiang Chen|arXiv (Cornell University)|Jun 15, 2013

Complexity and Algorithms in Graphs参考文献 12被引用数 5

ひとこと要約

本稿では、群代数的手法を用いた多項式の多項式モノミアル検出の確率的アルゴリズムを非確率化することで、3つのNP困難問題—m-集合k-パッキング、m次元k-マッチング、t-ドミネーティングセット—の高速な決定的アルゴリズムを提示する。主な貢献は、それぞれ $ O^*(5.44^{mk}) $、$ O^*(5.44^{(m-1)k}) $、$ O^*(5.44^t) $ の時間計算量を達成したことであり、従来の決定的境界を顕著に改善するとともに、これらの問題において確率的性能と一致またはそれに近い結果を得た。

ABSTRACT

In this paper, we devise three deterministic algorithms for solving the $m$-set $k$-packing, $m$-dimensional $k$-matching, and $t$-dominating set problems in time $O^*(5.44^{mk})$, $O^*(5.44^{(m-1)k})$ and $O^*(5.44^{t})$, respectively. Although recently there has been remarkable progress on randomized solutions to those problems, our bounds make good improvements on the best known bounds for deterministic solutions to those problems.

研究の動機と目的

• パrameterized 複雑性における基本的NP困難問題の確率的アルゴリズムと決定的アルゴリズムの間のギャップを埋めること。
• m-集合k-パッキング、m次元k-マッチング、t-ドミネーティングセット問題における、これまでに知られていた最良の決定的時間計算量を改善すること。
• 多項式の多項式モノミアル検出に向けた、完全ハッシュ関数と群代数的技術に基づく非確率化フレームワークを構築すること。
• 特に小さなパrameter値に対して、最良の既知の確率的アルゴリズムに近い時間計算量を達成する決定的アルゴリズムを実現すること。
• 複数の問題バージョンにわたって $ O^*(5.44^k) $ の境界が一様な代数的アプローチにより達成可能であることを示すこと。

提案手法

• 完全ハッシュ関数を用いて、多項式に多項式モノミアルが存在するかをテストする確率的群代数的アルゴリズムを非確率化する。
• ランダム性を決定的にシミュレートするため、$ O^*(2.72^k) $ 個の完全ハッシュ関数の族を用い、関連するすべてのモノミアルが保持されることを保証する。
• 群代数の要素を $ \mathbb{F}[\mathbb{Z}_2^k] $ 上のベクトルとして表現し、ウォルシュ＝ハダマード変換を用いて効率的な算術演算を実現する。
• 元の式から、代数的演算をサポートする回路 $ \mathcal{C}'' $ を構築し、そのサイズは $ O(ns(n)) $ となる。ここで $ s(n) $ は式のサイズを表す。
• 結果の群代数的要素の係数のいずれかが非ゼロであるかを確認する決定的テスト（補題3）を適用する。これにより、モノミアルの存在が検出可能である。
• ハッシュ関数の列挙と代数的演算の組み合わせにより、合計時間計算量を $ O^*(2.72^k \cdot 2^k \cdot s^4(n)) = O^*(5.44^k s^4(n)) $ と評価し、多項式サイズの式では $ O^*(5.44^k) $ に簡略化される。

実験結果

リサーチクエスチョン

• RQ1 m-集合k-パッキングの決定的アルゴリズムは、これまでの最良の $ O^*(25.6^{mk}) $ の境界を著しく上回る速度で実行可能か？
• RQ2 m次元k-マッチングの決定的時間計算量は、$ O^*(13.78^{(m-1)k}) $ を超えて改善可能か？
• RQ3 t-ドミネーティングセットの $ O^*(2^t) $ の確率的アルゴリズムを非確率化しつつ、指数的時間の下限を維持できるか？
• RQ4 完全ハッシュ関数と群代数的技術の組み合わせにより、複数のNP困難問題に適用可能な統一的かつ効率的な非確率化フレームワークを構築可能か？
• RQ5 代数的および組合せ的非確率化を用いて、これらの問題の最良の決定的時間計算量の上限はどの程度までタイトにできるか？

主な発見

• 本稿では、m-集合k-パッキング問題に対して、$ O^*(5.44^{mk}) $ の決定的時間計算量を達成し、以前の最良の $ O^*(13.78^{mk}) $ よりも顕著に改善した。
• m次元k-マッチングに対しては、$ O^*(5.44^{(m-1)k}) $ 時間で実行可能であり、従来の決定的境界 $ O^*(13.78^{(m-1)k}) $ を上回った。
• t-ドミネーティングセット問題は $ O^*(5.44^t) $ 時間で解けるようになり、以前の決定的境界 $ O^*(16+ϵ)^t $ よりも改善された。
• 完全ハッシュ関数を用いた非確率化群代数的アプローチにより、指数的要因を $ 2^k $ から $ 5.44^k $ に削減した。
• 近似的に最適なハッシュ関数族と、一般に最適とされている代数的技術の組み合わせにより、近似的に最適な性能を達成した。
• 多項式サイズの式に対しては、全体の時間計算量は $ O^*(5.44^k) $ に簡略化され、小さなパrameter値に対して実用的であることが示された。