数学聊斋之如何切蛋糕.docVIP

数学聊斋之如何切蛋糕 　　摘要：切蛋糕问题为资源分享的数学理论提供了简单的入门知识。本文以切蛋糕问题为主轴，简述了关于切蛋糕的几大理论及无嫉妒分割，着力于塑造出一个令人乐在其中的数学形象。 　　关键词：切蛋糕；数学理论；无嫉妒分割 　　中图分类号：G633.6文献标识码：A文章编号：1673-0992（2011）04-0261-01 　　 　　早在两千多年前，人们就认识到数的重要。中国古代哲学家老子在《道德经》中说：“道生一，一生二，二生三，三生万物。”古希腊的思想家菲洛劳斯说得更加确定有力：“庞大、万能和完美无缺是数学的力量所在，它是人类生活的开始和主宰者，是一切事物的参与者。没有数字，一切都是混乱和黑暗的。”既然数是一切事物的参与者，数学当然就无所不在了。 　　也许你曾经有过这些疑惑：围棋、象棋是否存在必胜秘诀？魔方怎么用最少步数使它还原？这些问题的其本质仍属于数学的范畴。因此，有人会问，乐在其中的数学还有哪些？下面不妨让我们从切蛋糕说起。 　　以切蛋糕为例，罗伯逊和韦布在《切蛋糕算法》中对整个领域作了解析。下面让我们一起探寻分蛋糕中所蕴涵的奥秘吧！ 　　重申一下，他们要分蛋糕，且都觉得分法很公平，于是皆大欢喜。这里的“公平”是指，“在我看来自己的一份要多于一半。”分享者可能会对给定的任何一份蛋糕的价值都持有不同的意见。因此，有一个奇怪的观点是，当分享者对哪一份持有不同看法时，蛋糕就更好分。例如，贝蒂偏爱樱桃鲍勃则喜欢酥皮，所以，我们可以把酥皮分给鲍勃，把樱桃分给贝蒂，两人各取所爱。如果两人都想要酥皮，问题就更麻烦了。 　　最简单的情形只涉及两个人。采用“你切，我选”这一分法可以上溯到2800年前！双方都没有什么理由好抱怨，在这个意义上说，他们都觉得结果是公平的。如果贝蒂不喜欢鲍勃留下的那一份，那么，这是她自己的错，未能再仔细一点把蛋糕均分。如果鲍勃不喜欢他的那一份，那是因为他自己作了错误的选择。 　　在三个人的情形，整个领域开始变得有趣起来。汤姆、杰克和马克分蛋糕，每人根据各自的估计，都觉得自己至少分得三分之一，于是皆大欢喜。顺便指出，在所有的情形中，都假定蛋糕无限可分，尽管当蛋糕具有一定大小的“原子”（指至少被一个接受者赋予了非零值的单个点）时，该理论多半仍然成立。不过， 简单起见，一般假设“原子”不存在。罗伯逊和韦布通过分析似是而非的答案解决了这一情形。过程如下： 　　第一步：汤姆把蛋糕切成X和W两块，在他看来，X占1/3，W占2/3。 　　第二步：杰克把W切成Y和Z两块，在他看来，每一块均为W的1/2。 　　第三步：马克从X、Y、Z中选择他喜欢的一块。汤姆从剩下的两块中选一块。杰克拿最后一块。 　　这种算法公平么？显然，马克是满意的，因为他先挑。汤姆也是满意的，不过原因稍稍复杂一些。若马克选X，则汤姆只能选Y和Z中他认为较大的那块。由于他认为Y和Z共占2/3，因此，他必认为至少其中有一块占1/3。另一方面，若马克选Y或Z，则汤姆可选X。 　　然而，杰克可能对结果并不满意。如果他不同意汤姆的第一次切法，可能会觉得W要少于1/3。那么只有X能让他满意。但马克也可选Y，汤姆可选X，因而杰克只能取他不想要的那一份Z。 　　因此，上述算法是不公平的。对于公平三分问题的第一个正确解法是由斯泰因豪斯于1944年给出的“修剪”法： 　　第一步：汤姆把蛋糕切成X和W两块，在他看来，X占1/3，W占2/3。 　　第二步：汤姆把X递给杰克，如果杰克认为这部分超过1/3，就将其修剪成1/3，如果不超过1/3，就将其置于一边。我们把所得的那块记为X?~(X?~小于或等于X)。 　　第三步：杰克把X?~递给马克，马克要么接受，要么拒绝。 　　第四步：（a）若马克接受X?~，汤姆和杰克就把剩下的蛋糕（W加上从X上修剪下来的碎片）堆在一起，并把它看成单独一块蛋糕。对其施以“你切，我选”法。（b）若马克拒绝X?~，且杰克修剪过X，则杰克取X?~，汤姆和马克对剩余部分施以“你切，我选”法。（c）若马克不接受X?~，且杰克也不曾修剪X，则汤姆取X，杰克和马克对剩余部分施以“你切，我选”法。。 　　该方法最显著的特征就是它很容易推广到n个人的情形。移刀切入，让每个人一旦看到L的大小达到1/n就叫停。第一个叫停者得L，其余n-1个人对剩下的蛋糕重复上述过程，当他们看到切得1/（n-1）时叫停……依此类推。但这种算法存在一个问题，即游戏者的反应有一个滞后时间。或许，解决这个难题的最佳方法就是把刀移动得慢一点，很慢很慢。或者，假设所有游戏者的反应速度超快。 　　我们称前一种为“固定刀”算法，后一种为“移动刀”算法。当人数很多时，逐次配对算法需要切很多次。哪种方法所需切割次数最少？移动刀算法切n-1次得到n块，