[論文レビュー] Deterministic Parameterized Algorithms for Matching and Packing Problems

Meirav Zehavi|arXiv (Cornell University)|Nov 3, 2013

Optimization and Packing Problems参考文献 1被引用数 11

ひとこと要約

本稿では、重み付き $q$-次元 $p$-マッチング ((q,p)-WDM) および重み付き $q$-集合 $p$-パッキング ((q,p)-WSP) の決定的パrameterizedアルゴリズムを提示し、時間計算量を改善した。それぞれ $O^{*}(2.85043^{(q-1)p})$ で (q,p)-WDM を解き、未重み付き (3,p)-WDM では $O^{*}(8.04143^p)$、(q,p)-WSP では $O^{*}((0.56201 \cdot 2.85043^q)^p)$ の時間計算量を達成した。また、$O(e^q q(p-1)^q)$ のカーネルサイズを導入し、従来の $O(q! q(p-1)^q)$ の境界を改善した。

ABSTRACT

We present three deterministic parameterized algorithms for well-studied packing and matching problems, namely, Weighted q-Dimensional p-Matching ((q,p)-WDM) and Weighted q-Set p-Packing ((q,p)-WSP). More specifically, we present an O*(2.85043^{(q-1)p}) time deterministic algorithm for (q,p)-WDM, an O*(8.04143^p) time deterministic algorithm for the unweighted version of (3,p)-WDM, and an O*((0.56201\cdot 2.85043^q)^p) time deterministic algorithm for (q,p)-WSP. Our algorithms significantly improve the previously best known O* running times in solving (q,p)-WDM and (q,p)-WSP, and the previously best known deterministic O* running times in solving the unweighted versions of these problems. Moreover, we present kernels of size O(e^qq(p-1)^q) for (q,p)-WDM and (q,p)-WSP, improving the previously best known kernels of size O(q!q(p-1)^q) for these problems.

研究の動機と目的

• 重み付き $q$-次元 $p$-マッチング ((q,p)-WDM) および重み付き $q$-集合 $p$-パッキング ((q,p)-WSP) 問題に対する、より高速な決定的パrameterizedアルゴリズムの開発。
• 特に決定的設定において、これらの問題に対する従来の最良 $O^{*}$ 時間計算量を改善すること。
• (q,p)-WDM および (q,p)-WSP 両方の問題に対して、よりタイトなカーネル化境界を提示し、$O(q! q(p-1)^q)$ から $O(e^q q(p-1)^q)$ へとサイズを縮小すること。
• 未重み付き (3,p)-WDM のケースにおいて、実行時間の大幅な改善を達成し、指数部の基数を 8.125 から 8.04143 へと低下させること。

提案手法

• 新しい再帰的分解と重みに基づく枝狩りを用いた (q,p)-WDM の決定的アルゴリズムの設計により、$O^{*}(2.85043^{(q-1)p})$ の実行時間を得た。
• 構造的制約を活用して未重み付き (3,p)-WDM ケースのアルゴリズムを最適化し、$O^{*}(8.04143^p)$ の実行時間を得た。
• 最適重み和を保持する変換を介して、(q,p)-WSP へのアプローチを拡張し、$O^{*}((0.56201 \cdot 2.85043^q)^p)$ の時間計算量を持つアルゴリズムを構築した。
• 重みと互いに素な制約に基づく代表的タプルの選択により、入力サイズを $O(e^q q(p-1)^q)$ に削減するカーネル化アルゴリズム (WDM-Ker) を導入した。
• WDM-Ker をわずかに変更することで (q,p)-WSP に適応した (WSP-Ker) を構築し、同じカーネルサイズと正しさの保証を維持した。
• 再帰的補題を用いて、元のインスタンスにおける任意の最適解が、カーネル化されたインスタンスにおいて重みが等しいかそれ以上の解に対応することを証明した。

実験結果

リサーチクエスチョン

• RQ1 決定的設定において、(q,p)-WDM の $O^{*}$ 実行時間は、従来の最良境界 $O^{*}(4^{(q-1)p+o(qp)})$ よりも改善可能か？
• RQ2 (q,p)-WDM および (q,p)-WSP に対して、$q!$ 依存性を $e^q$ にまで縮小できるよりタイトなカーネルサイズが達成可能か？
• RQ3 未重み付き (3,p)-WDM のケースにおいて、既知の決定的境界を超えてさらに実行時間を最適化可能か？
• RQ4 同じアルゴリズムフレームワークを (q,p)-WSP に拡張し、著しく改善された $O^{*}$ 時間計算量を達成可能か？

主な発見

• 本稿では、$O^{*}(2.85043^{(q-1)p})$ の実行時間を持つ (q,p)-WDM の決定的アルゴリズムを提示し、従来の最良決定的境界 $O^{*}(4^{(q-1)p+o(qp)})$ よりも改善した。
• 未重み付き (3,p)-WDM 問題に対しては、$O^{*}(8.04143^p)$ の実行時間で動作するアルゴリズムを提示し、従来の決定的境界 $O^{*}(8.125^p)$ よりも顕著な改善を達成した。
• 重み付き $q$-集合 $p$-パッキング (q,p)-WSP に対しては、$O^{*}((0.56201 \cdot 2.85043^q)^p)$ の実行時間を持つ決定的アルゴリズムを構築し、従来の決定的境界を改善した。
• 本稿では、(q,p)-WDM および (q,p)-WSP の両方に対して、$O(e^q q(p-1)^q)$ のカーネルサイズを導入し、従来の $O(q! q(p-1)^q)$ の境界を改善した。
• カーネル化アルゴリズム WDM-Ker は、$O([ ext{min}(|{rak S}|, e^q (p-1)^q)]^{ ilde{w}-1} |{rak S}| q^2 \nlog|igcup U|)$ の時間で実行され、正しさとサイズの境界を保証する。
• 理論的解析により、元のインスタンスにおける任意の最適解が、カーネル化されたインスタンスにおいて重みが等しいかそれ以上の解に対応することを確認した。