离散数学 第十五章 欧拉图与哈密顿图.pptVIP

推论 设无向图G=V,E是半哈密顿 图，对于任意的V1 V且V1≠ ? 均有 p(G-V1)≤|V1|+1 证： 设P是G中起于u终于v的哈密顿通 路，令G=G∪(u,v)（在G的顶点u,v之间加 新边），易知G为哈密顿图，由定理15.6 可知，p(G-V1)≤|V1|.而有p(G-V1)=p(G-V1 -(u,v))≤p(G-V1)+1≤|V1|+1. 例15.3 在图15.6中给出的三个图都是 二部图。它们中的那些是哈密顿图？哪些 是半哈密顿图？为什么？ 　　解 在（1）中，易知互补顶点子集 V1={a,f},V2={b,c,d,e}。设此二部图为G1， 则G1=V1,V2,E. p(G1-V1)=4|V1|=2，由 定理15.6及其推论可知，G1不是哈密顿 图，也不是半哈密顿图。 设（2）中图为G2，则G2=V1,V2,E， 其中V1={a,g,h,i,c}，V2={b,e,f,j,k,d}，易知， p(G2-V1)=|V2|=6|V1|=5，由定理15.6可知， G2不是哈密顿图，但G2是半哈密顿图，其 实，baegjckhfid为G2中一条哈密顿通路。 设（3）中图为G3. G3=V1,V2,E，其中V1={a,c,g,h,e}，V2={b,d,i,j,f}，G3中存在哈密顿回路，如abcdgihjefa，所以 是哈密顿图。 图15.6 对于二部图还能得出下面结论： 　　一般情况下，设二部图G=V1,V2,E， |V1|≤|V2|，且|V1|≥2，|V2|≥2，由定理15.6 及其推论可以得出下面结论：（1）若G是哈密顿图，则|V1|=|V2|。（2）若G是半哈密顿图，则|V2|=|V1|+1。 （3）若|V2|≥|V1|+2，则G不是哈密顿图， 也不是半哈密顿图。 例15.4 设G是n阶无向连通图。证明： 若G中有割点或桥，则G不是哈密顿图。 　　证 读者用定理15.6证明。 下面给出一些哈密顿图和半哈密顿图 的充分条件。 定理15.7 设G是n阶无向简单图，若对 于G中任意不相邻的顶点vi,vj，均有 d(vi)+d(vj)≥n-1 (15.1) 则G中存在哈密顿通路。 证： 首先证明G是连通图。否则G至少 有两个连通分支，设G1,G2是阶数为n1,n2 的两个连通分支，设v1∈V(G1)，v2∈V(G2)， 因为G是简单图，所以 dG(v1)+dG(v2)= dG1(v1)+dG2(v2)≤n1-1+n2-1≤n-2 这与（15.1）矛盾，所以G必为连通图。 下面证G中存在哈密顿通路。设Г= v1v2…vl为G中用“扩大路径法”得到的“极大 路径”，即Г的始点v1与终点vl不与Г外的 顶点相邻。显然有l≤n. 　　(1)若l=n，则Г为G中哈密顿通路。 　　(2)若ln，这说明Г不是哈密顿通路， 即G中还存在着Г外的顶点。但可以证明 G中存在过Г上所有顶点的圈。 (a)若v1与vl相邻，即(v1,vl)∈E(G)， 则Г∪(v1,vl)为满足要求的圈。 (b)若v1与vl不相邻，设v1与Г上的 相邻（k≥2，否 则d(v1)+d(vl)≤1+l-2=l-1n-1，这与 （15.1）矛盾），此时，vl至少与 相邻的顶点 之一相邻（否则，d(v1)+d(vl)≤k+l-2-(k-1) =l-1n-1），设vl与 相邻（2≤r≤k）， 见图15.7(1)所示。于是，回路 C= 过Г上 的所有顶点。 图15.7 (c)下面证明存在比Г更长的路径。 因为ln，所以C外还有顶点，由G的连 通性可知，存在vl+1∈V(G)-V(C) 与C上 某顶点vt相邻，见图15.7(2)所示。删除 边（vt-1,vt）得路径 Г = 比Г 长度大1，对Г上的顶点重新排序，使 其成为Г =v1v2…vlvl+1，对Г重复 （a）～（c），在有限步内一定得到G 的哈密顿通路。 推论 设G为n(n≥3)阶无向简单图，若 对于G中任意两 个不相邻的顶点vi,vj，均有 d(vi)+d(vj)≥n(15.2) 则G中存在哈密顿回路，从而G为哈密顿图。 证： 由定理1