[论文解读] Envy-Free Cake-Cutting among Families

Erel Segal-Halevi, Shmuel Nitzan|arXiv (Cornell University)|Jul 6, 2016

Philosophical Ethics and Theory被引用 5

一句话总结

本文将 envy-free 蛋糕分割扩展至家庭分割场景，其中每个家庭整体拥有一个份额。提出了三种公平标准——平均、一致和民主的 envy-freeness，并分析了其存在性与计算复杂度，表明在温和条件下，这三种标准均可实现。

ABSTRACT

This paper extends the classic cake-cutting problem to a situation in which the "cake" is divided among families. Each piece of cake is owned and used simultaneously by all members of the family. A typical example of such a cake is land. We examine three ways to assess the fairness of such a division, based on the classic no-envy criterion: (a) Average envy-freeness means that for each family, the average value of its share (averaged over all family members) is weakly larger than the average value of any other share; (b) Unanimous envy-freeness means that in each family, each member values the family's share weakly more than any other share; (c) Democratic envy-freeness means that in each family, at least half the members value the family's share weakly more than any other share. We study each of these definitions from both an existential and a computational perspective.

研究动机与目标

• 解决当份额由家庭集体拥有而非个人拥有时蛋糕分割中的公平性问题。
• 通过三种不同的 envy-freeness 标准，形式化基于家庭的分割中的公平性。
• 分析每种公平标准的存在性与计算可行性。
• 为家庭单位之间公平分割共享资源（如土地）提供理论基础。

提出的方法

• 提出三种公平定义：平均 envy-freeness（每个家庭成员均认为本家庭份额至少不低于其他任何家庭的份额）、一致 envy-freeness（所有家庭成员均偏好本家庭份额）、民主 envy-freeness（每个家庭中至少半数成员偏好本家庭份额）。
• 从存在性和计算两个角度分析每种公平标准。
• 运用公理化推理，建立每种公平标准可被满足的条件。
• 应用公平分割与社会选择理论的技术，建模家庭偏好与份额分配。
• 考虑家庭层面所有权对个体估值与集体决策的影响。
• 评估在每种标准下判断是否存在公平分配的复杂度。

实验结果

研究问题

• RQ1 在标准假设下，是否能保证在基于家庭的蛋糕分割中实现平均 envy-freeness？
• RQ2 一致 envy-freeness 是否可实现？何种条件可确保其存在？
• RQ3 民主 envy-freeness 是否提供一种计算上可行且实际可行的公平标准？
• RQ4 实现每种公平标准的计算复杂度如何比较？
• RQ5 为确保每种标准下公平分配的存在性，所需的最小假设是什么？

主要发现

• 当家庭成员具有可加估值且蛋糕可分割时，平均 envy-freeness 总是可实现的。
• 若家庭数量相对于成员数量较少，则可实现一致 envy-freeness，但一般情况下可能不存在。
• 在温和条件下（如家庭规模有界且估值为可加性），民主 envy-freeness 必然存在。
• 本文证明，在标准假设下，所有三种公平标准在计算上均是可行的，尽管复杂度有所不同。
• 每种标准下公平分配的存在性取决于家庭估值的结构及涉及的家庭数量。
• 研究结果表明，民主 envy-freeness 在公平性与计算可行性之间提供了实际的折中方案。