一、欧拉图及其性质

两种问题背景：

对于图G，它在什么条件下满足从某点出发，经过每条边一次且仅一次，可以回到出发点
一笔画，对于一个图G, 笔不离纸, 一笔画成

\quad概念：对于连通图G，如果G中存在经过每条边的闭迹，则称G为欧拉图，简称G为E图。欧拉闭迹又称为欧拉环游，或欧拉回路。即从图中任意一点出发，能找到一种方法遍历完所有边再回到该点的图称为欧拉图，有欧拉闭迹；若能遍历完所有的边但是没法回到起始点，称为非欧拉图但是有欧拉迹。如下图所示：

定理1：若G满足下列条件中的任意一个，则G是E图，且这些条件都是充要条件

G的顶点度数为偶数
G的边集合能划分为圈

推论：连通非欧拉图G存在欧拉迹当且仅当G中只有两个顶点度数为奇数

推论：若G和H是欧拉图，则GxH是欧拉图（证明其顶点度数都是偶数即可）

二、Fleury算法求解G中欧拉环游

\quadFleury算法解决了在欧拉图中求出一条具体欧拉环游的方法。方法是尽可能避割边行走。算法流程如下：

任选一个起始点v0v_0v0
在与v0v_0v0相连接的边中选择一条非割边e0e_0e0，若实在没有非割边，则随便选择一条即可，此时到达该边的另一顶点v1v_1v1，找G−e0G-e_0G−e0中与v1v_1v1相连的非割边
如法炮制直到遍历完所有边

三、哈密尔顿图概念

\quad如果经过图G的每个顶点恰好一次后能够回到出发点，称这样的图为哈密尔顿图，简称H图。所经过的闭途径是G的一个生成圈，称为G的哈密尔顿圈。(欧拉图是经过每条边再回去)
\quad如果存在经过G的每个顶点恰好一次的路，称该路为G的哈密尔顿路，简称H路。

\quad上图不是哈密尔顿图。因为在G中，边uv是割边，所以它不在G的任意圈上，于是u与v不能在G的同一个圈上。故G不存在包括所有顶点的圈，即G是非H图。但注意！！！它有哈密尔顿路！！！非哈密尔顿图有可能存在哈密尔顿路。也可知若图中存在割边，则该图一定不是H图。

四、哈密尔顿图的性质和判定

1、必要条件

\quad若G为H图，则对V(G)的任意非空子集S，有：w(G−S)≤∣S∣w(G-S) \le |S|w(G−S)≤∣S∣
证明：G是H图，设C是G的H圈。则对V(G)的任意非空子集S, 容易知道:w(C−S)≤∣S∣w(C-S) \le |S|w(C−S)≤∣S∣因为G比C边数更多，故w(G−S)≤w(C−S)≤∣S∣w(G-S) \le w(C-S) \le |S|w(G−S)≤w(C−S)≤∣S∣。
注意：满足该条件的图不一定是H图（彼得森图）。但是不满足该条件的一定不是H图。

2、充分条件

\quad对于n≥3n \geq 3n≥3的简单图G，如果G满足：δ(G)≥n2\delta(G) \geq \frac{n}{2}δ(G)≥2n那么G是H图。注意H图不一定满足这个定理，但满足这个定理的一定是H图。
\quad美国耶鲁大学数学家奥尔院士考察不相邻两点度和情况，弱化了Dirac条件，得到一个光耀千秋的结果。对于n≥3n \geq 3n≥3的简单图G，如果G中的任意两个不相邻顶点u与v，有：d(u)+d(v)≥nd(u)+d(v) \geq nd(u)+d(v)≥n那么，G是H图。

3、充要条件

\quad闭图：在n阶单图中，若对d (u) + d (v) ≧n 的任意一对顶点u与v，均有u adj v , 则称G是闭图。即不相邻顶点间度数和都小于n是闭图。
\quad闭包：G‾\overline{G}G是G的闭包，如果它是包含G的极小闭图。
如果G本身是闭图，则其闭包是它本身；如果G不是闭图，则由定义可以通过在度和大于等于n的不相邻顶点对间加边来构造G的闭图。例如：

