【103】计算机证明世界猜想！【2更】 (第2/2页)

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

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

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

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

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

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

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

靠人脑，很难搞定。

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

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

吴敌说完，所有人就看到他猛地敲击键盘，电脑显示屏之上，顿时出现了一个程序。

唰！

程序自动运行，而后产生了无数种的图形变幻。

“我这个程序，能一秒钟制作几百万张正规的地图构形，从最小的5国开始，5国就一种可能，而6国就有30种可能……一直推演下去，到几百国家，几千国家，几万……”

吴敌在那说着，台下所有人都惊为天人，这尼玛，太牛逼了啊！

分分钟制作了一个这样牛逼的软件。

说完，吴敌又开始坐到了另外一台电脑上，开始继续编程。

“另一台电脑要搞什么？”

“不知道啊……”

“看样子，是颜色区分的某种程序……”

几个懂编程的大学生在那看着，吴敌却是一分钟就编程好了这个自动染色软件。

相比于刚才的自动制图，这染色显然简单很多。

但是这台电脑的运算却也不低，因为吴敌要证明四色猜想，必须两台电脑联动……在第一台电脑上快速生成各种正规图形，从最少的五个国家开始，一直增加！

而第二台电脑，就是要给这生成的地图，快速染上四种颜色，确保四色猜想的证明无误。

所以两台电脑的运算，都是要全速开启才行。

“当国家数到达几十万的时候，基本就能证明无穷，这是数学上所说的可约，也是数学上的递进规律，而几十万个国家的地图，对于世界上村镇制图，都是可以完全证明的……也就是说，只要十几万国构型四色成功，那就能证明，四色猜想证明成立！”

吴敌说完，计算机已经推进到了一百多个国家……这速度，估计人脑计算，得好多年……