[論文レビュー] Existence and Computation of Maximin Fair Allocations Under Matroid-Rank Valuations

Siddharth Barman, Paritosh Verma|arXiv (Cornell University)|Dec 23, 2020

Game Theory and Voting Systems参考文献 24被引用数 12

ひとこと要約

本稿では、マトロイドランク評価関数（資源割り当てにおける限界効果逓減をモデル化する非単調関数）を持つエージェントにおいて、最大最小公平配分（MMS）が常に存在し、多項式時間で計算可能であることを確立している。著者らは、社会的総生産を最大化するMMS配分が保証されることを証明し、戦略的な物品移動を通じて段階的に配分を改善することで、公平性と効率性の両方を達成する多項式時間アルゴリズムを提示している。

ABSTRACT

We study fair and economically efficient allocation of indivisible goods among agents whose valuations are rank functions of matroids. Such valuations constitute a well-studied class of submodular functions (i.e., they exhibit a diminishing returns property) and model preferences in several resource-allocation settings. We prove that, for matroid-rank valuations, a social welfare-maximizing allocation that gives each agent her maximin share always exists. Furthermore, such an allocation can be computed in polynomial time. We establish similar existential and algorithmic results for the pairwise maximin share guarantee as well. To complement these results, we show that if the agents have binary XOS valuations or weighted-rank valuations, then maximin fair allocations are not guaranteed to exist. Both of these valuation classes are immediate generalizations of matroid-rank functions.

研究の動機と目的

• マトロイドランク評価関数下での最大最小公平配分（MMS）が常に存在するかどうかという未解決問題を解消すること。
• 社会的総生産を最大化するMMS配分を多項式時間で計算するアルゴリズムの開発。
• 同じ評価関数クラスにおいて、対比較最大最小共有（PMMS）基準の公平性保証を拡張すること。
• MMS存在の境界を特定し、二値XOSおよび重み付きランク評価関数ではMMS配分が存在しないことを示すこと。
• 非単調評価関数設定下でMMS、PMMS、社会的総生産最大化の関係を確立すること。

提案手法

• アルゴリズムは社会的総生産を最大化する初期配分から出発し、エージェント間の物品移動を通じてPMMS条件を満たすように段階的に改善する。
• マトロイド拡張性質を用いて、社会的総生産を低下させずにエージェントiのバケツに移動可能な物品を特定する。
• 移動により、∑v_k(A_k)² の和が厳密に減少するため、最大m²ステップで収束が保証される。
• v_i(A_i) < μ_i(2, A_i ∪ A_j) ならば |A_j| ≥ |A_i| + 2 であることが、有効な移動を可能にする。
• アルゴリズムは社会的総生産最大化を維持し、PMMS配分で終了する。
• 改善ステップの有限収束性と正しさにより、このような配分の存在が保証される。

実験結果

リサーチクエスチョン

• RQ1 エージェントがマトロイドランク評価関数を持つ場合、常に最大最小公平配分（MMS）が存在するか？
• RQ2 マトロイドランク評価関数下で、社会的総生産を最大化するMMS配分を多項式時間で計算可能か？
• RQ3 この設定において、対比較最大最小共有（PMMS）保証も同時に達成可能で、効率的に計算可能か？
• RQ4 マトロイドランク関数を一般化する評価関数クラスの中で、MMS配分が保証されないものはあるか？
• RQ5 非単調評価関数設定下で、MMS、PMMS、社会的総生産最大化の関係は何か？

主な発見

• マトロイドランク評価関数を有するすべてのインスタンスにおいて、最大最小公平配分（MMS）が保証される。
• 局所的改善アルゴリズムを用いることで、社会的総生産を最大化するMMS配分を多項式時間で計算可能である。
• 同じアルゴリズムにより、社会的総生産を最大化する対比較最大最小共有（PMMS）配分も同時に計算可能である。
• 物品数mを用いて、∑v_k(A_k)² の和が厳密に減少するため、アルゴリズムは最大m²回の反復で収束する。
• 二値XOSまたは重み付きランク評価関数では、一般にMMS配分は存在しないが、これらはマトロイドランク関数の一般化である。
• 社会的総生産を最大化し、PMMSを満たす配分は、1/(2n)-近似MMS配分であることが示され、定量的公平性トレードオフが確立された。