以前提到过，理论计算机这门课会邀请一些正在这边访问的教授来讲课，由于是本科生，所以这些教授一般都是讲些有趣的东西，比如之前的overhang 堆积木 - 能伸出桌面多远？。今天这次课，来自Aarhus的Peter Bro Miltersen讲了一个很有趣的游戏问题。

现在有100个箱子，有一个学生，一张写着他的名字的名片被放在某个随机选择的箱子里面。现在这个学生可以检查不超过一半也就是50个箱子，希望能够把它的名字找出来。

很显然，这个学生没有什么好的方法，随机选择50个箱子打开，有一半的概率可以发现含有它的名字纸条的箱子。

OK，现在还是100个箱子，但是有100个学生，写着这些学生的名字的100张纸条随机放入100个箱子里(每个箱子恰好一张纸条)。现在每个学生可以检查不超过一半也就是50个箱子，每个学生希望能找到含有自己名字的箱子。如果在游戏中，所有学生都是独立的（他们不能互相讨论以及看到其他人的开箱结果），问所有学生都实现目标的概率有多大？

如果把每个学生的结果认为是独立的，那么成功的概率只有$2^{-100}$，但其实我们可以做的比这要好得多。事实上，让每个学生都找到含有自己名字的箱子的概率可以高达0.3。

假设学生的名字就是它的编号，从1到100。第$i$个箱子里的编号是$\pi(i)$。第$i$个学生这样做：先打开第$i$个箱子，再打开第$\pi(i)$个箱子，再打开第$\pi(\pi(i))$个箱子，以此继续下去，直到发现写着自己名字（也就是$i$）的纸条或者打开箱子数到达50个为止。

那么当且仅当在$i$到$\pi(i)$这个置换中含有长度超过50的圈时，有学生找不到含有自己名字的箱子。这个概率是$\sum_{j=51}^{100}1/j \sim \ln 2$（注意一个随机置换里含有一个长度为$j$的圈的概率为$1/j$）。

所以上面策略的成功概率为 $1-\ln 2 \sim 0.3$。

类似于以前提到的帽子游戏一以及帽子游戏二，我们要最大化一个团体都成功的概率，但是每个单个个体成功的概率又是一定的，那么我们只需要设计策略时，让大家要么几乎同时成功，要么几乎同时失败。就像上面的策略里，如果有人失败，意味着排列中有一个长度很大（大于n/2）的圈，这个圈上所有人同时也会失败，通过把失败的实例重合到一起，这样就提高了总体成功的概率。

上面这个问题不是孤立的，它可以应用在static data structure problems的下界证明上。对于后面这个问题，在最近是一个很热门的研究领域，但在这里写了也没人看，知道这个问题的也不需要看，所以我只提一下我们还可以做什么，下面是一个open problem，可以直接得出一个data structure问题的一个下界，是一个可以写学术论文的题目：

Open problem：假设现在有$2n$个箱子，$n$个学生，学生们的名字纸条被放入随机选中的$n$个箱子里。现在每个学生可以检查不超过一半也就是$n$个箱子，以找到含有自己名字的箱子。问这时候学生可以采取什么样的策略最大化所有学生都成功找到含有自己名字的箱子的概率。

期望结果：证明指数级小的下界或者找到常数概率的策略。

有兴趣的可以参考The cell probe complexity of succinct data structures.

© zhiqiang for 阅微堂, 2008. | 链接 | 15 条评论

Yao在课程《理论计算机II》的第一节课上提到的一个问题：

三个人如何平分一块蛋糕？

要求每个人拿到不少于1/3的蛋糕——这里指的是每个人认为自己拿到的蛋糕价值不少于整块蛋糕的1/3，而每个人对于蛋糕的不同区域的价值认识可能不同（即并不完全等价于面积）。

方法最好可以推广到n个人的情形。

课上讲了一种方法：

任选一个人，在蛋糕上缓慢移动，直到有人喊停，切下一块给这个喊停的人。直到分完为止，最后一块给最后一个人（没机会喊停了）。

这个有趣的问题在课堂上引起非常多的讨论，助教被要求在习题课上至少给出6种不同的方法...

请大家帮忙，踊跃发言

[tags]理论计算机课程,切蛋糕,策略[/tags]

© zhiqiang for 阅微堂, 2007. | 链接 | 13 条评论

理论计算机(I)课上讲的一个问题，很有意思。

