切蛋糕问题

三个极度自私的人分一个蛋糕，采用什么策略，能让三人都觉得公平？

 

所谓「三人都满意」，数学上有多种可能的涵义，常用的两种是：

• 公平：三人都认为自己的一份不少于 1/3
• 无怨：三人都不觉得别人拿得比自己多 Envy-free

无怨一定公平，但是公平不一定无怨。

 

一、公平

 

「公平」的切法要简单一些，这里有一个很通俗的介绍：MathematicsIn Europe，波兰数学家们做了很大贡献。针对 n 人的一般公平程序如下（Banachand Knaster 提出）：

1. 先排好顺序。
2. 第一个人切出他认为的 1/n。
3. 按顺序，每个人都判断一下，这一份是不是太大。是的话就削掉一点并进原来的蛋糕，不是的话跳过。
4. 所有人都判断过后，这一块给最后削过蛋糕的那位；如果没有人削过蛋糕，这块给第一个人。
5. 重复 2－4，直至最后剩两人，用我切你选的方式决定。

 

二、无怨

 

1、三人分蛋糕

1） 连续解

daniel 的答案是一种「走刀程序moving-knife procedure」。真正达到「无怨」的 走刀程序 见 Stromquistmoving-knife procedure，80 年代由 Stromquist 提出。

需要一个裁判，从左向右走刀，三人拿着刀站在裁判右边，保持在平分右边蛋糕的位置（按各自标准）。一旦三人中有一个喊「切」，此人获得裁判左边的蛋糕。然后三人中位于中间位置的那位（B）把刀切下。没蛋糕的两位中，离裁判近的那位获得中间那块，远的那位获得右边那块。

容易证明，三人都认为自己的那份最大。