题目
怎样证明四色猜想
提问时间:2021-03-21
答案
这个四色猜想,没有严格意义上被证明出来.
有数学家利用计算机.证明出来了,但是有的数学家还是不承认这个方法.
附录:
计算机证明四色问题
高速数字计算机的发明,促使更多数学家对“四色问题”的研究.从1936年就开始研究四色猜想的海克,公开宣称四色猜想可用寻找可约图形的不可避免组来证明.他的学生丢雷写了一个计算程序,海克不仅能用这程序产生的数据来证明构形可约,而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手.
他把每个国家的首都标出来,然后把相邻国家的首都用一条越过边界的铁路连接起来,除首都(称为顶点)及铁路(称为弧或边)外,擦掉其他所有的线,剩下的称为原图的对偶图.到了六十年代后期,海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组.在海克的研究中第一次以颇不成熟的形式出现的“放电法”,这对以后关于不可避免组的研究是个关键,也是证明四色定理的中心要素.
电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程.美国伊利诺大学哈肯在1970年着手改进“放电过程”,后与阿佩尔合作编制一个很好的程序.就在1976年6月,他们在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明,轰动了世界.
这是一百多年来吸引许多数学家与数学爱好者的大事,当两位数学家将他们的研究成果发表的时候,当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳,以庆祝这一难题获得解决.
有数学家利用计算机.证明出来了,但是有的数学家还是不承认这个方法.
附录:
计算机证明四色问题
高速数字计算机的发明,促使更多数学家对“四色问题”的研究.从1936年就开始研究四色猜想的海克,公开宣称四色猜想可用寻找可约图形的不可避免组来证明.他的学生丢雷写了一个计算程序,海克不仅能用这程序产生的数据来证明构形可约,而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手.
他把每个国家的首都标出来,然后把相邻国家的首都用一条越过边界的铁路连接起来,除首都(称为顶点)及铁路(称为弧或边)外,擦掉其他所有的线,剩下的称为原图的对偶图.到了六十年代后期,海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组.在海克的研究中第一次以颇不成熟的形式出现的“放电法”,这对以后关于不可避免组的研究是个关键,也是证明四色定理的中心要素.
电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程.美国伊利诺大学哈肯在1970年着手改进“放电过程”,后与阿佩尔合作编制一个很好的程序.就在1976年6月,他们在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明,轰动了世界.
这是一百多年来吸引许多数学家与数学爱好者的大事,当两位数学家将他们的研究成果发表的时候,当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳,以庆祝这一难题获得解决.
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
1,人们染上烟瘾,最终因吸烟使自己丧命.
最新试题
热门考点
- 1夜静如水,雨淅淅沥沥的下着,飘进屋檐的雨丝,染湿了青春的扉页,风沿着我的睡意,袭入了我的梦中,吹散了青春二字,又支离破碎的呈现在清晨醒来的晨曦里.
- 2求教小学数奥
- 3这两个节目中你更喜欢哪一个?汉译英
- 4什么是曝气池混合液污泥浓度(MLSS)
- 5〔x+1/x)(x^2+1/x^2)(x^4+1/x^4)(x^8+1/x^8)(x^16+x^16)(x^2-1) 的结果
- 6If you _(feel)tired,you_(have)to have a rest.
- 7计算1+2+3+4+5+6+7+8+9+10+11+······+1992+1993+1994=?的简便记算的方法
- 8什么标志着维新变法运动的开始
- 9小学五年级129页词语盘点
- 10已知m是一元二次方程,x平方-2x-1=0的跟,不解方程,求2m平方-4m+1的值