§4.4Hamilton图
1859年,爱尔兰数学家Hamilton提出,问题主要涉及一个正十二面体,如下图。这是正则柏拉图体的一种,以12个正五边形为面,且这些正五边形的三边相交于20个顶点。Hamilton图用正12面体代表地球,在每个顶点标以城市名称:布鲁塞尔、广州、德里、法兰克福等。游戏的内容是:沿着正十二面体的棱寻找一条旅行线路,通过每个城市恰好一次又回到出发城市。这便是Hamilton回路问题。
4.4.1Hamilton路
Hamilton图的必要条件
定义4.4.1.设G=(P,L)是有限图,(v 1 ,⋯,v n )是G中一条路。如果G中每点恰在此路中出现一次,则称此路为Hamilton路;如果G中每点,除v 1 外,恰在此路中出现一次,而v 1 =v n ,则此路称为Hamilton回路。
定理4.4.2.设G=(P,L)是有限图,如果G中有一条Hamilton回路,则称G为Hamilton图。
任意两点都相邻的图称为完全图。
有m个节点构成的完全图是Hamilton图。m个节点构成的完全图通常记为K m 。
Hamilton路感兴趣的是图中的点,一条Hamilton路绝不会在两点之间走两次以上,因此,没有必要在有向图中讨论它,只要在图中讨论它即可。
一个邮递员,如果他的任务需要遍历某些特定的街道,那么他最好走一条Euler路;如果他的任务是联系某些特定的收发点,那么他最好走一条Hamilton路。
Euler路同Hamilton路相比较,前者要周游弧,后者要周游点。
定理4.4.1.如果图G=(P,L)是Hamilton图,则对P(G)的任一非空子集S,都有W(G−S)≤|S|,其中|S|表示集合S的元素数,G−S表示G中删除S中所有的点以及以S中的点为端点的所有边而剩下的图,W(G−S)表示图G−S的连通分支数。
证明:设C是G中的Hamilton回路,W(C−S)≤|S|因为C是G的支撑子图,所以C−S是G−S的支撑子图。故W(G−S)≤W(C−S),故W(G−S)≤|S|。
例如,将图1中点A,B,C的集合记为S,于是图1删除S,剩下的分支数是4,即W(图1−S)=4,而|S|=3。由定理4.4.1知,图1不是Hamilton图。定理4.4.1用于图2、图3得不出任何结论。
4.4.2Hamilton图的若干充分条件
定理4.4.2.若G=(P,L)是有限图,|P(G)|≥3,δ≥|P(G)|/2,则G是Hamilton图。其中|P(G)|表示图G中点数,δ表示G中点的最小度。
令γ=|P(G)|,代表图G中点数。
证明:令γ=|P(G)|。反证法,假设G不是,不妨设G是满足γ≥3,δ≥γ/2的极大非Hamilton图(所谓极大是指:满足这个条件的其它非Hamilton图都是它的子图)。显然,G不是完全图。设u,v是G中不相邻的两个点,于是,G∪{uv}是Hamilton图,且其中每条Hamilton回路都要通过边uv。因此,G中有起点u,终点为v的Hamilton路:(v 1 ,v 2 ,⋯,v γ−1 ,v γ )其中v 1 =u,v γ =v。令S={v i |v 1 v i+1 ∈L(G)},T={v i |v i v γ ∈L(G)}。于是,S∩T=ϕ。否则,设v j ∈S∩T。于是,(v 1 ,v 2 ,⋯,v j ,v γ ,v γ−1 ,⋯,v j+1 ,v 1 )是G中一条Hamilton回路,且此回路不通过v 1 v γ (即uv),矛盾。因此v,γ∉S∪T,故|S∪T|<γ(其中|S∪T|表示的S∪T元数)。于是d(u)+d(v)=|S|+|T|=|S∪T|<γ。故d(u),d(v)中至少有一个小于γ/2,这于δ≥γ/2矛盾。故G是Hamilton图。
定理4.4.2只是一个充分性条件,它可以用于判定某些图是Hamilton图。但不是所有的Hamilton图都可以用它来判定。
例如,它无法用于图2,图3,虽然图2和图3是Hamilton图。
引理1.设G是有限图,u,v是G中不相邻的两点,并且满足:d(u)+d(v)≥γ。则G是Hamilton图的充要条件是G∪{uv}是Hamilton图。
证明:必要性显然。充分性,若G∪{uv}是Hamilton图,而G不是,仿照定理4.4.2的证明,得到d(u)+d(v)<γ,矛盾。
定义4.4.3.设G是有限图,反复连接G中不相邻的并且其度之和小于γ的点,直到没有这样的点对为止。最后所得到的图称为G的闭合图,记为C(G)。
例如,下图是一个闭合图的过程。
引理2.有限图G的闭合图C(G)是唯一确定的。
证明:设G 1 ,G 2 是G的两个闭合图。{l 1 ,⋯,l m },{f 1 ,⋯,f n }分别是加入G中得到G 1 ,G 2 的边序列。往证:l i ∈L(G 2 )(i=1,⋯,m),f j ∈L(G 1 )(j=1,⋯,n)。若不然,设l k+1 (设其两个端点为u,v)是第一条(从左向右看)属于{l 1 ,⋯,l m }而不属于L(G 2 )的边。令H=G∪{l 1 ,⋯,l k },因为d H (u)+d H (v)≥γ,而H是G 2 的子图,所以d G2 (u)+d G2 (v)≥γ而u,v在G 2 中不相邻(注意:uv∉L(G 2 )),故上式与G 2 定义矛盾。故所有l i (i=1,⋯,m)都在L(G 2 )中。同理可证,所有f j (j=1,⋯,n)都在L(G 1 )中。因此,G 1 =G 2 。
定理4.4.3.有限图G是Hamilton图的充要条件是闭合图C(G)是Hamilton图。
证明:设图G加入边序列{l 1 ,⋯,l m }后,得闭合图C(G)。由引理1知,G是Hamilton图⟺G∪{l 1 }是Hamilton图⟺G∪{l 1 }∪{l 2 }是Hamilton图⟺G⋯⟺G∪{l 1 ,⋯,l m }是Hamilton图因此,G是Hamilton图当且仅当C(G)是Hamilton图。
推论:设G是有限图,若C(G)是完全的,则G是Hamilton图。
此推论可以推导出很多用点度来表达的关于图是Hamilton图的充要条件。
例如,当δ≥γ/2时(δ是图中点的最小度),图中任意两点u,v都有d(u)+d(v)≥γ。故该图的闭合图是完全图,即该图是Hamilton图。由此可见,定理4.4.2实际上是此推论的一个特例。
定理4.4.4.设有限图G的度序列(即G的各点的度,按大小顺序排成的序列)为(d 1 ,d 2 ,⋯,d γ ),其中d 1 ≤d 2 ≤⋯≤d γ ,γ≥3。如果不存在这样的m,m<γ/2,并且得d m ≤m,d γ−m <γ−m,则G是Hamilton图。
证明:往证G的闭合图C(G)是完全图。用d(u)记点u在G中的度,用d ′ (u)记点u在C(G)中的度。若C(G)不是完全的,设u,v是C(G)中使得d ′ (u)+d ′ (v)为最大的两个不相邻点。不妨设d ′ (u)≤d ′ (v)。由C(G)的性质,d ′ (u)+d ′ (v)<γ。令S={x|x∈P(G)并且x在C(G)中与v不相邻},T={x|x∈P(G)并且x在C(G)中与u不相邻},显然,|S|=γ−d ′ (v),|T|=γ−d ′ (u)注意,点u与自己算作不相邻。因为u∈T,v∈S,但是d ′ (u)≤d ′ (v),所以,由u,v的取法知,S−{v}中点的最大度为d ′ (u),T中点的最大度为d ′ (v)。令d ′ (u)=m。于是,(C(G)中其度≤m的点数)≥S−{v}中的点数=|S|−1=γ−d ′ (v)−1>γ−(γ−d ′ (u))−1=d ′ (u)−1=m−1即,C(G)中至少有m个点,其度最大为m。同理,(C(G)中其度≤m的点数)≥T中的点数=γ−d ′ (u)=γ−m即,C(G)中至少有γ−m个点,其度最大为d ′ (v)<(γ−d ′ (u))=γ−m。由于G是C(G)的子图,故上述两个结论对G也成立,即G中至少有m个点,其度小于或等于m;至少有(γ−m)个点,其度小于(γ−m)。因此,必有d m ≤m,d γ−m <γ−m。而由d ′ (u)≤d ′ (v)和d ′ (u)+d ′ (v)<γ知,d ′ (u)<γ/2。即m<γ/2。这个m的存在与假设矛盾。故C(G)是完全的,由推论之,G是Hamilton图。
图2的度序列为:(d 1 ,d 2 ,d 3 ,d 4 ,d 5 ,d 6 ,d 7 ,d 8 ,d 9 )=(3,3,3,5,5,6,7,8,8),γ=9,γ/2=4.5。显然,取m=1,2,3,4都不能同时满足d m ≤m,d γ−m <γ−m。故由定理4.4.4知,图2是Hamilton图。
图3的度序列为:(d 1 ,d 2 ,d 3 ,d 4 ,d 5 ,d 6 )=(2,2,2,3,3,4)。取m=2,显然,m<γ/2,d 2 ≤2,d 4 <4。故定理4.4.4无法判断图3是否是Hamilton图。可见定理4.4.4强于定理4.4.2,但不强于定理4.4.3。
定义4.4.4.实数序列(p 1 ,⋯,p n )称为由实数序列(q 1 ,⋯,q n )所增大,如果p i ≤q i ,i=1,⋯,n。
定义4.4.5.设G,H是有限图。G称为被H度增大,如果|P(G)|=|P(H)|,并且G的不减度序列被H的不减度序列所增大。
定义4.4.6.设G,H是两个无公共点的有限图。将G的每个点和H的每个点都用边连接起来得到的图,称为G与H的连接图,记为:
定义4.4.7.设G,H是两个有限图,如果P(G)=P(H),并且对G,H中任意两点u、v,u和v在G途中相邻当且仅当它们在H中不相邻,则称G是H的补图,H是G的补图,可以将G记为H c ,也可以将H记为G c 。用K m 表示有m个点组成的完全图。见如下三个图:
1≤m≤n/2
从左到右顺序连接起来构成的连接图记为C m,n 。
例如
的具体图是
引理3.若1≤m<n/2,则图C m,n 是非Hamilton图。
证明:图C m,n 中K m 部分有m个点,令S是这m个点组成的集合。于是W(C m,n −S)=W(K c m )+W(K n−2m )=m+1故W(C m,n −S)>|S|。由定理4.4.1知,C m,n 是非Hamilton图。
定理4.4.5.若G为非Hamilton图,γ≥3,则G由某个C m,γ 所度增大。其中γ是P(G)的元数。
证明:设G的不减度序列为(d 1 ,d 2 ,⋯,d γ )。由定理4.4.4知,存在m<γ/2,使得d m ≤m,d γ−m <γ−m。故(d 1 ,d 2 ,⋯,d γ )由序列:(m,⋯,m,γ−m−1,⋯,γ−m−1,γ−1,⋯,γ−1)m个γ−2m个m个所增大。显然,后一个序列正是图C m,γ 的度序列,故G由C m,γ 所度增大。
例:流动推销员问题:
我们给出世界六大城市之间的交通网,一个流动推销员希望访问这六个城市,最后再回到出发点,怎样安排旅行最节省时间?
这是一个带权的完全图中求一条有最小权的Hamilton回路的问题。对于求这种所谓最优Hamilton回路问题,目前还没有一个好的解决方法。下面介绍的方法,只能求出较好的Hamilton回路。
1)首先求出一条Hamilton回路C。2)用下面方法修改C,以得到更小权的Hamilton回路。设C=(v 1 ,v 2 ,⋯,v γ ,v 1 )是一条Hamilton回路,如果i+1<j并且w(v i v j )+w(v i+1 v j+1 )<w(v i v i+1 )+w(v j v j+1 )则Hamilton回路C ij :C ij =(v 1 ,v 2 ,⋯,v j ,v j ,v j−1 ,⋯,v i+1 ,v j+1 ,v j+2 ,⋯,v γ ,v 1 )就是C的一个改进。