[論文レビュー] Quasi-Polynomial Local Search for Restricted Max-Min Fair Allocation

Lukáš Poláček, Ola Svensson|arXiv (Cornell University)|May 7, 2012

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

ひとこと要約

本稿では、制限付き最大最小公平割り当て問題に対する準多項式時間の局所探索アルゴリズムを提示する。Asadpourらの局所探索を変更し、新たな実行時間解析を提供することで、$1/(4+\epsilon)$-近似保証を達成する。アルゴリズムは組み合わせ的であり、配置LPの明示的解法を回避しながら、その構造を解析に活用する。これにより、従来の指数時間の境界から$ n^{O(\log n)} $へ大きく改善される。主な貢献は、近似的に最適な性能保証を達成する多項式時間近似スキームの確立であり、この設定における局所探索の効率性に関する未解決の問題を解決する。

ABSTRACT

The restricted max-min fair allocation problem (also known as the restricted Santa Claus problem) is one of few problems that enjoys the intriguing status of having a better estimation algorithm than approximation algorithm. Indeed, Asadpour et al. proved that a certain configuration LP can be used to estimate the optimal value within a factor ${1}/{(4+ε)}$, for any $ε>0$, but at the same time it is not known how to efficiently find a solution with a comparable performance guarantee. A natural question that arises from their work is if the difference between these guarantees is inherent or because of a lack of suitable techniques. We address this problem by giving a quasi-polynomial approximation algorithm with the mentioned performance guarantee. More specifically, we modify the local search of Asadpour et al. and provide a novel analysis that lets us significantly improve the bound on its running time: from $2^{O(n)}$ to $n^{O(\log n)}$. Our techniques also have the interesting property that although we use the rather complex configuration LP in the analysis, we never actually solve it and therefore the resulting algorithm is purely combinatorial.

研究の動機と目的

• 制限付き最大最小公平割り当て問題における最良の既知の推定値と近似保証のギャップを埋める。
• Asadpour らの局所探索の指数時間実行時間が本質的であるのか、それとも分析が不十分なためかを特定する。
• 配置LPを解かずに、準多項式時間で$ 1/(4+\epsilon) $-近似を達成する局所探索アルゴリズムを開発する。
• LPの解に依存しない強力な性能保証を持つ組み合わせ的アルゴリズムを提供する。

提案手法

• Asadpour らの局所探索手順を変更し、実行時間解析を改善しながら$ 1/(4+\epsilon) $-近似保証を維持する。
• 交互木とブロッキングエッジに基づく新しい解析技術を導入し、反復回数の上限を設定する。
• 交互木構造から導かれる双対解を用いて、双対LPの無限大性を証明し、妥当性の矛盾を示し、近似境界を確立する。
• 交互木内のプレイヤーおよびリソースのレベルに基づくシグネチャーベクトルを定義し、進行状況を追跡し、探索空間の上限を設定する。
• プレイヤーおよびリソースへの双対変数の距離に基づく割り当てを用いて、双対妥当解$ (y^*, z^*) $を構築する。
• エッジサイズの有界性や最小ブロッキング集合といった、制限付きケースの構造的性質を活用し、双対の無限大性を示す不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Asadpour らの局所探索アルゴリズムを、$ 1/(4+\epsilon) $-近似保証を維持したまま、準多項式時間で実行可能に変更できるか。
• RQ2 元の局所探索の指数時間実行時間は本質的であるのか、それとも洗練された解析によって改善可能か。
• RQ3 配置LPを解かずに、完全に組み合わせ的な局所探索アルゴリズムが$ 1/(4+\epsilon) $-近似を達成できるか。
• RQ4 配置LPの整数性ギャップが$ 1/4$であることを踏まえ、組み合わせ的局所探索がこの近似を準多項式時間で達成できるか。

主な発見

• 提案された局所探索アルゴリズムは、制限付き最大最小公平割り当て問題に対して$ 1/(4+\epsilon) $-近似を達成する。
• 実行時間は$ 2^{O(n)} $から$ n^{O(\log n)} $に改善され、準多項式時間境界が確立された。
• アルゴリズムは組み合わせ的であり、配置LPの解法を必要としないが、解析にはそれを活用する。
• 交互木構造から導かれる双対解を用いて、双対LPの無限大性を証明し、矛盾を示すことで近似保証を確認する。
• 解析は、太いリソースと細いリソースを含む不等式を用いて交互木のサイズを上限づける。特に$ |B^{t}_{2D+2}| \leq \frac{\alpha-4}{3}\sum_{i=1}^{D}|B^{t}_{2i}| $という不等式が矛盾を導き、その結果が得られる。
• 任意の固定された$ \epsilon > 0 $に対して、$ 1/(4+\epsilon) $-近似を達成する多項式時間の組み合わせ的局所探索アルゴリズムが存在するという予想を支持する。