[論文レビュー] Waste Makes Haste: Bounded Time Algorithms for Envy-Free Cake Cutting with Free Disposal

Erel Segal-Halevi, Avinatan Hassidim+1 more|arXiv (Cornell University)|Nov 19, 2016

Auction Theory and Applications参考文献 29被引用数 11

ひとこと要約

本稿では、自由処分を許容する有界時間アルゴリズムを提示し、各エージェントが合計ケーキ価値の指定された割合以上に価値のある連結または非連結な領域を獲得することを保証する。全ケーキの割り当てを緩和することで、3人以上のエージェントに対しても、連結な領域であっても、有界時間内でエンヴィー-freeな分割を達成可能となり、従来の完全割り当て下での長年の不可能性を解決する。

ABSTRACT

We consider the classic problem of envy-free division of a heterogeneous good (“cake”) among several agents. It is known that, when the allotted pieces must be connected, the problem cannot be solved by a finite algorithm for three or more agents. The impossibility result, however, assumes that the entire cake must be allocated. In this article, we replace the entire-allocation requirement with a weaker partial-proportionality requirement: the piece given to each agent must be worth for it at least a certain positive fraction of the entire cake value. We prove that this version of the problem is solvable in bounded time even when the pieces must be connected. We present simple, bounded-time envy-free cake-cutting algorithms for (1) giving each of n agents a connected piece with a positive value; (2) giving each of three agents a connected piece worth at least 1/3; (3) giving each of four agents a connected piece worth at least 1/7; (4) giving each of four agents a disconnected piece worth at least 1/4; and (5) giving each of n agents a disconnected piece worth at least (1 − e)/n for any positive e.

研究の動機と目的

• 全割り当て下で3人以上のエージェントに対して連結な領域を用いた有界時間エンヴィー-freeなケーキカットが不可能であるという事実に対処すること。
• 完全割り当て制約を緩和するため、部分的割合要件を導入し、未使用のケーキを自由処分可能とする。
• 各エージェントが合計ケーキの指定された割合以上に価値のある連結または非連結な領域を保証する有界時間アルゴリズムを設計すること。
• 3人以上のエージェントに対しても、エージェントが連結な領域を受領する場合にまで、エンヴィー-freeな分割を拡張すること。
• 最小限の価値損失を伴う公平性を達成するアルゴリズムを提供すること。その損失は許容誤差パラメータ ε で定量化される。

提案手法

• 部分的割合要件を導入：各エージェントは合計ケーキ価値の分数 α 以上に価値のある領域を受領しなければならない。ここで α > 0 である。
• エージェントの評価に基づいて、値の推定値を段階的に精緻化し、分割を行う再帰的で有界時間の手続きを用いる。
• 未評価または低価値のケーキ領域を自由処分することで、すべての領域を割り当てる必要を回避する。
• 異なる状況に特化した具体的なアルゴリズムを設計する：3エージェントでは1/3の価値、4エージェントでは1/7の価値、nエージェントでは(1−e)/nの価値を保証する。
• コンセンサス・スプリット法を用いて、ケーキをセグメントに分割し、各エージェントが自分の領域を少なくとも目標割合以上に評価できるようにする。
• 希望される公平性の閾値に基づいて、クエリ数と操作回数を制限することで、すべてのアルゴリズムが有限時間内に終了することを保証する。

実験結果

リサーチクエスチョン

• RQ1 全ケーキを割り当てる必要がない場合、3人以上のエージェントに対して連結な領域を用いたエンヴィー-freeなケーキカットを有界時間で達成できるか？
• RQ2 3人以上のエージェントに対して、連結な領域を保証する有界時間エンヴィー-freeアルゴリズムで、各エージェントに保証できる最小の価値割合は何か？
• RQ3 完全割り当てが不可能な状況で、自由処分がどのように有限時間エンヴィー-freeな分割を可能にするか？
• RQ4 連結な領域を用いたエンヴィー-freeなケーキカットにおいて、公平性（価値割合）と計算効率のトレードオフは何か？
• RQ5 nエージェントに対して、非連結な領域を用いた有界時間エンヴィー-freeアルゴリズムを構築可能か？その場合、公平性は1/nに近づくか？

主な発見

• 3エージェントに対して、有界時間エンヴィー-freeなアルゴリズムが存在し、各エージェントが合計ケーキ価値の1/3以上に価値のある連結領域を獲得することが保証される。
• 4エージェントの場合、有界時間アルゴリズムにより、各エージェントが合計価値の1/7以上に価値のある連結領域を保証される。
• nエージェントの場合、有界時間アルゴリズムにより、各エージェントが合計価値の(1−e)/n以上に価値のある非連結領域を保証される。ここで ε > 0 は任意の正の数である。
• 自由処分の使用により、3人以上のエージェントに対して連結な領域を用いた古典的不可能性結果を回避できる。
• すべてのアルゴリズムは明示的に構築されており、公平性の閾値とエージェント数の関数として、クエリ数と操作回数が有界であるため、有限時間内に終了する。
• 結果として、自由処分が許可される状況下では、部分的割合要件のもとで、有界時間エンヴィー-freeな分割が、連結な領域であっても達成可能であることが示された。