四色定理已利用计算机证明,四色定理的一证明过程
图(3)
然后对此图作以下几个步骤的处理与分析:
第一步:在保持原图的所有点与连线的基础下,再将原图中尚未相连但却能够相连的各点两两之间尽可能多地连接起来,(应注意不再增加新的着色点,而仅仅增加连线)直至成为“三角剖分图”为止。由前面定理5可知这样处理之后新图的着色数不会比原图减少,这一步称之为“添线”。
第二步:任取图内某一个“圈内点”及围绕这点的“最小圈”进行分析。例如我们取的这个“圈内点”为V
,且在“添线”时我们已经连接了V 与V 及V 与V ,并且还连接了V 与V 及V
与V …已经把原图变成了一个“三角剖分图”这时V 的“最小圈”就是V —V
—V —V —V —V
。对于这个“局部图形”进行着色调整与分析。根据定理4,我们可以把V
的最小“点外圈”安排第一、第二、第三种颜色进行着色。把V
安排为第四种颜色进行着色。若然后再给所有“圈外的点”都着上颜色,由假设可知其“着色数”X(G)≧5,但由前面的“公理2”和“公理3”可知“圈内点”与“圈外点”不可能直达,故可以把V
这点的着色由原来安排的第四种颜色调整为第五种颜色,再由定义5可知若这时把V
这点连同V
直接相连的所有连线都去掉。这样做也并不会减少原图的“着色数”。(因为V
这点是被它的四周的“最小圈”阻断隔绝在圈内的,它与“圈外点”的着色是无关的。如果说这样做减少了原图的着色数,例如“着色数”从五减少为四,则说明原图的“着色数”本来就应该是四。)这一步称之为“去点”与“去线”。(这时的V
点是“着色可省略点”,而V
点既然已经去掉,则与它直接相连的各条线,也就自然没有存在的必要了。因为本文采用的是点着色的方法。)
第三步:反复对图中其它各“圈内点”作第一步的“添线”或第二步的“去点”与“去线”,(可交替或不交替地使用)直至对图中的任何一点来说都再也没有“圈内点”可去了为止。最终使它成为一个“三角剖分图”。因为“点”在一个又一个地减少,且“圈内点”与“圈外点”是相对而言的。所以最终的结果只能如图(1)或图(2),即得到只有一个“圈”且圈内只有一个点的图(这时“圈内点”与“圈上点”相连)或一个只有“圈上点”的“三角剖分图”。但这时的“着色数”X(G)≤4。这显然与开始的假设X(G)≥5相矛盾,所以一开始的假设X(G)≥5是错误的。故在“球面”或“平面”上的着色数有X(G)≤4成立。证明完。
为了便于读者更好地理解这一证明,读者可以多自选一些图形,由简单到复杂,按照本文中所提供的方法(即证明中的三个步骤)进行反复试验和思考,便能够悟出本证明其中的无比奥妙和正确性。
四色定理已利用计算机证明,四色定理的一证明过程相关推荐
- 四色定理已利用计算机证明,地图四色定理的非计算机证明
四色问题的相关文献,可用. 第 卷 第 期 重庆工业高等专科学校学报 年 月 编者按地图四色定理作为世界著名的数学难题曾经让许多数学家为之努力有的甚至付出了毕生的 ,, 精力 尽管地图四色定理已于 世 ...
- 四色定理已利用计算机证明,四色定理
"四色定理"又称"四色猜想",一个多世纪以来,激发了大量的数学专家和爱好者的研究[1][2].众多数学家花了100多年的时间要证明这个听起来十分简单的猜想,结果 ...
- 四色定理已利用计算机证明,四色定理已利用
"四色定理"又称"四色猜想",一个多世纪以来,激发了大量的数学专家和爱好者的研究[1][2].众多数学家花了100多年的时间要证明这个听起来十分简单的猜想,结果 ...
- 四色定理已利用计算机证明,地图四色定理的非计算机证明.pdf
地图四色定理的非计算机证明 第 卷 第 期 重庆工 业 高等专科学校 学报 年 月 编者按 地 图四 色定理作为 界著名 的 难 , 曾经让许 多 学家为之努 力 , 的甚至付 出 了 生 的 世 数 ...
- 利用计算机的随机模拟结果帮助学生,对小学数学课堂教学有效性的思考
<对小学数学课堂教学有效性的思考>由会员分享,可在线阅读,更多相关<对小学数学课堂教学有效性的思考(11页珍藏版)>请在装配图网上搜索. 1.对小学数学课堂教学有效性的思考洱源 ...
- 利用计算机解决问题过程中找出已知,用计算机解决问题的过程.ppt
用计算机解决问题的过程.ppt 第一章揭开计算机解决问题的神秘面纱 第一节计算机解决问题的过程 什么是程序 计算机的任何动作都是在执行人给它的指令 人们针对某一需要而为计算机编制的指令序列称为程序指示 ...
- 利用计算机解决问题过程中找出已知,用计算机解决问题的过程讲解.ppt
用计算机解决问题的过程讲解.ppt 第一章 揭开计算机解决问题的神秘面纱,第一节 计算机解决问题的过程,什么是程序,计算机的任何动作都是在执行人给它的指令.人们针对某一需要而为计算机编制的指令序列称为 ...
- 小王利用计算机设计了一个计算程序,小王利用计算机设计了一个计算程序,输入和输出的数据如下表:那么,当输入数据是8时,输出的数据是[]A.B.C.D.-七年级数学...
题文 小王利用计算机设计了一个计算程序,输入和输出的数据如下表: 那么,当输入数据是8时,输出的数据是 [ ] A. B. C. D. 题型:单选题 难度:中档 答案 C 据专家权威分析,试 ...
- 2.利用计算机进行信息加工的一般过程是:,信息加工
本词条缺少概述图,补充相关内容使词条更完整,还能快速升级,赶紧来编辑吧! 信息加工(information processing)译"信息处理".加密是信息加工的一种表现形式,是一 ...
- 利用计算机进行绘制建筑图纸,计算机建筑画的现状与发展
摘 要 计算机辅助建筑设计的出现使得建筑设计的工作方式发生了根本性的变化.本人通过对该系统的一个重要方面――计算机建筑画领域的分析,阐述现阶段计算机建筑画对该行业产生的巨大影响与不足. 关键词 计算机 ...
最新文章
- 李开复「预见2021」:自动化成企业升级转型刚需 | AI日报
- CCF NOI1150 确定进制
- Oracle 中对表空间使用情况进行查询
- centos7 搭建dhcp服务器
- QTP 11 补丁大全
- codeforces 231A-C语言解题报告
- kafka常见疑难问题
- 19-linux下ElasticSearch.6.2.1与head、Kibana、X-Pack、SQL、IK、PINYIN插件的配置安装
- ElasticSearch7.2只能用localhost访问但不能用IP地址访问---ElasticSearch工作笔记027
- 资料 |《深度学习500问》,川大优秀毕业生的诚意之作
- 【OpenGL】各向异性过滤案例
- Android O版本power按键锁屏亮屏流程
- Rxjava中的Hot Observable 和 Cold Observable
- shell编程实现一些小游戏
- 百度站长平台"添加站点"提示"您无权访问该页面,点击确定按钮返回首页?"
- LintCode(M) 乱序字符串
- 怎样恢复计算机管理员用户,忘记了电脑系统Administrator账户的密码?如何恢复?...
- Robot Framework应用——Mac环境下Robot Framework的安装及简单实用
- 不同类型的电机的工作原理和控制方法汇总
- android编程任务进度条,Android 进度条 ProgressBar - Android 入门教程