第13节欧拉图与哈密顿图.pptVIP

集合与图论*第1页，共25页，星期日，2025年，2月5日哥尼斯堡七桥问题：欧拉图“一笔画”问题：*第2页，共25页，星期日，2025年，2月5日欧拉图的定义定义1包含图的所有顶点和所有边的闭迹称为欧拉闭迹.存在一条欧拉闭迹的图称为欧拉图.定义2包含图的所有顶点和边的迹称为欧拉迹.包含欧拉迹的图称为半欧拉图.说明：(1)上述定义对无向图和有向图都适用.(2)规定平凡图为欧拉图.(3)环不影响图的欧拉性.*第3页，共25页，星期日，2025年，2月5日欧拉图的判别定理定理1图G是欧拉图当且仅当G是连通的且每个顶点的度都是偶数。证(必要性)设G是一个欧拉图，则G中有一条包含G的所有顶点和所有边的闭迹，所以G是连通的.设G是n个顶点m条边的欧拉图，则G中存在欧拉闭迹.设为C=vi0ej1vi1ej2...vi(m-1)ejmvi0，在这里每条边都不相等.?v，v在C中每出现一次就获得两度，若出现k次就获得2k度，所以degv=2k，即v的度数为偶数.*第4页，共25页，星期日，2025年，2月5日(充分性)设G是连通的且每个顶点的度都是偶数，则知G中有一个圈Z1.否则Z1不包含G的所有边，这时从G中删去圈Z1上的边，得到的图记为G1.G1的每个顶点的度均为偶数，并且至少有一个顶点的度数不为零，则G1中有圈Z2，从G1中删去Z2得到的图记为G2.如果Z1包含了G的所有边，从而也就包含了G的所有顶点，因此Z1是G的欧拉闭迹，故G是欧拉图.欧拉图的判别定理*第5页，共25页，星期日，2025年，2月5日若G2中还有边，则同样的方式，G2中有圈Z3，如此等等，最后必得到一个图Gn，Gn中无边.于是我们得到了G中的n个圈Z1,Z2,...,Zn,，它们是两两无公共边的，因此，G的每条边在且仅在其中的一个圈上，于是G的边集被划分为n个圈.由于G是连通的，所以每个圈Zi至少与其余的某个圈有公共顶点，从而图G由一些边不重的相互之间有公共顶点的圈构成.欧拉图的判别定理*第6页，共25页，星期日，2025年，2月5日且这些圈构成一条欧拉闭迹。对圈的个数n用归纳法证明。当n=1时，按圈的定义显然成立.假设当n=k时成立，也就是k个边不重的有公共顶点的圈Z1,Z2,...,Zk形成一个欧拉闭迹.当n=k+1，因为每个圈与其它圈有公共顶点，所以圈Zk+1必与某个圈Zi有公共顶点，设这个公共顶点为v，在圈Zk+1上从v开始走遍Zk+1.按归纳假设前k个圈是一个欧拉闭迹，因此从v开始有一条欧拉闭迹.因此定理成立.欧拉图的判别定理*第7页，共25页，星期日，2025年，2月5日推论1设G是一个连通图，则下列命题等价：(1)G是一个欧拉图.(2)G的每个顶点的度都是偶数.(3)G的边集能划分成若干互相边不相交的圈.欧拉图的判别定理推论*第8页，共25页，星期日，2025年，2月5日?假设G是连通的且恰有两个奇度顶点u和v，在G中的u与v间加一条边得到图G?(G?可能是多重图)，则G?的所有顶点的度都是偶数，由定理1，G?有欧拉闭迹.从这个欧拉闭迹中去掉我们增加的u与v间的边，便得到G的欧拉迹.推论2图G有一条欧拉迹当且仅当G是连通的且恰有两个奇度顶点.证?设G有欧拉迹，则由定理6.5.1的证明可知，除了这条迹的起点和终点外的每个顶点的度都是偶数.欧拉图的判别定理推论*第9页，共25页，星期日，2025年，2月5日无欧拉迹欧拉图欧拉图有欧拉迹非欧拉图有欧拉迹非欧拉图无欧拉迹实例*第10页，共25页，星期日，2025年，2月5日哈密顿图周游世界问题(W.Hamilton,1859年)*第11页，共25页，星期日，2025年，2月5日定义1图G的一条生成路称为G的哈密顿路.所谓G的生成路就是包含G的所有顶点的路.G的一个包含所有顶点的圈称为G的一个哈密顿圈.具有哈密顿圈的图称为哈