1950年德国数学家希许就曾估计，证明四色猜想大概要涉及一万个不同构形。虽然后来证明他的估计是过分夸大了，但它却正确地指明了，四色问题也许只有借助于能处理巨量数据的强有力的计算装置才能获得解决。
1972年哈肯与阿佩尔联手，经过整整四年的紧张工作，终于在1976年6月他们用三台计算机花费了1200个计算机小时，处理了两千多个构形，才算验证了四色问题成立。可对于数学家来说肯定是不满意的。
——————
吴哲先从着色判定问题入手：设已知一个图g在只准使用这m种颜色对g的结点着色的情况下，是否能使图中任何相邻的两个结点都具有不同的颜色呢?
再从m-着色最优化问题则求可对图g着色的最小整数m。这个整数称为图g的色数。这是求图的最少着色问题，来求出m的值。
for(i = 1m= n; i
)
a＾r/(a-b)(a-c) b＾r/(b-c)(b-a) c＾r/(c-a)(c-b)
当r=0，1时式子的值为0 当r=2时值为1 当r=3时值为a b c
……
v f-e=x§，v是多面体p的顶点个数，f是多面体p的面数，e是多面体p的棱的条数，x§是多面体p的欧拉示性数。
如果p可以同胚于一个面（可以通俗地理解为能吹胀而绷在一个球面上），那么x§=2，如果p同胚于一个接有h个环柄的面，那么x§=2-2h。
……e-ix=cosx-isinx，然后采用两式相加减的方法得到：sinx=(eix-e-ix)/(2i)，cosx=(eix e-ix)/2.
eix=cosx isinx中的x取作n就得到： e^in 1=0.
~~~~~~
喜欢从科大少年班开始的重塑人生请大家收藏：(m.wenjianwu.com)从科大少年班开始的重塑人生文剑屋更新速度全网最快。