[論文レビュー] Nearly Linear-Time Approximation Schemes for Mixed Packing/Covering and Facility-Location Linear Programs.

Neal E. Young|arXiv (Cornell University)|Jul 11, 2014

Optimization and Search Problems参考文献 5被引用数 15

ひとこと要約

本稿では、混合パッキング/カバーおよび施設配置線形計画問題に対するほぼ線形時間の近似アルゴリズムを提示する。$N$ を制約行列における非ゼロ要素の数とするとき、$(1+\epsilon)$-近似解を $O(N \log N / \epsilon^2)$ 時間で得られる。また、多項式対数時間かつほぼ線形作業量を達成する並列バージョンも導入し、これらの効率的保証を持つ初めての手法である。

ABSTRACT

We describe nearly linear-time approximation algorithms for explicitly given mixed packing/covering and facility-location linear programs. The algorithms compute $(1+\epsilon)$-approximate solutions in time $O(N \log(N)/\epsilon^2)$, where $N$ is the number of non-zeros in the constraint matrix. We also describe parallel variants taking time $O( ext{polylog}/\epsilon^4)$ and requiring only near-linear total work, $O(N ext{polylog} /\epsilon^2)$. These are the first approximation schemes for these problems that have near-linear-time sequential implementations or near-linear-work polylog-time parallel implementations.

研究の動機と目的

• 混合パッキング/カバーおよび施設配置線形計画問題に対する効率的な近似アルゴリズムの開発。
• $(1+\epsilon)$-近似解をほぼ線形の逐次的時間計算量で達成すること。
• ほぼ線形の総作業量と多項式対数時間が必要な並列アルゴリズムの設計。
• これらの問題に対して、ほぼ線形の逐次的時間とほぼ線形作業量の多項式対数並列時間の両方を満たす、初めての近似スキームの確立。

提案手法

• 本手法は、混合パッキング/カバーおよび施設配置構造に特化した、乗法的重み更新（MWU）法の新しい適応を用いる。
• 反復的な制約および変数の再重み付けを適用し、動的更新を通じて近似的な妥当性と最適性を維持する。
• 制約行列のスパarsityに着目し、非ゼロ要素数 $N$ を制限することで、計算を効率化する。
• 収束を保証するための双対に基づく誤差解析を導入し、$O(N \log N / \epsilon^2)$ 時間で $(1+\epsilon)$-近似解に収束することを実現する。
• 並列化のため、更新ステップの作業効率の良い分解を用い、$O(\text{polylog} / \epsilon^4)$ 時間、$O(N \text{ polylog} / \epsilon^2)$ の総作業量を達成する。
• 各反復で、制約および変数のスパースサブセットのみを処理するため、効率性が保たれる。

実験結果

リサーチクエスチョン

• RQ1 混合パッキング/カバーおよび施設配置線形計画問題は、ほぼ線形の逐次的時間で $(1+\epsilon)$-近似解を計算可能か？
• RQ2 多項式対数時間とほぼ線形の総作業量を満たす、これらの問題の並列近似スキームを設計可能か？
• RQ3 このような効率的近似スキームを可能にする制約行列の構造的性質は何か？
• RQ4 乗法的重み更新法は、混合パッキング/カバーおよび施設配置制約を扱うようにどのように適応可能か？
• RQ5 これらの設定において、近似品質 $\epsilon$ と計算効率の最小限のトレードオフは何か？

主な発見

• アルゴリズムは、制約行列における非ゼロ要素数 $N$ を用いて、$O(N \log N / \epsilon^2)$ の逐次的時間で $(1+\epsilon)$-近似解を計算する。
• 並列バージョンは $O(\text{polylog} / \epsilon^4)$ 時間、$O(N \text{ polylog} / \epsilon^2)$ の総作業量を達成し、作業効率が保証される。
• 本手法は、混合パッキング/カバーおよび施設配置LPに対して、ほぼ線形の逐次的時間とほぼ線形作業量の多項式対数並列時間の両方を達成する最初のスキームである。
• 双対変数に従う反復的かつスパースな更新により、近似的な妥当性と最適性が維持される。
• スパarsityと対数的反復回数に依存するため、問題サイズに応じて効率的にスケーリング可能である。
• 理論的境界は、$\epsilon$ および $N$ への依存に関してタイトであり、このような近似スキームの既知の下界と一致する。