若干个顶点以及某些顶点和顶点之间的连线，就构成了一个“图”。如果对某个图进行变换，使得原来任意两个有连线的顶点之间都不再有连线，原来任意两个没有连线的顶点之间现在都有连线了，那么所得到的图就是原来那个图的“补图”。如果一个图和它的补图具有本质上完全相同的结构（这意味着，把其中一个图的顶点以适当的方式与另一个图的顶点建立一一对应的关系，那么对于谁和谁之间有连线、谁和谁之间没有连线这样的问题，两个图的情况是完全一样的），我们就说这个图和它自己是互补的。下图显示了一个顶点数为 5 的图以及它的补图，容易看出，它们的本质结构是相同的。这说明，顶点数为 5 的图有可能和自己互补。
下图显示了一个顶点数为 8 的图，它和它的补图也具有同样的本质结构（你能看出来吗）。这说明，顶点数为 8 的图也有可能和自己互补。
我们今天的问题是：对于那些正整数 n ，存在顶点数为 n 的与自己互补的图？
下图是由 288 个相同的小立方体拼成的一个立体图形，它有一个非常独特，非常难能可贵的性质。要想用若干个相同的小立方体构造出一个具有同样性质的立体图形，这绝对不是一件容易的事情。事实上，下图已经是目前已知的满足该性质的立体图形中所用小立方体个数最少的了。你能猜出这个性质是什么吗？
我们很容易在平面内放置很多点，使得任意两点确定的直线都只经过这两个点——你需要做的，仅仅是让任意三点都不共线就行了。那么，能否在平面内放置若干个点，使得任意两点确定的直线总是恰好经过三个点呢？更一般地，对于任意正整数 n > 2 ，能否在平面内放置若干个点，使得任意两点确定的直线总是恰好经过 n 个点呢？当然，我们要排除掉所有点都共线这种平凡的情况。
记得我很小的时候就想过这个问题。小时候有一种经典的智力题，大致就是叫你把多少多少棵树种成多少多少行，使得每行都有多少多少棵树。比方说，如何把 9 棵树种成 10 行，使得每行都有 3 棵树？答案如下图所示。但请注意，其实图中还有不少直线上只有 2 棵树，比如那条蓝色的虚线。
当时，我就曾经想过，如果树苗足够多，能否让每条可能的直线上都种有 3 棵树呢？于是，我没事儿就来尝试一番，但每一次都以失败告终。后来我才知道，这是不可能的。根据 Sylvester–Gallai 定理，在任意一个有限点集中，一定有一条直线恰好只经过两个点，除非所有的点都是共线的。这个定理有一个非常漂亮的证明，这里不得不提。假设存在某个点集，满足任意两点确定的直线上都存在其他的点。画出所有可能的直线，作出每一个点到每一条直线的垂线段，然后找出所有这些垂线段中最短的一条。不妨假设这条最短的垂线段是点 P 到某条直线 l 的垂线段，垂足点记作 H 。由假设， l 上至少有三个点，因此至少有两个点分布在垂足 H 的同一侧（允许和垂足重合）。不妨把这两个点记作 R 、 Q ，如下图所示。由于我们画出了所有可能的直线，因此 P 、 R 两点之间也有一条直线；此时， Q 到 PR 的垂线段就是更短的垂线段，于是产生矛盾。要想避免这样的矛盾，唯一的方法就是，所有的垂线段长度都为 0 ，换句话说我们根本作不出所谓的垂线段。这也就是所有点全都共线的情况。
我们刚才证明了，在一个点集中，只经过两点的直线一定存在，除非所有点全都共线；因此，当 n > 2 时，我们自然就无法让每条可能的直线上都有 n 个点，除非所有点全都共线。
为了随机地并且概率均等地生成一个 1 到 6 之间的整数，通常的做法就是抛掷一个正方体的骰子。不过，这并不是唯一的办法。如果你有一枚公正的、正反概率相同的硬币，以及一枚不公正的、正反概率之比为 1 : 2 的硬币，那么你也能概率均等地生成一个 1 到 6 之间的整数。首先抛掷那枚不公正的硬币，那么结果有 1/3 的概率是正面朝上，有 2/3 的概率是反面朝上。如果出现了正面朝上的情况，那么令 i = 1 ；如果出现了反面朝上的情况，那么就再抛掷那枚公正的硬币，掷出正面则令 i = 2 ，掷出反面则令 i = 3 。最后，再抛掷一次公正的硬币，如果正面朝上则令 j = 0 ，如果反面朝上则令 j = 3 。容易看出， i + j 的值有 1, 2, 3, 4, 5, 6 这六种可能，它们出现的概率是均等的，都是 1/6 。
有人或许会说，用硬币模拟骰子哪有那么复杂，只用一枚公正的硬币就能办到：连续抛掷三次硬币，并且规定掷出“正正正”代表数字 1 ，掷出“正正反”代表数字 2 ，“正反正”为 3 ，“正反反”为 4 ，“反正正”为 5 ，“反正反”为 6 ，掷出“反反正”和“反反反”则重来，这不就行了吗？不过，这种方法有一个局限性：它不能保证整个过程在有限步之内完成。而我们刚才的方法中，总的步骤数有一个上限：三步之内必然完成。
我们的问题是：是否对于所有的正整数 n ，都能找到两枚合适的硬币，使得借助它们便能在有限步之内概率均等地产生一个 1 到 n 之间的整数？
如果让你设计一种用于人工智能测试的谜题，你会怎么设计？俄国计算机科学家 Mikhail Moiseevich Bongard 在 1967 年出版的 Проблема Узнавания 一书中提出了一种“图形分类依据”型的谜题。谜题的规则很简单：现已按照某种依据把 12 张图片分成了左右两组（每组各 6 张），问依据是什么。在 Проблема Узнавания 的附录中， Bongard 自己出了 100 道题，并把它们依次编号为 1, 2, 3, …, 100 。很多题目对于人类来说非常简单，分类依据几乎是一目了然；但是，要想设计某种算法让计算机自动解出，则是一件看上去几乎不可能完成的任务。下面这张图是书上第 283 页的三个谜题。第 7 号谜题的答案是，左边的图形都是竖着的，右边的图形都是横着的；第 8 号谜题的答案是，左边的图形都在右边，右边的图形都在左边；第 9 号谜题的答案是，左边的图形都是平滑的线条，右边的图形都是波浪形线条。
