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

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

Auction Theory and Applications参考文献 25被引用数 16

ひとこと要約

本稿では、完全配分を緩和した部分的割合性を前提とした、時間的に有界で envy-free なカケージカットアルゴリズムを提示する。この手法により、エージェントが連結または非連結な部分を受け取り、全ケーキ価値の保証された最小割合以上を獲得できる。これにより、連結性が要求される状況でも有限解が得られる。主な貢献は、完全配分下での古典的不可能性結果を克服し、部分的割合性のもとで有限時間内に envy-freeness を達成できることを証明したことである。

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 3 or more agents. The impossibility result, however, assumes that the entire cake must be allocated. In this paper we replace the entire-allocation requirement with a weaker \emph{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 3 agents a connected piece worth at least 1/3; (3) giving each of 4 agents a connected piece worth at least 1/7; (4) giving each of 4 agents a disconnected piece worth at least 1/4; (5) giving each of $n$ agents a disconnected piece worth at least $(1-ε)/n$ for any positive $ε$.

研究の動機と目的

• 3人以上のエージェントに対して、連結な部分を配分する完全配分のもとで、有限時間での envy-free カケージカットが不可能であるという問題に対処すること。
• 完全配分要件を緩和するため、部分的割合性を導入する：各エージェントは全ケーキ価値の指定された分数以上に相当する部分を受け取らなければならない。
• 連結な部分が要求される状況でも、この緩和された条件下で envy-freeness を達成する時間的に有界なアルゴリズムを設計すること。
• 自由廃棄が許容される実用的状況への公平配分の適用を拡大すること。
• 複数エージェントのカケージカットに対して、改善された効率性と正しさの保証を得た、新たな簡素化されたアルゴリズムを提供すること。

提案手法

• 各エージェントが全ケーキ価値の分数 α 以上に相当する部分を受け取らなければならない部分的割合性要件を導入する。ここで α > 0 である。
• 移動するナイフ法や再帰的分割法の修正版を用いて、未消費部分の廃棄を許容しつつ envy-freeness を確保する。
• 完璧マッチングアルゴリズムを適用し、公平性と時間的に有界な実行時間を維持する形で、ケーキの部分をエージェントに割り当てる。
• エージェントの評価に基づいて動的に割当を調整するアルゴリズムを設計し、いかなるエージェントも他のエージェントの配分を羨ましく思わないようにする。
• ケーキを部分区間へ再帰的に分解し、エージェントが価値の閾値に基づいて順次部分を主張するか、割り当てられるようにする。
• 従来のアルゴリズムを簡素化し、効率性と明確性を向上させるために、新バージョンのアルゴリズム（アルゴリズム 3, 4, 5）を導入する。

実験結果

リサーチクエスチョン

• RQ1 完全配分を部分的割合性に緩和した場合、連結な部分を配分する envy-free カケージカットを時間的に有界に達成できるか？
• RQ2 各エージェントが全ケーキ価値の少なくとも α 倍に相当する連結部分を受け取れるような、最小の価値分数 α は何か？ これは有限時間かつ envy-free のプロトコルにおいて成立する。
• RQ3 自由廃棄を活用することで、3人以上のエージェントに対して、より単純かつ効率的な envy-free アルゴリズムを設計できるか？
• RQ4 n 人のエージェントに対して、時間的に有界な envy-free アルゴリズムを、非連結な部分と 1/n に近い価値保証のもとで構築できるか？
• RQ5 自由廃棄が許容される状況において、公平性と効率性の理論的限界は何か？

主な発見

• 本稿では、n 人のエージェントが全ケーキ価値の正の分数以上に相当する連結部分を受け取る時間的に有界な envy-free アルゴリズムを提示する。
• 3人のエージェントに対しては、時間的に有界な envy-free アルゴリズムが、各エージェントに全ケーキ価値の少なくとも 1/3 に相当する連結部分を保証する。
• 4人のエージェントに対しては、時間的に有界な envy-free アルゴリズムが、各エージェントに全ケーキ価値の少なくとも 1/7 に相当する連結部分を保証する。
• 4人のエージェントに対して非連結部分を配分する時間的に有界な envy-free アルゴリズムが、各エージェントに全ケーキ価値の少なくとも 1/4 に相当する部分を保証する。
• n 人のエージェントに対しては、時間的に有界な envy-free アルゴリズムが、各エージェントに全ケーキ価値の (1−ε)/n に相当する非連結部分を保証する。ここで ε > 0 は任意の正の数である。
• 新規アルゴリズム（3, 4, 5）は、従来のバージョンよりも大幅に簡素化され、効率性が向上しており、実行時間と正しさの保証が改善されている。