年哈肯与阿佩尔联手，经过整整四年的紧张工作，终于在年月他们用三台计算机花费了个计算机小时，处理了两千多个构形，才算验证了四色问题成立。可对于数学家来说肯定是不满意的。
——————
吴哲先从着色判定问题入手设已知一个图g和&apapgt种颜色，在只准使用这种颜色对g的结点着色的情况下，是否能使图中任何相邻的两个结点都具有不同的颜色呢?
再从-着色最优化问题则求可对图g着色的最小整数。这个整数称为图g的色数。这是求图的最少着色问题，来求出的值。
for(i&bsp&bsp=&bsp&bsp&bsp&bspi&apaplt=&bsp&bsp&bsp&bspi++)
{
if(dfs(，&bsp&bspi))
{
ut&bsp&bsp&apaplt&apaplt“the&bsp&bsp&bsp&bsplors&bsp&bsp“&apaplt&apaplt&bsp&bspi&bsp&bsp&apaplt&apaplt&bsp&bspedl
break
}
}
------
。