[论文解读] 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）框架，用于战略公平分配，证明所有此类协议均存在近似子博弈完美纳什均衡，且均衡结果保持比例性。此外，本文设计了一种新协议——窃贼协议（The Thieves Protocol），其纳什均衡恰好与连续的无 envy 分配集合一致。

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 协议的均衡结果仍保持近似或精确的比例性。
• 构建一种协议，其纳什均衡恰好为连续的无 envy 分配。

提出的方法

• 将 GCC 协议定义为树状结构算法，其中代理根据相对切割位置交替执行切割与选择操作。
• 引入一个正式的博弈论模型，其中代理采取策略行为，并使用子博弈完美纳什均衡（SPNE）概念分析均衡。
• 证明对任意 ǫ > 0，存在 ǫ-SPNE，表明任何代理通过偏离最多只能获得 ǫ 的额外收益。
• 引入基于完整游戏历史的知情平局裁决规则，以确保在原本不存在精确 SPNE 的情况下，仍能实现精确 SPNE。
• 设计窃贼协议：代理 1 首先划定一个连续的分配；随后，每个代理通过尝试窃取他人部分来验证无 envy 性质。
• 使用验证机制：若任一代理窃取了另一人部分的非空真子集，则协议终止，该代理获得被窃取的部分。

实验结果

研究问题

• RQ1 当代理采取策略行为而非诚实行为时，经典蛋糕分割协议是否仍能产生公平结果？
• RQ2 能否为离散蛋糕分割协议定义一种通用计算框架，以支持博弈论分析？
• RQ3 GCC 协议是否始终具有近似或精确的子博弈完美纳什均衡？
• RQ4 比例性 GCC 协议的均衡结果是否保持比例性？
• RQ5 能否构造一种协议，使其纳什均衡恰好为无 envy 分配？

主要发现

• 每个 GCC 协议对任意 ǫ > 0 均存在 ǫ-子博弈完美纳什均衡，确保任何代理通过偏离最多只能获得 ǫ 的额外收益。
• 通过知情平局裁决，GCC 协议可实现精确子博弈完美纳什均衡，即使在无精确均衡存在的情况下亦可实现。
• 在任何比例性 GCC 协议的 ǫ-均衡中，结果为 ǫ-比例性，即每个代理获得的估值至少为 (1/n - ǫ)。
• 窃贼协议的设计使得每个纳什均衡恰好对应于整个蛋糕的一个连续无 envy 分配。
• 反之，整个蛋糕的每一个连续无 envy 分配，都是窃贼协议中某个纳什均衡的结果。
• 窃贼协议确保，任何导致无 envy 分配的策略均无法通过偏离获利，因为若代理感到不满，其有动机去窃取更有价值的子集。