[論文レビュー] On Fair Division of Indivisible Items

Bhaskar Chaudhury, Yun Kuen Cheung+4 more|arXiv (Cornell University)|May 16, 2018

Game Theory and Voting Systems被引用数 8

ひとこと要約

本稿では、限界効用の逓減と利用可能効用上限を伴う分割不能なアイテムの公平配分に対する多項式時間近似アルゴリズムを提示し、ネ什社会厚生（NSW）の近似要因として $e^{1/e} \approx 1.445$ を達成する。アルゴリズムは、$2 + \varepsilon$ の要因内で1つのアイテムを除く近似的な envy-freeness を保証し、近似的なパレート最適性を維持する一方で、最適NSWに対する2つの代表的な上限値（CG上限値とBMV上限値）が値として等価であることを証明する。

ABSTRACT

We consider the task of assigning indivisible goods to a set of agents in a fair manner. Our notion of fairness is Nash social welfare, i.e., the goal is to maximize the geometric mean of the utilities of the agents. Each good comes in multiple items or copies, and the utility of an agent diminishes as it receives more items of the same good. The utility of a bundle of items for an agent is the sum of the utilities of the items in the bundle. Each agent has a utility cap beyond which he does not value additional items. We give a polynomial time approximation algorithm that maximizes Nash social welfare up to a factor of $e^{1/{e}} \approx 1.445$. The computed allocation is Pareto-optimal and approximates envy-freeness up to one item up to a factor of $2 + \eps$

研究の動機と目的

• 限界効用の逓減と利用可能効用上限を伴う分割不能な財の公平配分のための多項式時間近似アルゴリズムを開発すること。
• 利用可能効用の幾何平均に基づく公平性指標（ネッシュ社会厚生NSW）に対する有界な近似比を達成すること。
• 配分が1つのアイテムを除く近似的な envy-freeness であり、かつ近似的にパレート最適であることを保証すること。
• 既知の最適NSWの2つの上限値（CG上限値とBMV上限値）が等価であることを確立すること。

提案手法

• 各エージェントのアイテム固有の評価を用いて、利用可能効用を定式化し、逓減効用をモデル化することで、公平配分問題を定式化する。
• 最適NSWの上限値を計算するための数学的計画問題 $P_S$ を導入し、双対変数とKKT条件を用いる。
• 支出制限付きフェイザー市場均衡の概念を用いてCG上限値を導出し、KKT最適性条件を通じてそれをBMV上限値と関連付ける。
• 変数変換を適用して、$P_S$ の最適解を支出制限付きフェイザー市場に写像し、CG上限値とBMV上限値の等価性を証明する。
• 分数市場配分を整数配分に変換するラウンド化手順を用い、NSWと envy-freeness の近似を達成する。
• 近似比分析のベンチマークとしてBMV上限値を用い、アルゴリズムが $e^{1/e} + \varepsilon$ の近似比を達成することを示す。

実験結果

リサーチクエスチョン

• RQ1 限界効用の逓減と利用可能効用上限を伴う分割不能なアイテムの公平配分において、多項式時間アルゴリズムがネッシュ社会厚生（NSW）の定数倍近似を達成できるか？
• RQ2 支出制限付きフェイザー市場から導かれるCG上限値は、envy-freeness と MBB 条件から導かれるBMV上限値と値として等価か？
• RQ3 得られる配分はどの程度まで1つのアイテムを除く近似的な envy-freeness を満たすか？
• RQ4 利用可能効用上限の存在下でも、アルゴリズムは近似的にパレート最適性をどのように維持するか？
• RQ5 異なる理論的枠組みから導かれる最適NSWの上限値は、統合可能か？

主な発見

• 提案されたアルゴリズムは、ネッシュ社会厚生（NSW）に対して $e^{1/e} + \varepsilon \approx 1.445 + \varepsilon$ の近似比を達成し、先行研究で得られた最高の境界と一致する。
• アルゴリズムは、$2 + \varepsilon$ の要因内で1つのアイテムを除く近似的な envy-freeness を満たす配分を生成する。
• 配分は近似的にパレート最適であり、特に利用可能効用上限のないインスタンスでは顕著である。
• 最適NSWのCG上限値とBMV上限値が同一の値を有することを証明し、重要な理論的問いに解答を提示する。
• KKT条件と支出制限付きフェイザー市場への変換を通じて、両上限値が同一の最適化構造から生じることを示し、等価性を確立する。
• アルゴリズムは多項式時間で実行可能であり、分割不能財配分における市場均衡、公平性、近似保証を統合するフレームワークを提供する。