已经一个n，m和$\{1,2,\cdots, m\}$里n个数，设计一种保存这n个元素的表的数据结构形式，使得对$\{1,2,\cdots, m\}$中任何一个数，可以最少的查询次数（每次查询，可以选择一个位置，然后你能知道表中这个位置的数据），获知这个数是否在表中。

如果设计这个表为有序表，用二分法需要$\log n$次查询。

有序表是最优的么？

举一个例子，一个保存1，2，3里面的两个数的有序表，要想知道2是否在这个表里面，至少需要两次查询。可不可以用一种特定的数据结构，使得一次查询就能判定任何一个数是不是在数据库里面？

结论是可能的，见下图：

一般的，假如表里的n个数的范围是1，2，...，2n-2，即$m=2n-2$，可以设计一种方法，使得，对于任何一个数，只需要查询一次，便能知道这个数是否在这个表里面。

课堂上有同学当场就想出设计方法，向他致敬！

另外，利用广义的Ramsey定理，对于固定的n，能够证明当m足够大时，无论你怎么设计那个表的结构，也至少需要$\log n$的查询次数。

一个很神奇的问题。相关论文Should Table be Sorted?, 上面的图片也来自这篇文章。

[tags]数据库,理论计算机[/tags]

© zhiqiang for 阅微堂, 2007. | 链接 | 6 条评论

题外话：最近阅微堂发的都是网友转发的政治方面的文章，不爱看的人会比较痛苦。现在讨论一个轻松一点的话题。其问题，已经被研究了很多年，有许多不同形式的阐述方式和变种，应用范围也很广。下面应该是比较吸引人和简单的那种，来自姚期智教授的理论计算机（I）的授课内容——我是其助教之一。

现假设你在PIE上征友，或者以其它方式，选定了某些约会对象，比如$n=20$个。约会当然得一个一个来，那么假设

1. 可以将所有已约会的对象按优劣排序，但无法得知他们在所有的人里面的排名。在约会过程中，你知道某人是你目前已见到的最好的，但当时还不能确定是不是所有人里面最好的。
2. 如果你在约会当时决定放弃某人，后面再没有机会和此人和好——好马不吃回头草。
3. 选定意中人后，约会结束——骑驴找马是不道德的。

OK，现在目标当然是找到你心目中最喜欢的人。关系定得太早，会因为第2条假设——精彩的还在后头，定得太晚，会因为第3条——而后悔莫及。所以，什么策略才能让你以最大概率找到你最满意的那个人呢？

一个简单而且自然的方法是，待定$k$，与前$k$个人约会，不做任何选择。继续约会直到遇到比这前k个人还好的那个人为止。

通过概率计算得出，这个方法比我们想象中要好得多。通过选取合适的$k=n/e\sim 0.37n\sim 7$，有接近40%的机会选中最好的那位，有几乎70%的机会选中最好或者次好的那位。

可以证明，上面的策略已经是最优的了。（证明在此：37 rule is optimal，英文）。

这个问题在日常生活中有更多应用。比如你打算在30岁前结婚，现在20岁。那么在24岁前先别确定目标，24岁以后遇到比之前都好的就可以定下来。这几乎就是你能达到最好的结果了——假设你的候选人在这十年是均匀或者随机出现的。

这种策略也许能说明为何初恋成功率低？

以上所用都是爱情和婚姻的简化模型，没有考虑爱情中的主观因素。所以，请只把它当作一个脑力游戏。

© zhiqiang for 阅微堂, 2007. | 链接 | 27 条评论

在大家玩牌的时候，每一局之前都需要重新洗牌——一次洗牌指将牌分为左右两垛然后穿插放牌，但多少次洗牌才是正当的呢？就我多次打牌的观察，多数人都不超过4次。

但就D. Aldous和P. Diaconis在1992的一个结果，要想达到“比较完美”的洗牌效果——洗完牌后牌局基本上随机分布，至少需要5次，要达到“完美”洗牌，则需要7次。但更多次数不会有太多改进。这还是对于一副牌而言的。对于两副牌则需要9次，6副牌需要洗12次。

所用方法是计算图上随机游走达到稳定分布的速度。而这个方法就应用于上面这个结果之后，对于理论计算机的概率算法产生了深远的影响，这也使得P.Diaconis的这篇论文超出了它本身看似玩物的领域。

再谈一下P. Diaconis，此君14岁离家，去做职业魔术师，没上高中，后来用白天魔术表演挣来的钱晚上念大学课程，最后获得哈佛的博士和斯坦福的教职。另传说中，此人赌技惊人，是赌场不受欢迎之人物。

© zhiqiang for 阅微堂, 2006. | 链接 | 6 条评论