第115章 船新面膜
章杉放弃了胡思乱想。
将所有列出来的和离散数学有关的碎片信息都用笔圈出。
章杉很意外地发现居然在这类碎片里第102号、103号以及104号碎片都是和四色问题有关系的。
章杉之所以觉得意外，是因为章杉记得这个问题老早地就被人解决了。
四色定理又称四色猜想是离散数学中的有一个著名的典型例子，这是世界近代三大数学难题之一。
它是在1852年，由英国的一名绘图员弗南西斯·格思里提出的，他在进行地图着色时，发现了一个现象，“每幅地图都可以仅用四种颜色着色，并且共同边界的国家都可以被着上不同的颜色”。
虽然这个问题曾经困扰人们非常长的时间，但在1976年，肯尼斯·阿佩尔（KennethAppel）和沃尔夫冈·哈肯（WolfgangHaken）使用计算机辅助计算，用了1200个小时和100亿次的判断，还是证明了四色定理。
不过也可能正是因为这两个人证明过程明显比较复杂吧，之后仍然有不少人对这个问题的证明进行简化。
1994年西缪尔等人对证明方法进行了修正、2005年贡蒂埃以新的形式证明。
每一代证明都有其特点和不足。
按照现在这情况，章杉估计写出来多半只能是篇SCI四区论文划划水。
毕竟现在关于四色问题的补充研究实在是太多了。
不过谁又知道呢，说不定系统系统提供的和四色问题有关的碎片或许是能够提供更完美地证明吧。
再或者系统会在四色理论的拓展方面带来些许新意呢！
章杉在纸上写写画画，将相关的碎片背后可能涉及到基础知识要点整理出来，不知不觉又在资料室呆了一个小时，累积了8100点经验（含Ⅰ号徽章加成的50%）。
“目前系统等级为9级，升级所需经验为20，573，650/25，600，000”
已经大体上知晓哪些碎片是有价值的碎片，但对应的书目章杉只能选择去介子空间图书馆内利用优享读书卡去阅读，说到