电子科技大学《图论及其应用》复习总结--第四章 欧拉图与哈密尔顿图

第四章 欧拉图与哈密尔顿图

(一)、欧拉图及其性质

(1)、问题背景—欧拉与哥尼斯堡七桥问题

问题：对于图G，它在什么条件下满足从某点出发，经过每条边一次且仅一次，可以回到出发点？

注：一笔画----中国古老的民间游戏（存在欧拉迹）

要求：对于一个图G, 笔不离纸, 一笔画成.

拓展：三笔画：在原图上添加三笔，可使其变为欧拉图。

定义1 对于连通图G，如果G中存在经过每条边的闭迹，则称G为欧拉图，简称G为E图。欧拉闭迹又称为欧拉环游，或欧拉回路。

定理1 下列陈述对于非平凡连通图G是等价的：

​ (1) G是欧拉图；

​ (2) G的顶点度数为偶数；

​ (3) G的边集合能划分为圈。

推论1 连通图G是欧拉图当且仅当G的顶点度数为偶。

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

证明：若G和H是欧拉图，则$G\times H$是欧拉图。

若G是非平凡的欧拉图，则G的每个块也是欧拉图。

(二)、Fleury算法(欧拉图中求出一条具体欧拉环游的方法)

方法是尽可能避割边行走

(三)、中国邮路问题（最优欧拉环游，管梅谷）

定理2 若W是包含图G的每条边至少一次的闭途径，则W具有最小权值当且仅当下列两个条件被满足：

(1) G的每条边在W中最多重复一次；

(2) 对于G的每个圈上的边来说，在W中重复的边的总权值不超过该圈非重复边总权值。

(四)、哈密尔顿图的概念

定义1 ： 如果经过图G的每个顶点恰好一次后能够回到出发点，称这样的图为哈密尔顿图，简称H图。所经过的闭途径是G的一个生成圈，称为G的哈密尔顿圈。

定义2: 如果存在经过G的每个顶点恰好一次的路，称该路为G的哈密尔顿路，简称H路。

(五)、哈密尔顿图性质与判定

1、性质定理【必要条件】；

定理1 (必要条件) 若G为H图，则对V(G)的任一非空顶点子集S，有：
$$w(G-S)\le |S|$$

注：不等式为G是H图的必要条件，即不等式不满足时，可断定对应图是非H、图。满足定理1不等式的图不一定是H图。

著名的彼德森图是非H图

若连通图G不是2-连通的，则G不是哈密尔顿图

2、狄拉克定理【充分条件】；

定理2 (充分条件) 对于n≧3的单图G，如果G中有： $\delta (G)\ge \frac{n}{2}$ ,则G是H图.

3、奥尔定理【充分条件】；

定理3 (充分条件) 对于n≧3的单图G，如果G中的任意两个不相邻顶点u与v，有：
$$d(u)+d(v)\ge n$$
那么，G是H图。

4、邦迪定理（闭包定理）【充分必要条件】；

定义3 在n阶单图中，若对d (u) + d (v) ≧n 的任意一对顶点u与v，均有u adj v , 则称G是闭图。

引理1 若G1和G2是同一个点集V的两个闭图，则G = G1∩G2是闭图。

注：G1与G2都是闭图，它们的并不一定是闭图。

定义4 如果$\overline{G}$是包含G的极小闭图，则其是图G的闭包

图的闭包的构造方法：将图中度数之和至少是图的顶点个数的非邻接顶点对递归地连接起来，直到不再有这样的顶点对存在时为止。

引理2 图G的闭包是唯一的

引理3 对于单图G，如果G中有两个不相邻顶点u与v，满足：
$$d(u)+d(v)\ge n$$
那么G是H图当且仅当G + uv是H图 。

定理4(帮迪——闭包定理) 图G是H图当且仅当它的闭包是H图。【引理3证】

说明：1、对于一个具体的图，我们可以作出其闭包，若能够断定闭包是H图，则原图为H图。否则，定理失效！【太麻烦】

​ 2、如果对满足一定条件的图G，能够从逻辑上说明其闭包是H图，则可以断定G是H图【掌握一点，看下面的例子】。

推论1：设G是n≧3的单图，若G的闭包是完全图，则G是H图。

5、邦迪-沙瓦达定理（度序列判定法）【充分条件】。

定理5(Chvátal——度序列判定法) 设简单图G的度序列是(d1,d2,…,dn), 这里，d1≦d2≦…≦dn,并且n≧3.若对任意的m<n/2,或有 dm>m,或有dn-m ≧ n-m,则G是H图。【可以证明，满足条件的图的闭包是完全图】

6、 范定理

​ 若连通图中每对距离为2的点中有一点的度数至少是图的点数的一半，则该图是哈密尔顿图。

7、边数判定法

设G是n阶简单图。若n≥3且KaTeX parse error: Undefined control sequence: \matrix at position 14: |E(G)>\left( \̲m̲a̲t̲r̲i̲x̲{ {n-1}\\2}\righ…则G是H图；并且具有n个顶点条KaTeX parse error: Undefined control sequence: \matrix at position 8: \left( \̲m̲a̲t̲r̲i̲x̲{ {n-1}\\ 2} \ri…边的非H图只有 C 1 , n C_{1,n}