客人登录 按这里注册 忘记密码 在线 搜索 论坛风格  帮助  插件   


>>> 数学分析,奇异积分,几何,代数,微分方程,群与环,数论
中国博士网数学论坛 [返回] → 浏览:四色猜测的最简单证明 标记论坛所有内容为已读 

 目前论坛总在线 27 人,本主题共有 1 人浏览。其中注册用户 0 人,访客 1 人。  [关闭详细列表]
发表一个新主题 回复贴子 开启一个新投票 ◆此帖被阅读 38 次◆  浏览上一篇主题  刷新本主题  树形显示贴子 浏览下一篇主题
 * 贴子主题: 四色猜测的最简单证明 不分页显示此帖  保存该页为文件  本贴有问题,发送短消息报告给版主  加入个人收藏&关注本贴  显示可打印的版本  把本贴加入收藏夹   
 雷明85639720 




等级: 新手上路
信息: 该用户目前不在线
威望: 0 积分: 0
现金: 176998 金币
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 7516
精华: 0
资料:  
在线: 727 时 04 分 25 秒
注册: 2014/06/07 08:05am
造访: 2019/10/19 09:00pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [楼 主]
  ©中国博士网 -- 中国博士网 www.chinaphd.com  ']z`m
这个是上传的 doc 格式文件 [点击查看]t>
©中国博士网 -- 中国博士网 www.chinaphd.com  lH7
©中国博士网 -- 中国博士网 www.chinaphd.com  ^3(f?2
©中国博士网 -- 中国博士网 www.chinaphd.com  %9aN
四色猜测的最简单证明D%2N *
雷  明-u
(二○一九年十月八日)0Jj{&#
(图请见上面的DOC文件)B:By
©中国博士网 -- 中国博士网 www.chinaphd.com  C$
现在证明四色猜测主要是要证明坎泊证明中所遗漏了的具有“双环交叉链”的5—轮构形能否可约的问题了。所谓“环”就是构形围栏顶点的某条连通的对角链与待着色顶点组成的闭合回路。有人把这种构形也叫做“染色困局构形”,我看是很合适的。解决该类构形的能否可约,就是看能否从围栏顶点所点用的颜色中空出一种给待着色顶点。t0a
1、染色困局构形的特点|qrx4?
用一个BAB型的5—轮构形来说明。5个围栏顶点在占用了A、B、C、D四种上颜色的情况下,一定是有两个顶点用了同一种颜色的,这就是B。“双环”就是A—C和A—D两条链通链,连通链不能交换,所以也就不空不出A、C、D三色之一;B—C链和B—D链虽各不连通,但交换了一个后,便会新生成从另一个B色顶点到其对角顶点的连通链,也不能连续的移去两个B。四种颜色都不能空出,这就表现出了染色困局的局面。(><X
2、染色困局构形的分类h"6
A—C链,A—D链,B—C链和B—D链都不能交换,那么只能考虑交换A—B链和C—D链了。这两种链正好是一对相反链,是不能相互穿过的。有一种是环形链时,另一种一定是被这个“环”分隔成不连通的两部分,交换了一部分链时,才不会使另一部分链的颜色也跟着改变。据此,我们就可以把染色困局构形分成有经过构形围栏顶点的环形链的构形和无经过构形围栏顶点的环形链的构形两大类。图1至图3是有环形链的构形,图4是无环形链的构形。vT]y'Q
©中国博士网 -- 中国博士网 www.chinaphd.com  nD
©中国博士网 -- 中国博士网 www.chinaphd.com  V
©中国博士网 -- 中国博士网 www.chinaphd.com  dvK
无环形链的构形还有一种与图4的构形是左右正好相反排列的构形,这里就不再画图了。1 $8t
3、各类染色困局的可约性T`B
对于有环形链的构形,从图1至图3可以看出,只要交换了环形链之外经过构形围栏顶点的与环形链呈相反链的色链,原来的双环交叉链就会变得不连通,构形就会转化成非染色困局构形,这时就可以使用坎泊的颜色交换技术,从构形围栏顶点中空出一种颜色来。由于这一方法是以破坏原来的双环交叉链为目标的,所以叫做断链交换法。ii8X+
对于无环形链的构形,由于可交换的A—B链和C—D链都是直链,且都只是一条,也不能进行交换,就是交换了不起任何作用。所以只能先交换B—C链或B—D链中的一种,使构形转型了。看转型后的CDC型构形或DCD型构形是否是可约的,否则再进行同一方向的连续转型,直到构形变成可约的构形为止。请注意,在转型的交换过程中,如果遇到了那次交换后的图,变成了有环形链的构形,则要及时的改用断链交换法,以尽早的结束转型过程。/
4、连续转型交换的最大交换次数iL
连续转型是否一定能得到可约的构形呢,是否存在永远也得不到可约构形的无环形链的构形呢?这都是有可能的。1921年埃雷拉给出的埃雷拉图就是一个无穷连续转型也不能转化成可约构形的构形(如图5)。但这个图的转型产物有这么一个特点,即是无穷周期循环的,每20次转型是一个周期。这就为确定无环形链的构形的最大转型次数创造了条件。>~]g
©中国博士网 -- 中国博士网 www.chinaphd.com  -'SrWa
如何判断一个构形是否是无穷周期循环转型的构形,至少要进行两个周期(即40次转型)的转型交换,才能确定。转型交换40次,仍不能得到可约构形时,该构形一定是无穷周期循环转型的构形;否则,即就是转型次数超过了一个周期,也不能说这个构形就是无穷周期转型的构形。所以说无环形链的构形最大的转型次数是40,这时的构形是一个可以连续的移去两个同色的可约的K—构形,再经过两次坎泊交换,就可以空出颜色给待着色顶点,所以最大的交换次数是42次。这就说明了任何无环形链的构形都是可约的。O
现在要问,埃雷拉图是否可约呢?是可约的。因为这个图又是一个有环形链的构形,交换经过围栏顶点5C和4D的C—D链,就可以使图成为可约的坎泊构形。D]8DnN
至此,所有的染色困局就都是可约的了,应该说四色猜测就是正确的了。]xZm"R
©中国博士网 -- 中国博士网 www.chinaphd.com  IAL8
雷  明-&mu&
二○一九年十月八日于长安XG








发贴时间2019/10/08 11:03am IP: 已设置保密[本文共3158字节]  

 该主题只有一页

快速回复主题: 四色猜测的最简单证明
您目前的身份是: 客人 ,要使用其他用户身份,请输入用户名和密码。未注册客人请输入网名,密码留空。
输入用户名和密码: 用户名: 没有注册? 密码: 忘记密码?
上传附件或图片 (最大容量 1024KB)
目前附件:(如不需要某个附件,只需删除内容中的相应 [UploadFile ...] 标签即可) [删除]
选项

使用 LeoBBS 标签?
显示您的签名?
使用表情字符转换?
使用字体转换?

    快速引用第 楼层的回复
 顶端 加到"个人收藏夹" 主题管理总固顶 取消总固顶 区固顶 取消区固顶 固顶 取消固顶 提升 沉底
加重 取消加重 精华 取消精华 锁定 解锁 删除 删除回复 移动

友情链接 数学中国 中国力学网 钱学森网 中国有限元联盟 计算流体力学通讯


© 中文版权所有: 中国博士网   京ICP备06013218号
webmaster@chinaphd.com