四色定了解题汇报
作者：魏泽宇起源：JZXXOJ-1060
目录
先看题目
  著名四色定理你一定听说过吧？这可是近代世界三大数学难题之一唷（顺便提上一句，另外两个是费马定理和哥德巴赫猜测）。　　  四色定理提出来自英国。1852年，毕业于伦敦大学弗南西斯格思里(Francis Guthrie)在一家科研单位搞地图着色工作时，发觉了一个有趣现象：“看来，每幅地图都能够用四种颜色着色，使得有共同边界国家着上不一样颜色。”（注意：只要求有公共边区域不一样色就能够，只有公共顶点同色也没关系）。  四色定理一直都无法证实。　　直到1976年，在J. Koch算法支持下，美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)在美国伊利诺斯大学两台不一样电子计算机上，用了1200个小时，作了100亿判断，才终于完成了四色定理证实。　　  你任务相对那些数学家们来说当然要轻易得多：你只要编写一个程序，计算一下在给定一张有5个区域地图上，用四种颜色填充不一样区域，并确保有公共边区域不一样色方案数有多少就能够了。