[論文レビュー] The Fair Division of Hereditary Set Systems

Zhentao Li, Adrian Vetta|arXiv (Cornell University)|Dec 22, 2018

Game Theory and Voting Systems参考文献 16被引用数 4

ひとこと要約

この論文は、遺伝的集合系における公平配分の多項式時間アルゴリズムを提示する。アイテムは、各エージェントがその最大最小共有（MMS）の少なくとも0.3636倍の価値を持つバンドルを受け取るように割り当てられる。この手法は価値クエリを用いた反復的近似を用い、以前の0.2の保証を改善しており、解析によりこの保証は0.3738に非常に近いことが示されている。

ABSTRACT

We consider the fair division of indivisible items using the maximin shares measure. Recent work on the topic has focused on extending results beyond the class of additive valuation functions. In this spirit, we study the case where the items form an hereditary set system. We present a simple algorithm that allocates each agent a bundle of items whose value is at least $0.3636$ times the maximin share of the agent. This improves upon the current best known guarantee of $0.2$ due to Ghodsi et al. The analysis of the algorithm is almost tight; we present an instance where the algorithm provides a guarantee of at most $0.3738$. We also show that the algorithm can be implemented in polynomial time given a valuation oracle for each agent.

研究の動機と目的

• 可能なアイテムの部分集合が制限される制約付きの非分割アイテムの公平配分を扱う。
• 最大最小共有基準における公平性の近似保証を、以前の0.2の上限を超えて向上させること。
• 価値オラクルのみを用いて多項式時間で実行可能なアルゴリズムを設計すること。
• 近似保証のタイトネスを、ほぼ一致する上界インスタンスを用いて分析すること。

提案手法

• 最大最小共有値の二分探索に類似したアプローチを用い、価値クエリを繰り返し用いて推定値を段階的に改善する。
• 候補となるバンドルの集合を維持し、高い価値を持つ実行可能割当に含まれない可能性のあるアイテムを削除する手順を適用する。
• 重要なサブルーチンとして、現在のバンドルからどのアイテムを削除しても、実行可能性または価値の閾値を破壊しないかを評価する。
• 実行可能バンドルのすべての部分集合が実行可能であるという遺伝的性質を活用し、探索空間を単純化する。
• 各エージェントの最大最小共有の推定値を段階的に狭めるために乗法的近似係数（1−δ）を用いる。
• MMSの上界と下界の価値比の対数スケーリングを用いることで、反復回数を制限し、多項式時間での実装を達成する。

実験結果

リサーチクエスチョン

• RQ1 最大最小共有基準における遺伝的集合系の公平配分について、0.2を上回るより良い近似保証が達成可能か。
• RQ2 価値オラクルのみを用いて、改善された公平性保証を達成する多項式時間アルゴリズムは存在するか。
• RQ3 提案されたアルゴリズムの性能は理論的最適値にどの程度近いか、その差を定量的に評価できるか。
• RQ4 マトロイドのような構造的クラスでは、アルゴリズムの性能が著しく低下するか、あるいは増幅公理を活用してより良い保証を得られるか。
• RQ5 マトロイドベースのシステムにおける結合可能性制約を扱うために、アルゴリズムを拡張可能か。

主な発見

• 提案されたアルゴリズムは、各エージェントが自身の最大最小共有の少なくとも0.3636倍の価値を持つバンドルを受け取ることを保証し、以前の0.2の保証を改善している。
• アルゴリズムの性能が最大0.3738に留まるインスタンスが構築され、保証が0.0072の差でほぼタイトであることが示された。
• 価値オラクルクエリのみを用いて多項式時間で実行可能であり、大規模な設定において実用的である。
• 任意のδ>0に対して、(1−δ)·(4/11)の近似を達成し、4/11 ≈ 0.3636が限界保証となる。
• 解析により、反復的精錬と不変条件の維持を通じて、近似比の下限が保たれることを確認した。
• 上界インスタンスはパーティションマトロイドであり、増幅公理のようなより強い構造的性質を活用しない限り、現在の保証は改善できない可能性がある。