[論文レビュー] Budget-feasible Maximum Nash Social Welfare Allocation is Almost Envy-free

Xiaowei Wu, Bo Li+1 more|arXiv (Cornell University)|Dec 7, 2020

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

ひとこと要約

この論文は、各アイテムにコストがあり、エージェントが個々の予算を持つ予算制約下での最大ネーション社会厚生（NSW）配分の公平性特性を研究する。最大NSW配分が常に envy-freeness up to one good（EF1）の1/4近似であることを証明しており、予算対コスト比が増加するにつれてこの比は1/2に改善され、構築された例によってそのタイトネスが示されている。

ABSTRACT

The Nash social welfare (NSW) is a well-known social welfare measurement that balances individual utilities and the overall efficiency. In the context of fair allocation of indivisible goods, it has been shown by Caragiannis et al. (EC 2016 and TEAC 2019) that an allocation maximizing the NSW is envy-free up to one good (EF1). In this paper, we are interested in the fairness of the NSW in a budget-feasible allocation problem, in which each item has a cost that will be incurred to the agent it is allocated to, and each agent has a budget constraint on the total cost of items she receives. We show that a budget-feasible allocation that maximizes the NSW achieves a 1/4-approximation of EF1 and the approximation ratio is tight. The approximation ratio improves gracefully when the items have small costs compared with the agents' budgets; it converges to 1/2 when the budget-cost ratio approaches infinity.

研究の動機と目的

• アイテムのコストとエージェントの予算制約がある予算実現可能な設定における最大ネーション社会厚生（NSW）配分の公平性を分析すること。
• 予算制約下でも、最大NSW配分が、1つのアイテムを除いた envy-freeness（EF1）のような公平性保証を維持するかどうかを特定すること。
• 最大NSW配分のEF1公平性への近似比を定量化し、この比が予算対コスト比にどのように依存するかを研究すること。
• 公平性近似のタイトな境界を確立し、最悪ケースにおいて1/4が最良の可能比であることを示すこと。
• 予算対コスト比が増加するにつれて公平性がどのように向上するかを探索し、大予算極限において1/2-EF1への滑らかな収束を導出すること。

提案手法

• 各アイテムにコストがあり、各エージェントが割り当てられたアイテムの合計コストに予算制約を課す予算実現可能な配分問題を形式化すること。
• 予算制約に適応した新しい公平性概念、EF1を定義する：エージェント i がエージェント j を羨むのは、i の予算内で j のバンドルの部分集合を選び、最も価値の高いアイテムを除いたとしても、i の価値が厳密に上回らない場合に限る。
• 矛盾に基づく議論を用いて、最大NSW配分が常に1/4-EF1であることを証明する。仮想の配分を構築し、NSWを改善することで矛盾を導く。
• 予算対コスト比が1であるタイトな例を構築し、1/4が最良の可能近似比であることを示す。
• 大予算の状態を分析し、κ を最小の予算対コスト比として、滑らかな近似比 (1/2 - 5/κ^{1/4})-EF1 を導出する。
• 分数アイテム分割技術を用いて、コストと価値をサブセット間でバランスさせ、NSW値を比較可能な中間的配分を構築する。

実験結果

リサーチクエスチョン

• RQ1 予算制約が導入された場合、最大NSW配分は依然としてEF1の性質を満たすか？
• RQ2 予算実現可能な設定において、最大NSW配分のEF1公平性への最良の近似比は何か？
• RQ3 予算対コスト比が増加するにつれて、公平性近似比はどのように変化するか？
• RQ4 どのレジームでも1/4を超える近似比を改善できるか、もしそうならどのような条件下で可能か？
• RQ5 予算対コスト比が無限大に近づくにつれて、1/2-EF1への滑らかな収束が見られるか？

主な発見

• 最大NSW配分は常に1/4-EF1であり、これは最悪ケースにおいて、どのエージェントも他のエージェントを1つのアイテムの価値分を超えて羨まないことを意味する。
• 1/4の近似比はタイトであることが、最大NSWが正確に1/4-EF1を達成する構築例によって示されている。
• 予算対コスト比κが無限大に近づく大予算の状態では、近似比は1/2に収束する。
• 公平性近似はκの増加に伴い滑らかに向上し、(1/2 - 5/κ^{1/4})-EF1という境界に従う。
• この結果は、最大NSWが予算制約下でも強力な公平性近似を維持することを示しており、予算がアイテムコストに対して増加するにつれて性能が向上することを示している。
• 本論文は、1/4-EF1配分が常に存在し、この設定においてパレート最適であることを確立しているが、正確なEF1配分が常に存在するとは限らない。