15欧拉图与哈密顿图.pdf

离散数学

离散数学

第15章欧拉图与哈密顿图

第15章欧拉图与哈密顿图

LOGO

本章内容

15.1欧拉图

15.2哈密顿图

15.3最短路问题与货郎担问题

15.1欧拉图

哥尼斯堡七桥问题

欧拉图的定义

通过图(无向图或有向图)中所有边一次且仅一次行遍

定义

定义图中所有顶点的通路称为欧拉通路。

15.1

15.1

通过图中所有边一次并且仅一次行遍所有顶点的回路

称为欧拉回路。

具有欧拉回路的图称为欧拉图。

具有欧拉通路而无欧拉回路的图称为半欧拉图。

规定平凡图是欧拉图。

欧拉通路是图中经过所有边的简单的生成通路(经过

所有顶点的通路称为生成通路)。

欧拉回路是经过所有边的简单的生成回路。

举例

欧拉图半欧拉图无欧拉通路

欧拉图无欧拉通路无欧拉通路

无向欧拉图的判定定理

定理无向图G是欧拉图当且仅当G是连通图，且G中

定理

15.1

15.1没有奇度顶点。

若G是平凡图，结论显然成立。

下面设G为非平凡图，设G是m条边的n阶无向图，

并设G的顶点集V＝{v,v,…,v}。

12n

必要性。因为G为欧拉图，所以G中存在欧拉回路，

设C为G中任意一条欧拉回路，v,v∈V，v,v都在C上，

ijij

因而v,v连通，所以G为连通图。

ij

又v∈V，v在C上每出现一次获得2度，

ii

若出现k次就获得2k度，即d(v)＝2k，

i

所以G中无奇度顶点。

定理15.1的证明

充分性。

由于G为非平凡的连通图可知，G中边数m≥1。

对m作归纳法。

(1)m＝1时，由G的连通性及无奇度顶点可知，

G只能是一个环，因而G为欧拉图。

(2)设m≤k(k≥1)时结论成立，

要证明m＝k+1时，结论也成立。

由G的连通性及无奇度顶点可知，δ(G)≥2。

无论G是否为简单图，都可以用扩大路径法证明G中必

含圈。

定理15.1的证明

设C为G中一个圈，删除C上的全部边，得G的生成子图G，

设G有s个连通分支G,G,…,G，

12s

每个连通分支至多有k条边，且无奇度顶点，

并且设G与C的公共顶点为v*，i＝1,2,…,s，

iji

由归纳假设可知，G,G,…,G都是欧拉图，

12s

因而都存在欧拉回路C，i＝1,2,…,s。

i

最后将C还原（即将删除的边重新加上），

并从C上的某顶点v开始行遍，每遇到v*，就行遍G中的欧拉

rji