[论文解读] The Query Complexity of Cake Cutting

Simina Brânzei, Noam Nisan|arXiv (Cornell University)|May 8, 2017

Game Theory and Voting Systems被引用 8

一句话总结

本文在Robertson-Webb查询模型中，为使用最少切割数计算近似公平的蛋糕划分——即无 envy（嫉妒）分配、公平分配和完美分配——建立了紧致的查询复杂度下界。证明了在3名玩家中实现连通的ϵ-无嫉妒分配、2名玩家中实现连通的ϵ-公平分配，以及2名玩家中使用2刀实现ϵ-完美分配时，Ω(log 1/ϵ) 次查询是必需的，并表明移动刀具程序可以仅使用评估查询高效地模拟，且误差极小。

ABSTRACT

We study the query complexity of cake cutting and give lower and upper bounds for computing approximately envy-free, perfect, and equitable allocations with the minimum number of cuts. The lower bounds are tight for computing connected envy-free allocations among n=3 players and for computing perfect and equitable allocations with minimum number of cuts between n=2 players. We also formalize moving knife procedures and show that a large subclass of this family, which captures all the known moving knife procedures, can be simulated efficiently with arbitrarily small error in the Robertson-Webb query model.

研究动机与目标

• 理解在连通块和最少切割数条件下，计算近似公平蛋糕划分所需的最少查询次数。
• 在Robertson-Webb查询模型下，为计算ϵ-无嫉妒、ϵ-公平和ϵ-完美分配建立紧致的查询复杂度下界。
• 在查询模型中形式化并高效模拟移动刀具程序，表明仅使用评估查询即可以任意小的误差实现近似。
• 分析受限查询模型（特别是仅允许评估查询的RW−模型）在有界估值密度下的能力与局限性。

提出的方法

• 采用基于归约的证明技术，通过模拟迫使任何确定性协议必须进行Ω(log 1/ϵ)次查询才能实现ϵ-公平性的对抗性估值，从而建立下界。
• 在RW−模型中应用类似二分查找的模拟策略，仅使用评估查询来近似切割查询，误差被控制在ϵ以内。
• 引入并形式化了‘隐藏区间’的概念，即最优切割点所在的位置，表明区间外的查询不会减少不确定性，而区间内的查询则需谨慎处理。
• 证明在RW+模型中，可通过迭代缩小时间区间并使用评估查询跟踪玩家估值，从而模拟移动刀具程序。
• 将RW模型中的结果扩展至RW+和RW−模型，证明RW模型中的下界可推广至这些变体。
• 使用拓扑与测度论论证（例如Sperner引理、交集定理），证明公平分配的存在性，从而为所研究问题的可行性提供理论基础。

实验结果

研究问题

• RQ1 在Robertson-Webb模型中，计算3名玩家之间的连通ϵ-无嫉妒分配所需的最少查询次数是多少？
• RQ2 能否在查询模型中为使用最少切割数的ϵ-公平和ϵ-完美分配建立紧致下界？
• RQ3 在Robertson-Webb模型中，仅使用评估查询，移动刀具程序能在多大程度上被高效模拟？
• RQ4 当估值有上界时，仅允许评估查询的RW−模型与完整RW模型相比，其能力如何？
• RQ5 当估值为任意值与当估值有上界时，计算ϵ-公平分配的查询复杂度有何不同？

主要发现

• 计算3名玩家之间连通ϵ-无嫉妒分配的查询复杂度为Ω(log 1/ϵ)，且该界是紧致的。
• 对于2名玩家，计算连通ϵ-公平分配需要Ω(log 1/ϵ)次查询，且该界是紧致的。
• 对于2名玩家，使用恰好2刀计算ϵ-完美分配同样需要Ω(log 1/ϵ)次查询，且该界是紧致的。
• 在RW+模型中，移动刀具程序可使用O(log 1/ϵ)次查询进行模拟，对任意触发点实现ϵ-精度。
• 在RW−模型中，仅允许评估查询，当估值有上界（有常数上界）时，任何RW+查询均可通过O(log 1/ϵ)次评估查询实现模拟。
• 当估值为任意值时，RW−模型不足以找到公平分配，但当估值在上界上一致有界时，其能力显著增强。