[論文レビュー] Equitable Allocations of Indivisible Goods

Rupert Freeman, Sujoy Sikdar+2 more|arXiv (Cornell University)|May 25, 2019

Game Theory and Voting Systems参考文献 46被引用数 5

ひとこと要約

本稿は加法的評価関数における分割不能財の公平配分を検討し、等価性（EQ1）とパレート最適性（PO）を同時に満たすアルゴリズムを提案する。正の評価値に対しては擬多項式時間アルゴリズムを提示し、EQ1+PO配分が存在し、特殊な場合に効率的に計算可能であることを証明する一方で、一般には強いNP困難性を示す。また、EQx+PO配分におけるサンタクロース問題に対する近似保証も確立する。

ABSTRACT

In fair division, equitability dictates that each participant receives the same level of utility. In this work, we study equitable allocations of indivisible goods among agents with additive valuations. While prior work has studied (approximate) equitability in isolation, we consider equitability in conjunction with other well-studied notions of fairness and economic efficiency. We show that the Leximin algorithm produces an allocation that satisfies equitability up to any good and Pareto optimality. We also give a novel algorithm that guarantees Pareto optimality and equitability up to one good in pseudopolynomial time. Our experiments on real-world preference data reveal that approximate envy-freeness, approximate equitability, and Pareto optimality can often be achieved simultaneously.

研究の動機と目的

• 加法的評価関数下での分割不能財の公平的配分の存在と計算可能性を調査すること。特にパレート最適性（PO）と併せたものに焦点を当てる。
• 先行研究における近似公平性（EQx、EQ1）を拡張し、公平性と経済的効率性を統合することで、既存の文献におけるギャップを埋める。
• 公平的かつパレート最適な配分が共存可能かどうかを特定し、その条件と計算複雑性を同定すること。
• サンタクロース問題におけるEQx+POおよびEQ1+PO配分の近似品質を評価すること。これは、古典的な公平配分の目的関数である。
• Splidditから得た実世界の好みデータを用いて理論的知見を検証し、実際の状況において近似した envy-freeness、等価性、パレート最適性を達成可能かどうかを評価すること。

提案手法

• 正の評価値に対してEQ1+PO配分を保証する新しい擬多項式時間アルゴリズムを提案。反復的精錬と効用のバランス調整を活用する。
• Leximinアルゴリズムを用いてEQx+PO配分を達成し、任意の財に対して等価性が満たされ、かつパレート最適性を満たすことを証明する。
• 還元技術を適用し、一般にEQ+POまたはEQx+PO配分を求めることが、強いNP困難であることを示す。二値評価値に対しても同様である。
• EQx+PO配分において、最高効用を持つ参加者に割り当てられる財の数を $ c $ とすると、サンタクロース問題に対するタイトな近似境界 $ (1 - 1/c) $ を導出する。
• 構成的証明戦略を用いて、同一評価値を持つ場合にEQ1配分がサンタクロース目的関数に対して $ \frac{1}{n} $-近似を与えることを示す。
• 実世界のデータ（Spliddit）を用いた実験を通じて理論的結果を検証し、近似した envy-freeness、等価性、パレート最適性の同時達成度を測定する。

実験結果

リサーチクエスチョン

• RQ1 加法的評価関数下での分割不能財に対して、常に等価性（EQ1 または EQx）かつパレート最適性（PO）を満たす配分が存在するか？
• RQ2 EQ1+PO や EQx+PO 配分を求める計算複雑性は何か？また、二値評価値や同一評価値といった特殊な場合に、効率的に計算可能か？
• RQ3 EQx+PO 配分はサンタクロース問題に対して非自明な近似を提供できるか？また、得られる最良の近似比は何か？
• RQ4 一度の配分で近似した envy-freeness（EF1）、等価性（EQ1）、パレート最適性（PO）を同時に達成することは可能か？
• RQ5 理論的公平性保証は、特に実世界の好みデータにおいて、実際の状況でどの程度有効に機能するか？

主な発見

• 正の評価値に対して、EQx+PO 配分は常に存在し、多項式時間で計算可能であり、従来の結果を強化する。
• 二値評価値の場合、EQ1+PO 配分は多項式時間で計算可能であるが、一般の場合には強いNP困難である。
• サンタクロース問題は、最高効用を持つ参加者に $ c $ 個の財が割り当てられる任意の EQx+PO 配分によって、$ (1 - 1/c) $ の近似比で近似可能であり、この境界はタイトである。
• 同一評価値の場合、任意の EQ1 配分は最適なサンタクロース配分に対して $ \frac{1}{n} $-近似を与える。この境界もタイトである。
• EQ1+EF1+PO を同時に満たす配分が存在しないインスタンスが存在し、一般にはそのような配分を求めることが強いNP困難である。
• Splidditデータを用いた実験から、近似した envy-freeness、近似した等価性、パレート最適性が実際にはしばしば同時に達成可能であることが示された。