神马品牌网罗平一中十大帅哥:四色原理是怎么证明的
来源：百度文库 编辑：神马品牌网 时间：2024/05/11 04:54:09
听说已经用计算机证明了，可是这玩意用计算机又怎么证明呢？
数学爱好者都会注意到钱学森在文章中所提的一件事：“去年数学界哄动一时的一件事，是用电子计算机证明了数学上的四色定理。画地图要求相邻两国不用同一色，一幅地图只需要四种颜色。要证明这个定理很难，数学家经过上百年的努力，证明不了。去年美国数学家用电子计算机证明了。他们看到这个问题要证明并不是不可能，而是证明的步骤、程序很复杂，人一辈子的时间也证不完。他们把程序编好，交给高速的电子计算机去干。高速电子计算机也用了一千多个小时才证出来。美国数学家认为，他们的主要贡献不是在证明了四色定理，而在运用电子计算机完成了这件人没有能够完成的事。”
设某国被N个国家所包围，则其可同构映射N边形被N个平面图所包围，即在N边形的边上作单方向上的延长线。在该平面图中，只有在顶角处才有三条线相交于一点。若在此点上应用这四面体原理，则可将N边扩展为N+1边型，也就完成了所谓的数学归纳法。
显然，应用这所谓的四面体原理，我们就可以在平面构筑出任意多边型相交的网络。只要从三角型开始，不断地在顶角处赋予四面体原理，任意类型的图案都可以予以实现。
计算机就是根据这个原理归纳计算的。
解这种问题首先要专门编一个程序，而且在我们普通的计算机上是解不了的，必须有专门的大型计算机。
据我所知，这个程序有50一个判断，即选择。另外是计算机证明的，其正确性不一定可靠，程序本身会不会有错（世界上没有十全十美的软件）？所以很多人并不认为“四色问题”得以解决了。
试验了200000种可能的n国排列法 就用穷举法证明了