大师作文网怎样证明四色猜想
来源：学生作业帮 编辑：大师作文网作业帮 分类：历史作业 时间：2024/11/14 00:00:41
怎样证明四色猜想
这个四色猜想,没有严格意义上被证明出来.
有数学家利用计算机.证明出来了,但是有的数学家还是不承认这个方法.
附录：
计算机证明四色问题
高速数字计算机的发明,促使更多数学家对“四色问题”的研究.从1936年就开始研究四色猜想的海克,公开宣称四色猜想可用寻找可约图形的不可避免组来证明.他的学生丢雷写了一个计算程序,海克不仅能用这程序产生的数据来证明构形可约,而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手.
他把每个国家的首都标出来,然后把相邻国家的首都用一条越过边界的铁路连接起来,除首都(称为顶点)及铁路(称为弧或边)外,擦掉其他所有的线,剩下的称为原图的对偶图.到了六十年代后期,海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组.在海克的研究中第一次以颇不成熟的形式出现的“放电法”,这对以后关于不可避免组的研究是个关键,也是证明四色定理的中心要素.
电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程.美国伊利诺大学哈肯在1970年着手改进“放电过程”,后与阿佩尔合作编制一个很好的程序.就在1976年6月,他们在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明,轰动了世界.
这是一百多年来吸引许多数学家与数学爱好者的大事,当两位数学家将他们的研究成果发表的时候,当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳,以庆祝这一难题获得解决.
有数学家利用计算机.证明出来了,但是有的数学家还是不承认这个方法.
附录：
计算机证明四色问题
高速数字计算机的发明,促使更多数学家对“四色问题”的研究.从1936年就开始研究四色猜想的海克,公开宣称四色猜想可用寻找可约图形的不可避免组来证明.他的学生丢雷写了一个计算程序,海克不仅能用这程序产生的数据来证明构形可约,而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手.
他把每个国家的首都标出来,然后把相邻国家的首都用一条越过边界的铁路连接起来,除首都(称为顶点)及铁路(称为弧或边)外,擦掉其他所有的线,剩下的称为原图的对偶图.到了六十年代后期,海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组.在海克的研究中第一次以颇不成熟的形式出现的“放电法”,这对以后关于不可避免组的研究是个关键,也是证明四色定理的中心要素.
电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程.美国伊利诺大学哈肯在1970年着手改进“放电过程”,后与阿佩尔合作编制一个很好的程序.就在1976年6月,他们在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明,轰动了世界.
这是一百多年来吸引许多数学家与数学爱好者的大事,当两位数学家将他们的研究成果发表的时候,当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳,以庆祝这一难题获得解决.