[論文レビュー] An Algorithmic Framework for Strategic Fair Division

Simina Brânzei, Ioannis Caragiannis+2 more|arXiv (Cornell University)|Jul 8, 2013

Auction Theory and Applications参考文献 39被引用数 12

ひとこと要約

本稿は、戦略的公平配分のための一般化されたカットアンドチョイス（GCC）フレームワークを導入し、すべてのこのようなプロトコルが近似的な部分ゲーム完全ナッシュ均衡を有すること、および均衡結果が比例性を保持することを証明する。さらに、ナッシュ均衡が連続する羞性のない割り当てと完全に一致する新しいプロトコル—ザ・スリーパーズ・プロトコル—を設計している。

ABSTRACT

We study the paradigmatic fair division problem of fairly allocating a divisible good among agents with heterogeneous preferences, commonly known as cake cutting. Classic cake cutting protocols are susceptible to manipulation. Do their strategic outcomes still guarantee fairness? To address this question we adopt a novel algorithmic approach, proposing a concrete computational model and reasoning about the gametheoretic properties of algorithms that operate in this model. Specifically, we show that each protocol in the class of generalized cut and choose (GCC) protocols — which includes the most important discrete cake cutting protocols — is guaranteed to have approximate subgame perfect Nash equilibria, or even exact equilibria if the protocol’s tie-breaking rule is flexible. We further observe that the (approximate) equilibria of proportional protocols — which guarantee each of the n agents a 1/n-fraction of the cake — must be (approximately) proportional, thereby answering the above question in the positive (at least for one common notion of fairness).

研究の動機と目的

• 古典的なケーキカットプロトコルの戦略的操作を、そのゲーム理論的均衡を分析することで扱う。
• 標準的な離散的ケーキカットプロトコルを捉える一般化された計算モデル—一般化されたカットアンドチョイス（GCC）プロトコル）—を定義する。
• GCCプロトコルが近似的な部分ゲーム完全ナッシュ均衡（SPNE）を有することを確立し、柔軟な同点処理を用いることで、正確なSPNEも得られることを示す。
• 比例的GCCプロトコルの均衡結果が、近似的または正確に比例性を保つことを証明する。
• そのナッシュ均衡が正確に連続する羞性のない割り当てに一致するプロトコルを構築する。

提案手法

• GCCプロトコルを、相対的なカット位置に基づいてエージェントが交互にカットとチョイスの行動を取る木構造のアルゴリズムとして定義する。
• エージェントが戦略的に行動するゲーム理論的モデルを導入し、部分ゲーム完全ナッシュ均衡（SPNE）の概念を用いて均衡を分析する。
• 任意の ǫ > 0 に対して ǫ-SPNE の存在を証明し、どのエージェントも逸脱によって ǫ を超えて利益を得られないことを示す。
• 完全なプレイ履歴に依存するインフォームドな同点処理ルールを導入し、そうでない場合に正確なSPNEが存在しない場合でも、正確なSPNEの存在を保証する。
• スリーパーズ・プロトコルを設計：エージェント1が最初に連続する割り当てを定義し、その後各エージェントが他のエージェントのピeceから部分集合を盗もうとする試みによって羞性のなさを検証する。
• 検証メカニズムを用いる：もしもどのエージェントも、他のエージェントのピeceの空でない真部分集合を盗んだ場合、プロトコルはそのエージェントが盗んだピeceを手に入れる形で終了する。

実験結果

リサーチクエスチョン

• RQ1 エージェントが真実を述べるのではなく戦略的に行動する場合、古典的なケーキカットプロトコルは依然として公平な結果をもたらすのか？
• RQ2 離散的ケーキカットプロトコルをサポートするゲーム理論的分析を可能にする一般化された計算フレームワークを定義できるか？
• RQ3 GCCプロトコルは常に近似的または正確な部分ゲーム完全ナッシュ均衡を有するのか？
• RQ4 比例的GCCプロトコルの均衡結果において、比例性は保持されるのか？
• RQ5 そのナッシュ均衡が正確に羞性のない割り当てに一致するプロトコルを構築できるか？

主な発見

• 任意の ǫ > 0 に対して、すべてのGCCプロトコルが ǫ-部分ゲーム完全ナッシュ均衡を有し、どのエージェントも逸脱によって ǫ を超えて利益を得られないことが保証される。
• インフォームドな同点処理を用いることで、正確な部分ゲーム完全ナッシュ均衡を達成でき、そうでない場合に正確な均衡が存在しない場合でもそれを補完する。
• 比例的GCCプロトコルの ǫ-均衡において、結果は ǫ-比例的である。つまり、各エージェントは自身の評価値の (1/n - ǫ) 以上を受領する。
• スリーパーズ・プロトコルは、すべてのナッシュ均衡が、ケーキ全体の連続する羞性のない割り当てに正確に一致するように設計されている。
• 逆に、ケーキ全体の連続する羞性のない割り当ては、すべてスリーパーズ・プロトコルのあるナッシュ均衡の結果として得られる。
• スリーパーズ・プロトコルは、羞性のない割り当てに至る戦略からの利益的な逸脱が不可能であることを保証している。これは、羞性を感じる場合により価値の高い部分集合を盗もうとするインcentiveがあるからである。