第32章 老鹰与刺猬

确实是不能在坐标系中画出的。首先考虑对一个给定的图G，对他的点进行染色，使得任意一条边的两个顶点不同色。我们把满足条件的最小的所需颜色数目叫做atic。

    同时我们把图f中包含的最大完全图子图的点的数目叫做，记为x。很容易发现，一个n个点的完全图由于点两两相邻，至少需要n种不同的颜色。

    .........

    .........

    .........

    设x(n)为M项的序列，可以表示图论任何点阵，由DFT变换，任一X（m）的计算都需要M次复数乘法和N-1次复数加法，那么求出NM项复数序列的X（m），即N点DFT变换大约就需要M^2次运算。当N1=10点甚至更多的时候，需要N3=10486次运算.

    .........

    .........

    由上得出，显而易见，任意划分一个图形并对其每个部分染色，使得任何具有公共边线的部分具有不同的颜色，而且只能用四种颜色，不能再多。这个命题成立。

    证毕。

    突破了思维障碍的李默，一口气把证明的思路全写了下来。难怪百年来有那么多数学家栽倒在四色猜想面前。它就像是一个刺猬一样看着很弱小，其实很难找到下嘴的地方。如果找到了弱点，那么它不过是一道有难度的证明题。

    看着纸上完整的证明思路，李默心中充满了喜悦，他觉得自己正在为人类文明的前进一小步而努力。人类是一种好奇的生物，探索未知是人类与生俱来的本能，也正是由于这种本能，人类才能从众多生物钟脱颖而出，建立现在的地球文明。

    下一步他要做的