为了区别地图上两个相邻的国家或地区,通常是在其中分别涂以不同的颜色。人们在实践中发现,只需要四种颜色就够用了。
一百多年来,求证“四色定理”吸引了诸如摩根、葛斯利、凯里等一批数学家进行研究,但都未能成功。1976年美国伊利诺斯大学两名青年数学家阿佩尔和海肯用计算机证明了“四色定理”的正确
证明“四色定理”需要分析可能出现的多种组合图形,这种分析极为复杂。如果依靠人力,一辈子的时间也不够用。即使使用计算机,还是用去了1200个小时。这项研究体现了人与计算机合作的无限潜力。(《今晚报》3.15)
[值班总编推荐] “扫码入企”以数字手段规范涉企检查
[值班总编推荐] 把饭碗端得更稳,让日子过得更甜 ...
[值班总编推荐] 新大众文艺蓬勃发展,文艺批评如 ...
张岱的“红楼梦”
在外人看来,张岱的倔强与坚守,可能是不可理喻的,近乎疯癫的状态,早就让他脱离世俗评价了。“莫说相公痴,更有痴似相公者”,醉酒之后的岸上慨叹,留下世间诸多遗憾,却也让张岱的“精神飞地”得以不受打扰。【详细】
《豫让》:挖掘忠义故事中的哲学思辨与人文关怀
当豫让在舞台上伏剑自杀,当思想家的声音在剧场中渐次散去,留给观众的是一串悬而未决的追问——什么是义?谁来定义自由?历史该如何理解?这正是《豫让》最可贵的品质。它不急于给答案,而是把权利交还给观众。【详细】
以制度型开放谱写区域合作新篇章
【详细】
数字技术赋能乡村全面振兴
福建省作为全国数字乡村先行区建设省份,探索形成一批可复制可推广的应用场景,为全国提供了生动样板。【详细】
手机光明网
光明网版权所有
光明日报社概况 | 关于光明网 | 报网动态 | 联系我们 | 法律声明 | 光明网邮箱 | 网站地图