[论文解读] 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

一句话总结

本文提出了一种有界时间、公平的蛋糕分割算法，允许自由处置——即每个参与者获得的蛋糕部分价值至少为总蛋糕价值的保证比例，且可为连通或不连通部分——即使在要求连通性的情况下也能实现有限解。关键贡献在于证明了在部分比例条件下实现公平性可在有限时间内完成，从而克服了在三名或以上参与者且完全分配条件下的经典不可能性结果。

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 $ε$.

研究动机与目标

• 解决在三名或以上参与者且完全分配条件下，连通部分蛋糕分割无法实现有限时间公平分割的不可能性问题。
• 通过引入部分比例要求来放松完全分配的限制：每位参与者必须获得价值至少为总蛋糕价值指定比例的蛋糕部分。
• 设计有界时间算法，在此放宽条件下实现公平性，即使要求部分连通。
• 将公平分配的应用扩展到可接受自由处置且需要有限协议的实际场景。
• 为多参与者蛋糕分割提供更简化、更高效的算法，提升效率与正确性保证。

提出的方法

• 引入部分比例要求：每位参与者必须获得价值至少为总蛋糕价值分数 α 的蛋糕部分，其中 α > 0。
• 使用改进的移动刀法或递归划分方法，确保公平性的同时允许丢弃未被食用的部分。
• 应用完美匹配算法，以确保公平性并维持有界运行时间的方式将蛋糕部分分配给参与者。
• 设计动态调整分配的算法，基于参与者估值，确保无参与者嫉妒他人份额。
• 通过将蛋糕递归划分为子区间，根据价值阈值让参与者依次申请或被指派部分。
• 简化并缩短先前算法，引入新版本（算法3、4和5），以提升效率与清晰度。

实验结果

研究问题

• RQ1 若将完全分配放松为部分比例，是否可在有界时间内实现连通部分的公平蛋糕分割？
• RQ2 在有限、公平的协议中，每位参与者获得连通部分价值至少为总蛋糕价值分数 α 的最小值 α 是多少？
• RQ3 如何利用自由处置来设计更简单、更高效的公平蛋糕分割算法（适用于三名或以上参与者）？
• RQ4 是否可为不连通部分构造有界时间的公平算法，使每位参与者的份额价值接近 n 名参与者下的 1/n？
• RQ5 在允许自由处置的条件下，公平性与效率在蛋糕分割中的理论极限是什么？

主要发现

• 本文提出一种针对 n 名参与者的有界时间公平算法，每位参与者获得价值至少为总蛋糕价值正比例的连通部分。
• 对于 3 名参与者，有界时间公平算法确保每位参与者获得价值至少为总蛋糕价值 1/3 的连通部分。
• 对于 4 名参与者，有界时间公平算法确保每位参与者获得价值至少为总蛋糕价值 1/7 的连通部分。
• 对于 4 名参与者，采用不连通部分的有界时间公平算法确保每位参与者获得价值至少为总蛋糕价值 1/4 的份额。
• 对于 n 名参与者，有界时间公平算法确保每位参与者获得不连通部分价值至少为 (1−ε)/n 的总蛋糕价值，其中 ε > 0 任意小。
• 新算法（3、4 和 5）相较于先前版本显著简化且更高效，具有更优的运行时间与正确性保证。