证明不是哈密顿图的几种方法归纳总结
相关定义：设G=<V,E>为一图(无向的或有向的).G中经过每个顶点一次且仅一次的通路称作哈密顿通路；G中经过每 个顶点一次且仅一次的回路称作哈密顿回路；若G中存在哈密顿回路，则称G为哈密顿图。
(只是根据自己的体会总结的，因为是初学者，有不完善的地方，欢迎指正。)
首先要证明不是哈密顿图，则要破坏哈密顿图存在的必要条件，证明其必要条件不成立即可。（因为如果无向图G为哈密顿图，则……，其中……为其必要条件，若不满足……，则该图不是哈密顿图）。
1.若无向图G=<V,E>为哈密顿图，V1是V的任意真子集，则p(G-V1)<=|V1|，其中，p(G-V1)为从G中删除V1后所得图 的连通分支数。（删点法）
2.若无向图G=<V,E>为哈密顿图，则图G中无割点。
3.若无向图G=<V,E>为哈密顿图，且图G为完全二部图Kr,s，则r=s。
4.若无向图G=<V,E>为哈密顿图，则图G一定存在一条哈密顿回路。（标号法）
5.若无向图G=<V,E>为哈密顿图，则图G必为连通图。
6.若无向图G=<V,E>为哈密顿图，则图G中边数m必须大于等于顶点数n。
7.若无向图G=<V,E>为哈密顿图，且G中存在2度顶点v，则与v关联的两条边ei，ej必须在G中的任何哈密顿回路上。
8.若无向图G=<V,E>为哈密顿图，则G中必须必须在每条哈密顿回路中出现的边，不能构成边数小于n的初级回路。
9.若无向图G=<V,E>为哈密顿图，则图G的闭包C(G)为哈密顿图。
(划线部分为证明中比较常用的，还有很多必要条件不一一列举了)
标记法：
任取一结点如v1,用A标记，所有与它邻接的结点标B。继续不断地用A标记所有与B邻接的结点，用B标记所有与A邻接的结点，直到图中的所有结点全部标记完毕。如果图中有一条汉密尔顿路，则必交替通过结点A和B。因此或者结点A和B数目一样，或者两者相差1个。（A与B数目一样则存在哈密顿回路，|A-B|=1则存在哈密顿通路）。
但是，遇到让判断是不是哈密顿图时，不要盲目地以为不是哈密顿图，从而直接利用上述各种证明方法来证明不是哈密顿图，要仔细看图，利用哈密顿图存在的充分条件判断是否是哈密顿图。
例如：
这是一个汉密尔顿图，其汉密尔顿圈为chfigjdeabc。
哈密尔顿圈为abcdhijgfea。
参考文献：离散数学（第二版）屈婉玲 耿素云 张立昂 编著 清华大学出版社2008.02第二版
证明不是哈密顿图的几种方法归纳总结相关推荐
- mysql 自增长id string_Mysql中获取刚插入的自增长id的三种方法归纳
我们在写数据库程序的时候,经常会需要获取某个表中的最大序号数, 一般情况下获取刚插入的数据的id,使用select max(id) from table 是可以的. 但在多线程情况下,就不行了. 下面 ...
- lisp 角平分线_证明冯奥贝尔定理的3种方法
怎样证明冯·奥贝尔定理? Von.Aubel定理: 以任意四边形ABCD的边为斜边作四个转向相同的等腰直角三角形ΔABE,ΔBCF,ΔCDG,ΔDAH.则:EG=FH,EG⊥FH. 关于上述定理的几点 ...
- 冲突管理的6种方法归纳
1.问题解决 (Problem Solving/Confrontation) 双赢,解决问题条件成熟,最好的冲突解决方式 2.合作(Collaborating) 集合多方的观点和意见,得出一个多数人接 ...
- 证明集合包含关系的5种方法
证明集合包含关系的几种方法 若证明 A⊆\subseteq⊆B,则 用定义 ∀\forall∀ x∈\in∈A,经过演绎推出 x∈\in∈B即可. 集合传递性 利用条件推出 A⊆\subseteq⊆T ...
- 积分不等式证明的三种方法_20160416
积分不等式证明的三种方法
- 2-sat问题，输出方案，几种方法（赵爽的论文染色解法+其完全改进版）浅析 / POJ3683...
本文原创于 2014-02-12 09:26. 今复习之用,有新体会,故重新编辑. 2014-02-12 09:26: 2-sat之第二斩!昨天看了半天论文(赵爽的和俉昱的),终于看明白了!好激动有 ...
- k8s crd构建方法_告诉您正在构建没人想要的东西的8种方法（以及处理方法）
k8s crd构建方法 by Geoffrey Bourne 杰弗里·伯恩(Geoffrey Bourne) 告诉您正在构建没人想要的东西的8种方法(以及处理方法) (8 ways to tell y ...
- 【数学知识】三种方法求 [1,n] 中所有数欧拉函数（线性筛欧拉函数优化至 O(n) ）
整理的算法模板合集: ACM模板 ①直接求小于或等于n,且与n互质的数个数(求[1,n]中所有数的欧拉函数时间复杂度:O(nn)O(n\sqrt{n})O(nn)) ②求[1,n]之间每个数的质因数 ...
- (转).NET导出Excel的四种方法及评测
.NET导出Excel的四种方法及评测 导出Excel是.NET的常见需求,开源社区.市场上,都提供了不少各式各样的Excel操作相关包.本文,我将使用NPOI.EPPlus.OpenXML.Aspo ...
- 独家 | 使EfficientNet更有效率的三种方法（附链接）
作者:Dominic Masters翻译:王可汗校对:欧阳锦本文约3300字,建议阅读5分钟本文为大家介绍了提升EffcientNet效率和性能的三个策略. 在实践中有更好性能的EfficientNe ...
最新文章
- python查看所有异常_如何获取python异常发生的实际行号？
- CENTOS6.5安装日志分析ELK elasticsearch + logstash + redis + kibana
- python就业方向有哪些-Python如何零基础入门?就业方向有哪些?
- Android Hook (2) Java2java
- [python学习] 专题七.网络编程之套接字Socket、TCP和UDP通信实例
- 可持久化-可持久化字典树
- 我的世界java版tis,我的世界1.7.10~1.8.8 9tis-3d回到汇编的时代mod
- linux+默认监听+目录,C# 时时监听目录文件改动
- 舍 bpftrace 而取 systemtap 的代价和思考
- telnet协商过程--转载自arthurscfd的《telnet协商》
- CF 559B Equivalent Strings 分治05 A题
- centos7搭建ELK Cluster集群日志分析平台（四）：Fliebeat-简单测试
- Spket,eclipse下安装Spket插件,格式化js
- java实验报告实验环境_Java实验报告一：Java开发环境的熟悉
- 小米8se线刷机（卡刷机一般解决不了问题，所以不用卡刷）
- java安卓屏幕护眼效果好_当前安卓机自带的护眼模式，比护眼大师的好嘛？
- Preparing transaction：done Verifying transaction：failed RemoveError：‘requests‘ is a dependency of **
- 简单的C语言实训代码
- python数据化运营案例---简单销售预测案例（线性回归模型）
- STM32之继电器驱动（上下拉电阻）