[論文レビュー] Fair Cake-Cutting among Groups

Erel Segal-Halevi, Shmuel Nitzan|arXiv (Cornell University)|Oct 13, 2015

Game Theory and Voting Systems被引用数 3

ひとこと要約

本稿は、六つの集約手法（四つの基数的福利関数と二つの順序的選好関係）を用いて、グループの価値を定義することで、フェアなケーキ分割をグループに拡張する。選ばれたグループ価値関数の選択が、フェアな分割プロトコルの存在と適用可能性に顕著に影響することを示している。

ABSTRACT

This paper extends the classic cake-cutting problem from individual agents to groups of agents. Applications include dividing a land-estate among families or dividing disputed lands among states. In the standard cake-cutting model, each *agent* should receive an individual subset of the cake with a sufficiently high individual In our model, each *group* should receive a subset with a sufficiently high value. Six ways to define the aggregate group value based on the values of the group members are examined: four based on cardinal welfare functions and two based on ordinal preference relations. Our results show that the choice of the group value function has crucial implications on the existence and applicability of fair division protocols.

研究の動機と目的

• 個人ではなくグループ間での資源のフェアな分配を扱うことを目的とし、家族や州間の土地分割といった現実応用に由来する。
• 基数的および順序的メソッドを用いて、個々のメンバーの評価の集約としてグループ価値を形式化すること。
• 異なる集約関数がフェアな分割プロトコルの存在と実用性にどのように影響するかを調査すること。
• 個人の公平性を維持するとともに、グループレベルの満足度を確保するグループフェア分割のフレームワークを提供すること。

提案手法

• 個々のエージェントの評価をグループ価値に集約する六つの方法を提案：四つの基数的福利関数（ユニタリアン、エゴイスト、ナッシュ、一般化ユニタリアン）と二つの順序的選好に基づく関数。
• グループの公平性を、各グループが定義されたグループ価値関数に等しい価値を持つケーキの部分集合を受ける必要があるとモデル化する。
• 各グループ価値関数の下でのフェアプロトコルの存在を分析し、グループ設定における比例性と envy-freeness に注目する。
• 数学的分析を用いて、異なる集約ルールの下でのフェアな分割プロトコルの実現可能性と特性を比較する。
• グループ評価に適応された標準的なケーキカット技術（例：再帰的分割、クエリベースプロトコル）を適用する。
• 集約手法間の理論的保証を比較し、実用的でフェアな解決策を可能にする関数を特定する。

実験結果

リサーチクエスチョン

• RQ1 エージェントが個別に行動するのではなくグループに所属する場合、どのようにしてグループの公平性を定義できるか？
• RQ2 グループケーキカットにおいて、フェアな分割プロトコルの存在を可能にするグループ価値集約関数はどれか？
• RQ3 基数的福利関数と順序的選好に基づく関数は、フェアで実装可能なプロトコルをどのように比較して実現できるか？
• RQ4 各グループ価値関数がグループフェア分割において、理論的および実用的限界をどのように示すか？

主な発見

• グループ価値関数の選択は、フェアな分割プロトコルの存在と適用可能性に顕著な影響を及ぼす。
• ユニタリアンやエゴイストなどの基数的福利関数は、異なる公平性の保証と実現可能性の結果をもたらす。
• 順序的選好に基づく関数は実装を単純化する可能性があるが、注意深く設計されない場合には個人の公平性と矛盾するおそれがある。
• 一部の集約関数では、原理的に比例性や envy-freeness を達成することが不可能である。
• 一般化ユニタリアン関数は、多様なグループ構成において公平性と効率性のバランスの取れたトレードオフを提供する。
• 本研究は、すべての集約手法がフェアなプロトコルの存在をサポートするわけではないことを特定し、グループフェア分割設計における根本的なトレードオフを浮き彫りにした。