离散数学课件15欧拉图与哈密顿图教学幻灯片.pptVIP

第15章 欧拉图与哈密顿图;匈牙利数学家厄多斯;本章内容;15.1 欧拉图;欧拉图;举例;无向欧拉图的判定定理 ;定理15.1的证明;定理15.1的证明;定理15.2 无向图G是半欧拉图当且仅当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.2 无向图G是半欧拉图当且仅当G是连通的，且G中恰有两个奇度顶点。 证明 充分性。设G的两个奇度顶点分别为u0和v0， 对G加新边（u0,v0），得G ?＝G∪(u0,v0)， 则G ?是连通且无奇度顶点的图， 由定理15.1可知，G ?为欧拉图， 因而存在欧拉???路C ?，而C＝C ?-(u0,v0)为G中一条欧拉通路， 所以G为半欧拉图。 ;有向欧拉图的判定定理;例15.1 ;求欧拉图中欧拉回路的算法;Fleury算法示例;例15.2;15.2 哈密顿图;哈密顿图 ;例题;定理15.6 ;推论 ;例15.3;例15.3;例15.3的说明;定理15.7;定