[论文解读] Fairly Dividing a Cake after Some Parts Were Burnt in the Oven

Erel Segal-Halevi|arXiv (Cornell University)|Apr 2, 2017

Transportation and Mobility Innovations参考文献 18被引用 33

一句话总结

本文研究在存在混合价值密度（即某些部分对不同代理人而言为好、坏或中性）的一维蛋糕分割问题，且每个代理人必须获得连通部分的约束下，实现无 envy（嫉妒）分配的存在性。论文通过广义Sperner引理的论证，证明了三名代理人情况下连通无 envy 分配的存在性，并为素数个代理人的情况提供了证明概要，将公平分配理论扩展至混合manne（混合物品）场景。

ABSTRACT

There is a heterogeneous resource that contains both good parts and bad parts, for example, a cake with some parts burnt, a land-estate with some parts heavily taxed, or a chore with some parts fun to do. The resource has to be divided fairly among $n$ agents with different preferences, each of whom has a personal value-density function on the resource. The value-density functions can accept any real value --- positive, negative or zero. Each agent should receive a connected piece and no agent should envy another agent. We prove that such a division exists for 3 agents and present preliminary positive results for larger numbers of agents.

研究动机与目标

• 解决一个开放问题：在某些部分对不同代理人具有正、负或中性价值的异质蛋糕中，是否存在连通无 envy 分配？
• 将现有公平分配理论——此前仅限于完全为好或完全为坏的蛋糕——扩展至更一般的混合manne设置。
• 在连通性和无 envy 约束下，建立三名代理人无 envy 分配的存在性，并探索向更多代理人推广的可能性。
• 开发一种基于广义Sperner引理的新组合框架，以克服依赖标准Sperner结构的先前证明的局限性。
• 研究在四名或素数名代理人情况下，无 envy 分配是否存在，并使用初等论证为素数情况提供证明概要。

提出的方法

• 以广义Sperner引理作为核心组合工具，证明在混合蛋糕设置下无 envy 分配的存在性。
• 将蛋糕建模为区间 [0,1]，每位代理人具有可积的价值密度函数，其值可为正、负或零。
• 应用无 envy 概念，即每位代理人认为自己的连通部分至少不差于任何其他代理人的部分。
• 考虑两种模型：具有可积价值密度函数的加法型代理人，以及对部分集合具有偏好函数的选择型代理人。
• 利用偏好函数的连续性，确保在划分的小扰动下无 envy 性质保持稳定。
• 通过证明存在性，表明连通无 envy 分配的近似算法可被适配以达到任意期望的精度。

实验结果

研究问题

• RQ1 当有三名代理人时，是否存在一种连通无 envy 分配，用于具有混合价值密度（即某些部分对不同代理人而言为好、坏或中性）的蛋糕？
• RQ2 无 envy 分配的存在性是否可推广至四名或更多代理人的情况，特别是当代理人数量为素数时？
• RQ3 是否可以将基于Sperner引理的证明结构推广至价值密度函数可为负的混合蛋糕设置？
• RQ4 当应用于混合估值时，现有无 envy 分配算法（如修剪法、扩大法）存在哪些局限性？
• RQ5 能否设计一种有限查询算法，以找到混合蛋糕设置下的 $5$-envy-free 分配？

主要发现

• 通过广义Sperner引理的论证，证明了三名代理人情况下混合蛋糕连通无 envy 分配的存在性。
• 基于Sperner引理的证明结构在混合蛋糕设置下失效，因此需要新的广义组合框架。
• 对于四名或素数名代理人，通过初等论证的证明概要，确立了无 envy 分配的存在性。
• 三名代理人连通无 envy 分配的存在性意味着现有近似算法可被适配以实现任意期望的精度。
• 标准Robertson-Webb查询模型无法直接处理关于价值切换点的查询（例如价值密度变号的位置），这在实践中限制了有限查询算法的应用。
• 当连通性不被要求时，分别分割正负部分是一种实用的替代方案，但由于缺乏对符号切换检测的支持，该方案不适用于标准查询模型。