[论文解读] N-person envy-free chore division

Elisha Peterson, Francis Edward Su|ArXiv.org|Sep 2, 2009

Philosophy and Theoretical Science参考文献 8被引用 9

一句话总结

本文提出了首个显式、离散且可构造的多人无 envy（公平）分担不可欲资源（如家务）的算法，适用于 n 名参与者，确保无任何参与者嫉妒他人。该算法通过基于储备的增强与不可撤销优势机制，改编 Brams-Taylor 的蛋糕分割技术，利用迭代精炼实现精确的无 envy 性质，无需连续移动刀具程序。

ABSTRACT

In contrast to the classical cake-cutting problem (how to fairly divide a desirable object), "chore division" is the problem of how to divide an undesirable object. We develop the first explicit algorithm for envy-free chore division among N people, a counterpart to the N-person envy-free cake-division solution of Brams-Taylor (1995). This is accomplished by exploiting a notion of "irrevocable advantage" for chores. We discuss the differences between cake-cutting and chore division and additional problems encountered in chore division.

研究动机与目标

• 开发一种用于 n 名玩家的可构造、离散的无 envy 分担家务算法，扩展先前针对 3 人和 4 人情况的研究。
• 解决在分担家务时确保无 envy 的挑战，此时玩家偏好最小的份额，与蛋糕分割中偏好最大份额的情况相反。
• 建立一种通用程序，通过基于储备的增强与不可撤销优势机制确保精确的无 envy 性质，避免依赖移动刀具方法。
• 证明家务分担问题并非蛋糕分割的直接对偶，需引入新型技术如储备创建与策略性份额分配。
• 提供一种有限但无界的算法，可收敛至无 envy 解决方案，从而解决关于有界程序的开放性问题。

提出的方法

• 该算法基于 Brams 和 Taylor 的多人蛋糕分割方法，采用离散、迭代的程序，并针对家务分担进行了调整。
• 参与者通过选择其认为价值较大（即负担较轻）的份额来创建储备，这些储备用于增强份额并制造感知大小的平局。
• 核心机制为“基于储备的增强”：即使其他参与者先选择，玩家仍能保留其两个最偏好（即最小）份额之一。
• 应用“不可撤销优势”概念：若某玩家认为其份额严格小于他人份额超过剩余储备的价值，则无论储备如何分配，其均不会被嫉妒。
• 该程序迭代分配蛋糕的各部分，更新不可撤销优势集合，并确保最终所有玩家均对他人拥有不可撤销优势，从而实现无嫉妒的最终分配。
• 通过按比例增加份额与储备数量，将该算法扩展至 n 名玩家，采用递归结构以在每一步保持公平性。

实验结果

研究问题

• RQ1 能否使用离散、可构造的算法，为 n ≥ 3 名玩家实现精确的无 envy 分担家务？
• RQ2 “不可撤销优势”概念如何从蛋糕分割适配至家务分担场景，其中玩家偏好更小的份额？
• RQ3 储备与增强在不同玩家对家务份额估值差异下，如何维持公平性？
• RQ4 为何家务分担并非蛋糕分割的直接对偶？它引入了哪些新挑战？
• RQ5 能否设计一种有限但无界的算法，确保无 envy 性质，且不依赖移动刀具程序？

主要发现

• 本文提出了首个显式、离散且可构造的多人无 envy 分担家务算法，扩展了先前针对 3 人和 4 人情况的结果。
• 该算法通过基于储备的增强与不可撤销优势机制，确保即使选择顺序进行，也无玩家会嫉妒他人。
• 通过迭代精炼实现精确的无 envy 性质，当所有玩家对彼此均实现不可撤销优势时，收敛性得以保证。
• 对于 n=4，迭代阶段确保每轮至少分配一半蛋糕，相较于先前方法提升了效率。
• 步骤数与切割次数为有限但无界，取决于玩家偏好，因此有界程序的问题仍待解决。
• 该方法表明，家务分担需要比蛋糕分割更复杂的储备管理，且两者并非对称的对偶问题。