[2018年最新整理]5欧拉图与汉密尔顿图.pptVIP

* 欧拉图的几点说明 规定平凡图为欧拉图. 欧拉通路是生成的简单通路，欧拉回路是生成的 简单回路. 环不影响图的欧拉性. * * 定理15.1 无向图G是欧拉图当且仅当G连通且无奇度数顶 证 若G为平凡图无问题. 下设G为n阶m条边的无向图 必要性 设C为G中一条欧拉回路. （1）G连通显然. （2）?vi?V(G)，vi在C上每出现一次获2度，所以vi为偶度顶点. 由vi的任意性，结论为真. 无向欧拉图的判别法 * 无向欧拉图的判别法 充分性.由于G为非平凡的连通图可知, G中边数m≥1. 对m作归纳法. (1)m＝1时,由G的连通性及无奇度顶点可知,G只能是 一个环,因而G为欧拉图. (2)设m≤k(k≥1)时结论成立,要证明m＝k+1时,结论也 成立. G的连通性及无奇度顶点可知,δ(G)≥2. 无论G是否为简单图,都可以用扩大路径法证明G中 必含圈. * 设C为G中一个圈，删除C上的全部边，得G的生成子图G ?,设G ?有s个连通分支G ?1,G ?2,…,G ?s,每个连通分支至多有k条且无奇度顶点,并且设G ?i与C的公共顶点为v*ji, i＝1,2,…,s,由归纳假设可知,G ?1,G ?2,…,G ?s都是欧拉图，因而都存在欧拉回路C ?i，i＝1,2,…,s。最后将C还原（即将删除的边重新加上），并从C上的某顶点vr开始行遍，每遇到v*ji，就行遍G ?i中的欧拉回路C ?i，i＝1,2,…,s，最后回到vr，得回路vr…v*j1…v*j1…v*j2…v*j2…v*js…v*js…vr，此回路经过G中每条边一次且仅一次并行遍G中所有顶点，因而它是G中的欧拉回路.故G为欧拉图。 PLAY * * 无向半欧拉图的判别法 定理15.2 无向图G是半欧拉图当且仅当G连通且恰有 两个奇度顶点. 证 必要性。设G是m条边的n阶无向图，因为G为 半欧拉图,因而G中存在欧拉通路（但不存在欧拉回路） 设Г=vi0ej1vi1…vim-1ejmvim为G中一条欧拉通路，vi0 ≠vim . ? v∈V(G)，若v不在Г的端点出现，显然d(v)为偶数， 若v在端点出现过,则d(v)为奇数,因为Г只有两个端点且 不同,因而G中只有两个奇数顶点.另外,G的连通性是显然的. * 无向半欧拉图的判别法 充分性（利用定理15.1） 设u,v为G中的两个奇度顶点，令G?=G?(u,v) 则G?连通且无奇度顶点，由定理15.1知G?为欧拉图， 因而存在欧拉回路C， 令?=C?(u,v)，则?为G中欧拉通路. * 有向欧拉图的判别法 定理15.3 有向图D 是欧拉图当且仅当D 是 强连通的且每个顶点的入度都等于出度. 定理15.4 有向图D 是半欧拉图当且仅当D 是 单向连通的,且D 中恰有两个奇度顶点,其中一个 的入度比出度大1,另一个的出度比入度大1,而 其余顶点的入度都等于出度. * 欧拉图的判别法 定理15.5 G是非平凡的欧拉图当且仅当G是连通的 且为若干个边不重的圈之并. * 例15.1 设G是非平凡的欧拉图，证明： λ(G)≥2. (2)对于G中任意两个不同顶点u,v，都存在简单回路C含u和v。 证 (1) 由定理15.5可知, ? e∈E(G),存在圈C, e在C中,因而p(G-e)=p(G),故e不是桥. 由e的 任意性λ(G)≥2,即G是2边-连通图。 (2)?u,v∈V(G)，u≠v，由G的连通性可知，u,v之间 必存在路径Г1,设G ?＝G-E(Г1),则在G ?中u与v还必连通， 否则，u与v必处于G ?的不同的连通分支中， 这说明在Г1上存在G中的桥，这与(1)矛盾。 于是在G ?中存在u到v的路径Г2，显然Г1与Г2边不重， 这说明u,v处于Г1∪Г2形成的简单回路上。 * 求欧拉图中欧拉回路的算法 Fleury算法，能不走桥就不走桥 (1) 任取v0∈V(G)，令P0＝v0。 (2) 设Pi＝v0e1v1e2…eivi已经行遍，按下面方法来从 E(G)-{e1,e2,…,ei}中选取ei+1： (a) ei+1与vi相关联； (b) 除非无别的边可供行遍，否则ei+1不应该为 Gi＝G-{e1,e2,…,ei}中的桥。 (3)当(2)不能再进行时，算法停止。 说明 可以证明，当算法停止时所得简单回路 Pm＝v0e1v1e2…emvm(vm＝v0) 为G中一条欧拉回路。 Fleury算法示例 例15.2下图是给定的欧拉图G。某人用Fleury算法求G中的欧拉回路时，走了简单回路v2e2v3e3v4e14v