||
关于“数学”的对话(125)所谓“4色问题”的简单证明(3)要证明什么?
(接(124))
乙:所谓“4色问题”究竟要证明什么?
甲:实际上,就是要简单、具体地证明:例如:像在地图上的各种形式和数量的可能分区,都可仅用4种颜色明确区分。
乙:是不是可以概括为:在平面上划分的,任何形状的,彼此相连的,任何区域,都可仅用4种颜色明确区分呢?
甲:当然,我们证明这个问题,严格说来,还是应从此入手。
而实际结果,却可给出一些地图中不会出现的例外情况。
乙:那就是说,这个证明只能,也只需,限于像地图上的各种形式和数量的可能分区哦。
甲:是的!
乙:那么,当年美国伊利诺斯大学的数学家[阿沛尔]和[哈肯]教授用每秒400万次的计算机所证明的也只能限于像地图上的各种形式和数量的可能分区吗?
甲:是的!因为给出的一些例外情况,是任何计算机也无法证明:能仅用4种颜色明确区分的。
乙:这倒是提出了个值得注意的新问题。
甲:这个证明还只限于2线的平面的问题,还可提出几个进一步扩展到更多的问题。
(未完待续)
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-3-19 17:12
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社