150 欧拉图与哈密顿图.ppt

* * 第十五章 欧拉图与哈密顿图 第1节 欧拉图 第2节 哈密顿图 第1节 图的矩阵表示 一、欧拉通路、欧拉回路、 欧拉图、半欧拉图的定义 二、欧拉图的判别定理 定义15.1 通过图（无向图或有向图）中所有边 一次且仅一次行遍图中所有顶点的通路称为欧拉 通路，通过图中所有边一次并且仅一次行遍 所有顶点的回路称为欧拉回路；具有欧拉回路的 图称为欧拉图，具有欧拉通路而无欧拉回路的图 称为半欧拉图. 一、欧拉通路、欧拉回路、 欧拉图、半欧拉图的定义 从定义不难看出: 欧拉通路是图中经过所有边的简单的生成通路 （经过所有顶点的通路称为生成通路）， 欧拉回路是经过所有边的简单的生成回路。 　在这里做个规定，即平凡图是欧拉图. 图15.1 例1 下列各图中 是否有欧拉回路、欧位通路？ 解：e1 e2 e3 e4 e5 为(1)中的欧拉回路，所以(1)图为欧拉图. e1 e2 e3 e4 e5 为(2)中的一条欧拉通路，但图中不存在 欧拉回路（为什么？），所以(2)为半欧拉图。 （3）中既没有欧拉回路也没有欧拉通路，所以(3)不是欧拉图，也不是半欧拉图。 e1 e2 e3 e4为(4)图中的欧拉回路，所以(4)图为欧拉图. (5),(6)图中都既没有欧拉回路，也没有欧拉通路 （为什么？） 定理15.1 无向图G是欧拉图当且仅当G是连通图，且G中没有奇度顶点。 证 若G是平凡图，结论显然成立. 下面设G为非平凡图，设G是 m 条边的 n 阶 无向图, 并设G的顶点集 V={v1, v2, … , vn }. 二、欧拉图的判别定理 必要性. 　　 因为G为欧拉图，所以G中存在欧拉回路， 　　　设C为G中任意一条欧拉回路， vi , vj ∈V， 　　 vi, vj都在C上，因而vi , vj 连通，所以G为连通图. 　　 又vi∈V，vi在C上每出现一次获得2度， 　　　若出现k次就获得2k 度，即d(vi)=2k . 　　　所以G中无奇度顶点. 由于G为非平凡的连通图可知， G中边数m≥1.对 m 作归纳法。 (1) m=1时，由G的连通性及无奇度顶点可知， G只能是一个环，因而G为欧拉图。 (2)设m≤k (k≥1)时结论成立， 要证明m=k+1时，结论也成立。 充分性. 定理15.2 无向图G是半欧拉图当且仅当G是连通的，且G中恰有两个奇度顶点. 证: 必要性. 设G是 m 条边的 n 阶无向图，因为G为 半欧拉图，因而G中存在欧拉通路（但不存在欧拉 回路），设 为G中一条欧拉 通路， 若v不在Г的端点出现， 显然d(v)为偶数，若v在端点出现过，则d(v)为奇数， 因为Г只有两个端点且不同，因而G中只有两个 奇数顶点. 另外，G的连通性是显然的. 设G的两个奇度顶点分别为u0和v0，对G加 新边（u0, v0），得G =G∪(u0,v0)，则G 是 连通且无奇度顶点的图，由定理15.1可知，G 为欧拉图，因而存在欧拉回路C ，而 C=C －(u0, v0) 为G中一条欧拉通路，所以G为 半欧拉图. 　由定理15.2立即可知，图15.1中（2）是半 欧拉图，但（3）不是半欧拉图。 充分性. 定理15.3 有向图D是欧拉图当且仅当D是强连通 的且每个顶点的入度都等于出度. 本定理的证明类似于定理15.1 . 定理15.4 有向图D是半欧拉图当且仅当D是单向 连通的，且D中恰有两个奇度顶点，其中一个的入 度比出度大1，另一个的出度比入度大1，而其余顶 点的入度都等于出度. 由定理15.3和15.4立即可知，图15.1中所示3个 有向图中只有（4）是欧拉图，没有半欧拉图. 图15.1 图15.3 由定理15.1立即可知，图15.3(1)图为欧拉图. 定理15.5 G是非平凡的欧拉图当且仅当G是 连通的且为若干个边不重的圈的并. 　本定理的证明可用归纳法. 例15.1 设G是非平凡的且非环的欧拉图，证明： （2）对于G中任意两个不同顶点u, v，都存在 简单回路C含 u 和 v. （1）λ(G)≥2. 证 （1）由定理15.5知， 存在圈C，E 在 C中，因而 故 e 不是桥。 由 e 的任意性λ(G)≥2，即G是2边-连通图。 （2） 由G的连通性可