Havel定理
来源:互联网 发布:java svn插件 编辑:程序博客网 时间:2024/06/05 05:44
Havel定理描述
给定一个非负整数序列{d1,d2,...dn},若存在一个无向图使得图中各点的度与此序列一一对应,则称此序列可图化。进一步,若图为简单图,则称此序列可简单图化。
可图化的判定比较简单:d1+d2+...dn=0(mod2)。关于具体图的构造,我们可以简单地把奇数度的点配对,剩下的全部搞成自环。
给定一个非负整数序列{d1,d2,...dn},若存在一个无向图使得图中各点的度与此序列一一对应,则称此序列可图化。进一步,若图为简单图,则称此序列可简单图化。
可图化的判定比较简单:d1+d2+...dn=0(mod2)。关于具体图的构造,我们可以简单地把奇数度的点配对,剩下的全部搞成自环。
可简单图化的判定,有一个Havel定理,是说: 我们把序列排成不增序,即d1>=d2>=...>=dn,则d可简单图化当且仅当d'=(d2-1, d3-1, ... d(d1+1)-1, d(d1+2), d(d1+3), ... dn)可简单图化。这个定理写起来麻烦,实际上就是说,我们把d排序以后,找出度最大的点(设度为d1),把它和度次大的d1个点之间连边,然后这个点就可以不管了。
一直继续这个过程,排序,建图,直到建出完整的图,或出现负度等明显不合理的情况。
证: 若存在点Vi,Vj使得i<j, (V1,Vi)不在G中,但(V1,Vj)在G中。这时,因为di>=dj,必存在k使得(Vi, Vk)在G中但(Vj,Vk)不在G中。这时我们可以令GG=G-{(Vi,Vk),(V1,Vj)}+{(Vk,Vj),(V1,Vi)}。GG的度序列仍为d。
poj1659
阅读全文
0 0
- Havel定理
- Havel定理
- Havel定理
- pku 1659 (Havel定理)
- POJ 1659 Havel 定理
- Havel-Hakimi定理
- poj 1659 (havel定理)
- Havel-Hakimi定理
- Havel定理---Frogs' Neighborhood
- poj1659 Havel-hakimi定理
- Havel-Hakimi定理
- 0.8poj1659(Havel定理)
- Havel - Hakimi 定理
- Havel-Hakimi定理问题
- Havel-Hakimi定理
- Havel-Hakimi定理
- Havel定理及其应用
- Havel-Hakimi定理
- Caused by: java.lang.IllegalStateException
- 线程死锁
- 浮点数比较
- LengthFieldBasedFrameDecoder使用示例
- 使用TensorFlow编写损失函数 交叉熵(cross entrophy)| 均方误差(MSE)
- Havel定理
- Shell判断字符串包含关系的几种方法
- iOS"死灰复燃SDK"
- 二叉树三种遍历方式的六种实现方法
- Linux C 父子进程 与 有名管道
- Android LayoutInflater总结
- 关于使用广播来通知另外一个界面ui的变化。
- 学生缴费案例
- 一个适用于小数range功能的python实现