[論文レビュー] How to Re-Divide a Cake Fairly.

Erel Segal-Halevi|arXiv (Cornell University)|Mar 1, 2016

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

ひとこと要約

本稿は、資源が既に分配済みの状態で、異質なケーキをエージェント間で公平に再分配するための再分配プロトコルを導入する。これにより、元のエージェントおよび新規エージェントの両方に対する公平性が保証される。幾何的制約を課したプロトコル（制約なし、連結性、長方形性、凸性）を提案し、それぞれが公平性の価格に対する上界を導出する。

ABSTRACT

This paper studies the classic problem of fairly dividing a heterogeneous resource (cake) among several agents with different value measures. The innovation is that the resource is already divided among several agents. When agents come, the resource should be re-divided in a way that is fair both for the young and for the old agents. Motivated by re-division of land and other real-life division problems, we present re-division protocols for various settings that differ in the geometric constraints on the cake and its pieces: (a) no geometric constraints - the cake is an arbitrary Borel subset of the plane and the pieces may be arbitrary Borel subsets of it; (b) connectivity - the cake is a one-dimensional interval and each piece must be a contiguous interval; (c) rectangularity - the cake is a two-dimensional rectangle or rectilinear polygon and the pieces should be rectangles; (d) convexity - the cake is a two-dimensional convex polygon and the pieces should be convex. Our re-division protocols have implications on another problem: the price-of-fairness - the loss of social welfare caused by fairness requirements. Each protocol implies an upper bound on the price-of-fairness with the respective geometric constraints.

研究の動機と目的

• 既に一部のエージェントが所有している状態で、異質なケーキを公平に再分配することに取り組む。
• 新規エージェントだけでなく、以前に割り当てられた共有を保有していた元のエージェントに対しても公平性を保証すること。
• ケーキおよびピースに異なる幾何的制約を課した場合の、社会的総合的損失（公平性の価格）を分析すること。
• 実世界の分配問題（例：土地再配分）に適用可能な実用的な再分配プロトコルの開発

提案手法

• 制約なし、連結性（1次元区間）、長方形性（2次元長方形）、凸性（2次元凸多角形）の4つの幾何的制約の下で再分配プロトコルを提案する。
• 各エージェントが個々の価値測度に従って、価値が均等に配分された共有を受けるように再分配するプロトコルを設計する。
• 再帰的かつ envy-free（後悔なし）なアプローチを用いて、公平性と幾何的制約を維持したままピースを再配分する。
• 公平性要件に起因する社会的総合的損失（公平性の価格）を評価するため、プロトコルを応用する。
• 制約なしの場合の一般化されたケーキおよびピースの定義にボレル集合を用い、数学的厳密性を確保する。
• 各プロトコル構造が、それぞれの幾何的設定において、公平性の価格に対する明示的な上界を示していることの証明

実験結果

リサーチクエスチョン

• RQ1 ケーキが一部のエージェントに既に割り当てられている状態で、新規エージェントが到着した場合、どのように公平に再分配できるか？
• RQ2 元のエージェントおよび新規エージェントの両方に対する公平性を保証しつつ、再分配を可能にするために必要な最小限の幾何的制約は何か？
• RQ3 ケーキおよびピースに異なる幾何的制約を課した場合、最大でどの程度の社会的総合的損失（公平性の価格）が生じるか？
• RQ4 連結性、長方形性、または凸性といった幾何的性質を維持しながら、公平な再分配プロトコルを構築できるか？
• RQ5 これらのプロトコルは、公平分割問題における公平性の価格とどのように関係し、その価格をどのように制限するか？

主な発見

• 本稿は、制約なし、連結性、長方形性、凸性の4つの幾何的制約すべてに対して再分配プロトコルを確立した。
• 各プロトコルは、元のエージェントおよび新規エージェントが、それぞれの個々の価値測度に従って公平な共有を受けることを保証する。
• 各プロトコルは、それぞれの幾何的設定に特有の公平性の価格に対する明示的な上界を示している。
• 連結性制約（1次元区間）の場合、プロトコルは連続したピースを維持しながら公平性を保証する。
• 長方形性および凸性制約の場合、プロトコルはすべてのピースが長方形または凸集合となるように保証し、幾何的構造を維持する。
• 各ケースにおいて公平性の価格は有界であり、より厳しい幾何的制約が適用されるほど、よりきつい上界が得られる。