哈密顿图.doc

定义 4.3.1 经过图G 的每个顶点恰一次的路称为G 的Hamilton 路，简称为H 路。经过图G 的每个顶点恰一次的圈称为G 的Hamilton 圈，简称为H 圈。具有Hamilton 圈的图称为 Hamilton 图，简称为H 图。 Hamilton 图的研究起源于一种十二面体上的游戏。1857 年，爱尔兰著名数学家William Rowan Hamilton 爵士（他也是第一个给出复数的代数描述的人）制作了一种玩具，它是一 个木制的正十二面体，在正十二面体的每个顶点上有一个木栓，并标有世界著名城市的名字。 游戏者用一条细线从一个顶点出发，设法沿着十二面体的棱找出一条路，通过每个城市恰好 一次，最后回到出发点。这个游戏当时称为Icosian 游戏，也称为周游世界游戏。 将正十二面体从一个面剖开并铺展到平面上得到的图形如下图所示，称为十二面体图。 周游世界游戏用图论术语来说就是判断十二面体图是否Hamilton 图，并设法找出其Hamilton 圈。其中一条Hamilton 圈如图中粗边所示。 十二面体图是 H 图 判断一个图是否 Hamilton 图与判断一个图是否Euler 图似乎很相似，然而二者却有本质 的不同。目前为止尚没有找到判别一个图是否是Hamilton 图的有效充要条件。这是图论和 计算机科学中未解决的重要难题之一。 本节给出一些经典的充分条件和必要条件。 一、必要条件 定理 4.3.1 设G 是二部图，若G 是H 图，则G 必有偶数个顶点。 证明：设 G = (X, Y ) ，由于G 的边全在X 和Y 之间，因此如果G 有Hamilton 圈C，则G 的所有顶点全在C 上，且必定是X 的点和Y 的点交替在C 上出现，因此G 必有偶数个顶点。 证毕。 这个定理给出了一个二部图不是 Hamilton 图的简单判断条件：如果一个二部图有奇数 个顶点，则它必定不是Hamilton 图。例如，下列Herschel 图是二部图，但有奇数个顶点， 故不是H 图。 Herschel 图不是H 图 定理 4.3.2 若 G 是H 图，则对V(G)的每个非空真子集S，均有： 连通分支数 W(G－S) ≤ | S |。 证明：设 C 是G 的H 圈，则对V(G)的每个非空真子集S，均有 W(C－S) ≤ | S |. 由于C－S 是G－S 的生成子图，故W(G－S)≤W(C－S)≤ | S |. 证毕。 利用定理 4.3.2 可判断下面(1)中的图不是H 图。事实上，令S={u, v, w}，则 W(G－S) = 4 | S |。 但无法用该定理给出的必要条件来判断(2)中的Petersen 图不是H 图。 二、充分条件 （1）度型条件 定理 4.3.3(Dirac, 1952) 若G是简单图，且ν ≥ 3，δ ≥ v/2，则G 是Hamilton 图。 证明 用反证法：假定定理不真。令 A = {G |G的顶点数为V≥ 3，δ ≥v/2 ，且G 是非Hamilton 图}。 从 A中取出边最多的一个，记为G。因ν ≥ 3，故不是完全图（否则G是Hamilton 图）。设 u 和v 是G 的不相邻顶点。由G 的选择，G＋uv 是Hamilton 图。因G 是非Hamilton 图，故 G＋uv 的H 圈必经过e = uv。于是G 中存在以u 为起点v 为终点的Hamilton 路ν v1v2.。。。??v 。 这里v = u ，vv = v 令S={Vi|uvi+1∈E}和T={v|viv∈E}。 由于v vS ∪T ，故| S ∪T |ν ，并且| S ∩T |= 0（因为若?viS ∪T ，则G将包含H圈v1v2…vivvvi-1…vi+1v1 ，矛盾）。 故d(u) + d(v) =| S | + | T |=| S ∪T | + | S ∩T |ν ，这与δ ≥v/2 的前提矛盾。证毕。 (2) 闭包型条件 Ore 注意到，上述Dirac 定理的证明过程中，条件δ ≥v/2 仅仅用来证明对不相邻顶点 u,v，有d(u) + d(v) ≥ν 成立。因此可以将图存在Hamilton 圈的条件由δ ≥v/2 弱化为 d(u) + d(v) ≥ν 。这样便得到下述定理。 定理 4.3.4（Ore，1960）[1] 设 G是简单图，u 和v 是G中不相邻的顶点，且d(u) + d(v) ≥ν ，则G 是Hamilton 图当且仅当G＋uv 是Hamilton 图。 证明：必要性是显然的。 充分性：若 G＋uv 是Hamilton 图而G 不是，则与定理4.3.3 一样可推出矛盾。证毕。 Bondy 和 Chvátal 用更一般的形式表述了Ore 观察到的实质，得到了图存在长度为k 的圈和其它子图的充分条