[論文レビュー] Integrality Gap of the Configuration LP for the Restricted Max-Min Fair Allocation

Siu-Wing Cheng, Yuchen Mao|arXiv (Cornell University)|Jul 11, 2018

Optimization and Search Problems参考文献 13被引用数 3

ひとこと要約

この論文は、構成形態の線形計画（LP）の整数性ギャップの上界を、4から23/6 ≈ 3.833に改善した。これは、スケーリングされたリソース値を用いてエッジ値を均等化する双対的分析を活用することで達成された。この手法は、構成形態から導かれるハイパーグラフ上で構成的なマッチングアルゴリズムを用い、任意のδ > 0に対して最適値の23/6 + δ以内の多項式時間近似を保証する。

ABSTRACT

The max-min fair allocation problem seeks an allocation of resources to players that maximizes the minimum total value obtained by any player. Each player $p$ has a non-negative value $v_{pr}$ on resource $r$. In the restricted case, we have $v_{pr}\in \{v_r, 0\}$. That is, a resource $r$ is worth value $v_r$ for the players who desire it and value 0 for the other players. In this paper, we consider the configuration LP, a linear programming relaxation for the restricted problem. The integrality gap of the configuration LP is at least $2$. Asadpour, Feige, and Saberi proved an upper bound of $4$. We improve the upper bound to $23/6$ using the dual of the configuration LP. Since the configuration LP can be solved to any desired accuracy $δ$ in polynomial time, our result leads to a polynomial-time algorithm which estimates the optimal value within a factor of $23/6+δ$.

研究の動機と目的

• 制限付き最大最小公平割り当て問題における構成形態LPの整数性ギャップについて、既知の下界2と以前の上界4の間のギャップを埋める。
• 構成形態LPの双対的分析を用いて、よりタイトな上界を導出する。
• 任意のδ > 0に対して、最適割り当ての23/6 + δ以内に近似できる多項式時間アルゴリズムを設計する。
• 従来の構成手法が最悪ケースのエッジ値仮定に依存するという制限を克服するため、リソーススケーリングによる均等化された双対値を導入する。

提案手法

• 制限付き最大最小公平割り当て問題における構成形態LPを定式化し、各プレイヤーが合計値がT以上であるリソースの部分集合を受け取ることを保証する。
• 構成形態LPの双対を導出し、大きなリソースの値を縮小することで、多数の高価値リソースを含むエッジの双対コストを低減する。
• ノードがプレイヤーを、ハイパーエッジが構成形態を表すハイパーグラフを構築する；ブロッキングシーケンスとしてのスリムエッジを用いてマッチングプロセスを誘導する。
• 双対的分析を適用し、ブロッカーと追加可能なエッジがカバーするリソースの総双対値を、1 − 4λ/3未満に制限する。
• シグニチャーベクトルを用いて、ブロッカー集合のシーケンスにおける辞書式減少に依存して、マッチング構築アルゴリズムの有限終了を証明する。
• 反復的ビルドおよびコントラクト操作を用いてハイパーグラフ内で完全マッチングを構築し、各プレイヤーが少なくともλ分のリソースを受け取ることを保証する。

実験結果

リサーチクエスチョン

• RQ1 制限付き最大最小公平割り当て問題における構成形態LPの整数性ギャップのタイトな上界は何か？
• RQ2 Asadpour, Feige, および Saberi が確立した4-近似の上限を、双対的分析によって上回ることは可能か？
• RQ3 双対LPにおけるリソース値のスケーリングは、高価値の構成形態およびエッジのコストをどのように均等化するか？
• RQ4 現在の制約のもとで、マッチングプロセスの構築アルゴリズムは有限かつ多項式時間で終了するか？
• RQ5 分析をさらに精緻化することで、23/6を下回る整数性ギャップにまでギャップを縮小できるか？

主な発見

• 制限付き最大最小公平割り当て問題における構成形態LPの整数性ギャップは、23/6以下であることが示され、以前の上界4を改善した。
• スケーリングされたリソース値を用いた双対LP分析により、ブロッカーおよび追加可能なエッジの総双対コストに対するよりタイトな均等化された上限が得られた。
• ブロッカー集合サイズのシグニチャーベクトルの辞書式減少に依存し、アルゴリズムの有限終了が保証され、そのステップ数はO(e^√m)で抑えられる。
• ハイパーグラフ内での完全マッチングにより、各プレイヤーが少なくともλ分のリソースを受け取ることを保証し、有効な(23/6 + δ)-近似が得られる。
• この結果は、任意のδ > 0に対して最適割り当ての23/6 + δ以内に近似できる多項式時間アルゴリズムが存在することを示唆する。
• 分析は、より知的ないくつかのエッジ選択戦略や、マッチング構築における非交差制約の緩和による改善の可能性を特定している。