第115章 船新面膜（1/5）

章杉放弃了胡思乱想。

将所有列出来的和离散数学有关的碎片信息都用笔圈出。

章杉很意外地发现居然在这类碎片里第102号、103号以及104号碎片都是和四色问题有关系的。

章杉之所以觉得意外，是因为章杉记得这个问题老早地就被人解决了。

四色定理又称四色猜想是离散数学中的有一个著名的典型例子，这是世界近代三大数学难题之一。

它是在1852年，由英国的一名绘图员弗南西斯·格思里提出的，他在进行地图着色时，发现了一个现象，“每幅地图都可以仅用四种颜色着色，并且共同边界的国家都可以被着上不同的颜色”。

虽然这个问题曾经困扰人们非常长的时间，但在1976年，肯尼斯·阿佩尔（kenhn haken）使用计算机辅助计算，用了1200个小时和100亿次的判断，还是证明了四色定理。

不过也可能正是因为这两个人证明过程明显比较复杂吧，之后仍然有不少人对这个问题的证明进行简化。

1994年西缪尔等人对证明方法进行了修正、2005年贡蒂埃以新的形式证明。

每一代证明都有其特点和不足。

按照现在这情况，章杉估计写出来多半只能是篇sci四区论文划划水。