7.图着色
五色定理的失败告诉我们,很多我们看上去觉得简单的证明,其实我们完全不会。 ——题记
点着色一些性质:
证: ;
推论: Peterson图的
[========]
边着色:
- 穷举法可知Peterson图着色数=4,目前不确定求图边着色数的算法
- 连通图G不是奇圈,则存在2-边着色使得任意满足deg(v)>1的v,都关联这两种颜色
PS:c(v)=顶点v关联的边中出现的颜色数,最佳k-边着色make ,which maximum=
Ps2:最佳k-边着色未必是k-边着色的 - 最佳k染色C,G=(E1,E2,...,Ek),在v0的边中,i appears twice,j appears none,
含v0分支为奇圈
p1: ,c(v')>=c(v),c'(v0)=c(v0)+1 - 二分图不含奇圈,consider best
-着色,
PS:X'(G)为最少着色数
if vi has two edge with same color,must has a j appear none,wrong;verse same;
so best -paint make every vi has all the color,so X'(G)<= ;
it's apparent that <=X'(G),so them equal; - as to simple graph,
<=X'(G);
if(X'(G)> +1) ,we lost another chance,
- G是二分图,
- Vizing's Law:G是简单图,则X'(G)=
证:
结合最佳 最大性、最佳匹配中i2次,j0次,G[EiUEj]必有奇圈,
逐步反证搞到一点邻点的性质,努力地找出一个更大 -着色
[========]
平面图着色:
面着色可转化为点着色,与对偶图着色数相同
四色定理的证明:
- Kample的证明:
- Appel和Haken的思路
- 不可避免集
- 可约性
五色定理
五色定理的失败告诉我们,很多我们看上去觉得简单的证明,其实我们完全不会
G是连通的,但G的点、边导出子图,最大可匹配轨迹、圈的交并未必是连通的,
颜色多项式——正常顶点着色方法数
- pk(G)=k^v,当且仅当G是v阶0图
- pk(G)=k(k-1)...(k-v+1),当且仅当G=Kv
- p4>0,当且仅当四色定理成立
- G1,...,Gn为连通片,
根据该公式,将G的着色方案数转变成Kv或K0的着色数
愿偿少年泪,犹趁未老时!
本文来自博客园,作者:clfire,转载请注明原文链接:https://www.cnblogs.com/sky1water/p/16749989.html
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 震惊!C++程序真的从main开始吗?99%的程序员都答错了
· 【硬核科普】Trae如何「偷看」你的代码?零基础破解AI编程运行原理
· 单元测试从入门到精通
· 上周热点回顾(3.3-3.9)
· winform 绘制太阳,地球,月球 运作规律