\quad(帮迪——闭包定理) 图G是H图当且仅当它的闭包是H图。
推论：若G是n≥3n\ge3n≥3的简单图，若G的闭包是完全图，则G是H图。
由闭包定理也可以推出Dirac和Ore定理：

对于n≥3n \geq 3n≥3的简单图G，如果G满足：δ(G)≥n2\delta(G) \geq \frac{n}{2}δ(G)≥2n那么G是H图。
对于n≥3n \geq 3n≥3的简单图G，如果G中的任意两个不相邻顶点u与v，有：d(u)+d(v)≥nd(u)+d(v) \geq nd(u)+d(v)≥n那么，G是H图。

\quadH图的度序列判定法：设简单图G的度序列是(d1,d2,…,dn)(d_1,d_2,…,d_n)(d1,d2,…,dn), 这里，d1≦d2≦…≦dnd_1≦d_2≦…≦d_nd1≦d2≦…≦dn,并且n≧3.若对任意的m<n/2,或有 dm>md_m>mdm>m,或有dn−m≧n−md_{n-m} ≧ n-mdn−m≧n−m,则G是H图。

图论（十）——欧拉图和哈密尔顿图相关推荐

图论学习--4 欧拉图与哈密尔顿图（思维导图）
欧拉图与哈密尔顿图 Euler图定义经过G的每条边的迹被称为欧拉迹迹的边,每个边只出现一次,但是点不一定,可以多次能够闭合的迹被称为闭迹存在欧拉闭迹的图称为欧拉图欧拉闭迹又称为欧拉回路欧 ...
图论（10）欧拉图与哈密尔顿图
目录一.欧拉图欧拉图与欧拉回路欧拉图性质 Fleury算法找欧拉回路二.哈密尔顿图哈密尔顿图与哈密尔顿路(圈) 性质与判定哈密尔顿图的性质定理哈密尔顿图判定定理闭图与闭包邦迪--闭包 ...
图论（12）超哈密尔顿图与超可迹图
目录一.超H图与超H迹超H图超可迹图关于H图的一些猜想二.E图与H图的关系线图概念线图性质从线图的角度考虑欧拉图与哈密尔顿图关系(考试不作要求) 一.超H图与超H迹超H图彼得森图是 ...
图论及其应用-哈密尔顿图(alpha)
http://www.cnblogs.com/titer1/archive/2011/04/12/2014226.html 图论及其应用-哈密尔顿图(alpha) 小结:2010-04..todo ...
如果图G=V,E是哈密尔顿图，则它必然具备下述性质
哥尼斯堡七桥问题是在寻找一条遍历图中所有边的简单路径,而哈密尔顿的周游世界问题则是在寻找一条遍历图中所有点的基本路径.在无向图G=<V,E>中,遍历G中每个顶点一次且仅一次的路径称为哈密尔 ...
从哈密尔顿路径谈NP问题
1859年,爱尔兰数学家哈密尔顿(Hamilton)提出下列周游世界的游戏:在正十二面体的二十个顶点上依次标记伦敦.巴黎.莫斯科等世界著名大城市,正十二面体的棱表示连接这些城市的路线.试问能否在图中做 ...
哈密尔顿算法matlab,复杂制造过程最优哈密尔顿圈算法的MATLAB仿真与分析.doc
摘要:当今的工业制造过程越来越复杂,产品生产批量化,单个产品组成零部件数量庞大,加工需要多道工序,且工序间连续性强,整个制造过程属于离散制造,这样必然会使生产制造过程复杂化.在这种情况下,加工方案的制 ...
最短哈密尔顿圈matlab解法_复杂制造过程最优哈密尔顿圈算法的MATLAB仿真与分析.doc...
摘要:当今的工业制造过程越来越复杂,产品生产批量化,单个产品组成零部件数量庞大,加工需要多道工序,且工序间连续性强,整个制造过程属于离散制造,这样必然会使生产制造过程复杂化.在这种情况下,加工方案的制 ...
哈密尔顿道路与哈密尔顿回路
简介 1857年爱尔兰数学家哈密尔顿发明了"周游世界"玩具,用一个正十二面体的20个顶点表示世界上20个大城市,30条棱代表这些城市之间的道路.要求游戏者从任意一个城市(即顶点)出 ...

图论（十）——欧拉图和哈密尔顿图