[论文解读] On the Complexity of Envy-Free Cake Cutting

Xiaotie Deng, Qi Qi+1 more|ArXiv.org|Jul 8, 2009

Complexity and Algorithms in Graphs参考文献 28被引用 9

一句话总结

本论文确定了在 $d+1$ 名参与者使用 $d$ 刀的情况下，公平蛋糕分割的查询复杂度与计算复杂度。在利普希茨连续效用函数下，证明了查询复杂度的紧致界为 $\theta((1/\epsilon)^{d-1})$；当效用函数可在多项式时间内计算时，该问题为 PPAD-完全问题；并为具有可测效用函数的三名参与者提出了一个全多项式时间近似方案（FPTAS）。

ABSTRACT

We study the envy-free cake-cutting problem for $d+1$ players with $d$ cuts, for both the oracle function model and the polynomial time function model. For the former, we derive a $θ(({1\overε})^{d-1})$ time matching bound for the query complexity of $d+1$ player cake cutting with Lipschitz utilities for any $d> 1$. When the utility functions are given by a polynomial time algorithm, we prove the problem to be PPAD-complete. For measurable utility functions, we find a fully polynomial-time algorithm for finding an approximate envy-free allocation of a cake among three people using two cuts.

研究动机与目标

• 在利普希茨效用函数下，确定 $d+1$ 名参与者使用 $d$ 刀进行公平蛋糕分割的查询复杂度。
• 在效用函数可在多项式时间内计算的条件下，确立公平蛋糕分割的计算复杂度。
• 为具有可测效用函数的三名参与者开发一个全多项式时间近似方案（FPTAS）。
• 为常数维度 $d>2$ 的 SPERNER 问题提供匹配的查询复杂度界，以支持蛋糕分割结果。
• 通过证明在多项式时间效用评估下，公平蛋糕分割为 PPAD-完全问题，建立不动点计算与均衡计算之间的联系。

提出的方法

• 使用重心坐标将 $d$ 刀表示为 $d$-单形上的点，从而实现对公平分配的几何分析。
• 应用库恩对单形的剖分，并定义标记规则 $\mathcal{L}(X) = \sum_{i=0}^{d} i x_i \mod (d+1)$，以确保 PPAD 归约所需的正确 Sperner 染色。
• 将公平蛋糕分割问题归约为在 Sperner 染色单形中寻找一个完全着色的基胞腔，证明其属于 PPAD。
• 通过从二维 BROUWER 问题归约，确立 PPAD-难性，从而在多项式时间效用函数下确认 PPAD-完全性。
• 采用分治算法，结合边界上的单调性特性，高效计算指标，实现三名参与者情形下的 $O((\log N)^2)$ 时间复杂度。
• 利用边界上颜色变化的单调性（例如 $B_{j=0}$）在对数时间内计算指标和，从而实现高效的递归搜索。

实验结果

研究问题

• RQ1 当效用函数为利普希茨连续时，$d+1$ 名参与者使用 $d$ 刀进行公平蛋糕分割的查询复杂度是多少？
• RQ2 当效用函数可在多项式时间内计算时，公平蛋糕分割问题是否为 PPAD-完全问题？
• RQ3 能否为具有可测效用函数的三名参与者构建一个全多项式时间近似方案（FPTAS）？
• RQ4 在维度 $d>2$ 下，SPERNER 问题是否存在匹配的查询复杂度界？
• RQ5 能否利用边界上颜色单调性的结构特性，设计出高效公平分配算法？

主要发现

• 在利普希茨效用函数下，$d+1$ 名参与者使用 $d$ 刀进行公平蛋糕分割的查询复杂度被紧致地界定为 $\theta((1/\epsilon)^{d-1})$。
• 当效用函数可在多项式时间内计算时，公平蛋糕分割问题为 PPAD-完全问题。
• 对于具有可测效用函数的三名参与者，存在一个全多项式时间近似方案（FPTAS），其运行时间为 $O((\log N)^2)$。
• 在维度 $d>2$ 下，SPERNER 问题具有匹配的查询复杂度界 $\theta((1/\epsilon)^{d-1})$，解决了长期开放的问题。
• 三名参与者所用的算法利用边界上颜色变化的单调性，高效计算指标和，从而实现在对数时间内完成边界查询。
• 递归算法保持一个非零指标的多边形，并通过几何方式缩减搜索空间，确保在 $O((\log N)^2)$ 时间内收敛。