[论文解读] How to Re-Divide a Cake Fairly.

Erel Segal-Halevi|arXiv (Cornell University)|Mar 1, 2016

Game Theory and Voting Systems参考文献 56被引用 4

一句话总结

本文提出了在资源已分配的情况下，对异质蛋糕进行公平重分配的再分配协议，确保原始代理人和新代理人之间的公平性。提出了四种几何约束协议——无约束、连通性、矩形性和凸性——每种协议均给出了公平性损失的上界。

ABSTRACT

This paper studies the classic problem of fairly dividing a heterogeneous resource (cake) among several agents with different value measures. The innovation is that the resource is already divided among several agents. When agents come, the resource should be re-divided in a way that is fair both for the young and for the old agents. Motivated by re-division of land and other real-life division problems, we present re-division protocols for various settings that differ in the geometric constraints on the cake and its pieces: (a) no geometric constraints - the cake is an arbitrary Borel subset of the plane and the pieces may be arbitrary Borel subsets of it; (b) connectivity - the cake is a one-dimensional interval and each piece must be a contiguous interval; (c) rectangularity - the cake is a two-dimensional rectangle or rectilinear polygon and the pieces should be rectangles; (d) convexity - the cake is a two-dimensional convex polygon and the pieces should be convex. Our re-division protocols have implications on another problem: the price-of-fairness - the loss of social welfare caused by fairness requirements. Each protocol implies an upper bound on the price-of-fairness with the respective geometric constraints.

研究动机与目标

• 解决当部分代理人已持有份额时，对异质蛋糕进行公平重分配的问题。
• 确保不仅新代理人，原始代理人（此前已获得份额者）也能获得公平对待。
• 分析在蛋糕和碎片的不同几何约束下，社会福利损失（即公平性损失）的大小。
• 开发适用于现实世界分配问题（如土地重新分配）的实际再分配协议。

提出的方法

• 提出四种几何约束下的再分配协议：无约束、连通性（一维区间）、矩形性（二维矩形）和凸性（二维凸多边形）。
• 设计协议以重新分配蛋糕，确保所有代理人（包括旧代理人和新代理人）根据其个人价值度量获得价值均等的份额。
• 采用递归且无嫉妒的策略重新分配碎片，同时保持公平性和几何约束。
• 将协议应用于界定公平性损失，衡量因公平性要求导致的社会福利损失。
• 在无约束情况下使用Borel集对蛋糕和碎片进行一般性定义，确保数学严谨性。
• 证明每种协议结构均对其对应的几何设定，给出了公平性损失的可证明上界。

实验结果

研究问题

• RQ1 当蛋糕已分配给部分代理人且新代理人加入时，如何实现公平的再分配？
• RQ2 为确保公平重分配并同时维护原始和新代理人的公平性，所需的最小几何约束是什么？
• RQ3 在蛋糕和碎片的不同几何约束下，最大社会福利损失（即公平性损失）是多少？
• RQ4 能否构建保持公平性以及连通性、矩形性或凸性等几何特性的再分配协议？
• RQ5 这些协议如何与公平性损失相关联，并对其在公平分配问题中的大小进行界定？

主要发现

• 本文为所有四种几何约束（无约束、连通性、矩形性、凸性）建立了再分配协议。
• 每种协议均确保原始代理人和新代理人根据其个人价值度量获得公平份额。
• 这些协议对其各自几何设定，均隐含了可证明的公平性损失上界。
• 对于连通性约束（一维区间），协议保持了连续的碎片，同时确保公平性。
• 对于矩形性和凸性约束，协议确保所有碎片分别为矩形或凸集，从而保持几何结构。
• 在每种情况下，公平性损失均被界定，且在更严格的几何约束下，边界更紧致。