第387章 章 计算机证明世界猜想！(第 2/3 页)

    夏天也被吴敌的编程给刺激的傻掉了，这家伙，还有什么不会的？！

    她翻看着自己的投影资料，而后唰的一下，一开始夏天阐述的很多关于四色猜想的论证观点，出现在了大屏幕上。

    吴敌的声音，也是响彻整个大礼堂。

    “夏天同学，刚才用反证法证明了，在每一张正规地图中，至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组‘构形’是不可避免的，每张地图至少含有这四种构形中的一个！”

    “我就不在此计算了，毕竟上面的解题过程都有证明数据，F面数小于5……”

    吴敌说完，一旁的丁兆祖和刘半学点了点头。

    “这个过程是对的，这是四色猜想正规地图的构形理论……”

    “只要证明这个构形的地图，只需要四色填充，就没什么问题了……”

    “对！”

    两个数学家相视一眼，但还是没搞懂吴敌需要电脑干什么？

    “我们知道，在几何图形之中，如果一个几何物体在一定条件下分解成一些‘较小’的几何物体的并集，就称它为可约的。”

    吴敌开始阐述前世数学家肯普提出的另一个概念——“可约”。

    “可约”这个词的使用是来自肯普的论证。

    他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图，也叫作最小五色地图。

    自从引入“构形”，“可约”概念后，数学界对“四色猜想”，有了进一步的简化方法，只要逐步检查构形以决定是否可约的一些标准方法，就能够寻求可约构形的不可避免组，这是证明“四色问题”的重要依据。

    但要证明超大地图的构形可约，需要检查大量的细节，这是相当复杂的。

    靠人脑，很难搞定。

    因为这可能涉及到几百亿次甚至几千亿次的尝试。

    “我现在编写的这个程序，是自动制图软件，我会让计算机的高速运算，把这些可能的正规地图构型和可约，全部制作出来……”

    -->>(第 2/3 页)（本章未完，请点击下一页继续阅读）