||
关于“数学”的对话(124)所谓“4色问题”的简单证明(2)所谓“4色问题”的产生
(接(123))
乙:这个所谓“4色问题”是怎么产生的?
甲:1852年伦敦大学毕业,从事地图着色的[佛朗西斯.格里斯]发现仅需4种颜色,就可将任何复杂的地图着色区分。但不明其故,经展转请教多位数学造诣较深者,乃至著名数学家[哈密顿]均未得解。
乙:哦!是在1878年数学年会上,英国数学家[凯来],才把它归纳为“4色猜想”的吧?!
甲:是啊! 就在次年,《英国皇家地理会刊》创刊号,公开征求“4色猜想”的证明。这问踢就引起了普遍的关注。
乙:好响不久就有人提出了“证明”吧?!
甲:但是,11年后,有位青年[赫伍德] 否定了该“证明”,并证明:仅需5种颜色,就可将任何复杂的地图着色区分。
乙:那怎么能多加一色呢?是否不能证明仅需4色呢?
甲:随后,就依次有人证明地图上分区数=和 <25(1922年),=和 <32(1938年),=和 <45(1969年)都可由4色区分。
乙:若如此,而要证明任意多个分区,可由4色区分。要到哪个年月?!
甲:直到1976年9月美国伊利诺斯大学的数学家[阿沛尔]和[哈肯]教授用每秒400万次的计算机,运算了1200小时,经逻辑判断约200亿次,才完成了“4色猜想”的证明。
乙:但是,这个“4色问题”能否简单地证明呢?!
关于“数学”的对话(125)所谓“4色问题”的简单证明(3)要证明什么?
(接(124))
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-27 11:45
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社