离散数学第八章图论.pptVIP

8.4 哈密顿图 哈密顿图的概念源于1859年爱尔兰数学家威廉·哈密顿爵士（SirWillianHamilton）提出的一个“周游世界”的游戏。这个游戏把一个正十二面体的二十个顶点看成是地球上的二十个城市，棱线看成连接城市的道路，要求游戏者沿着棱线走，寻找一条经过所有顶点（即城市）一次且仅一次的回路，如图10.2.1（a）所示。也就是在图10.2.1（b）中找一条包含所有顶点的基本回路，图中的粗线所构成的回路就是这个问题的回答。 定义1 若图G中有一条经过所有顶点一次且仅一次的回路，则称该回路为哈密顿回路，称G为哈密顿图；若图G中有一条经过所有顶点一次且仅一次的通路，则称此通路为哈密顿通路，称G为半哈密顿图。 乍一看，哈密顿图与欧拉图有某种对偶性（点与边的对偶性），但实际上，前者的存在性问题比后者难得多。迄今为止，寻找到一个判断哈密顿图的切实可用的充分必要条件仍是图论中尚未解决的主要问题之一。人们只是分别给出了一些必要条件和充分条件。 定理1： 若G是哈密顿图，则对于结点集V的每一个非空子集V1，均成立 P（G- V1 ）≤| V1 | 其中， P（G- V1）是G- V1的连通分支数， | V1 |是V1中结点的个数。 这个定理给出的只是一个无向图是哈密顿图的必要条件，亦即哈密顿图必满足这个条件，满足这个条件的不一定是哈密顿图。 例如，著名的彼得森（Petersen）图（如图8.26所示）不是哈密顿图，但对任意结点集V的每一个非空子集V1，均成立 ? P（G- V1 ）≤| V1 | 然而，不满足这个条件的必定不是哈密顿图。 例1： 含有悬挂点的图必定不是哈密顿图。 证明： 设v是图G中的悬挂点，则 ?P（G-v）≥2＞|{v}| 因此，图G不是哈密顿图。 定理2： 若G是n（n≥3）个结点的简单图，对于每一对不相邻的结点u，v，满足 ?deg（u）+deg（v）≥n-1 则G中存在一条哈密顿通路。 定理3： 若G是n（n≥3）个结点的简单图，对于每一对不相邻的结点u，v，满足 deg（u）+deg（v）≥n 则G中存在一条哈密顿回路。即G是哈密顿图。 推论1： 设G是n（n≥3）个结点的无向简单图，若δ (G)≥n/2，则G是哈密顿图。其中 δ (G)=min {deg（v）| v ∈V（G）} 推论2： 完全图K n（n≥3）均是哈密顿图。 例2： 设n≥2，有2n个人参加宴会，每个人至少认识其中的n个人，怎样安排座位，使大家围坐在一起时，每个人的两旁坐着的均是与他相识的人？ 解： 每个人用一个结点表示，若二人相识，则在其所表的结点间连边。这样得到一个2n个结点的无向图，因为δ（G）≥n，所以u，v∈V（G），deg（u）+deg（v）≥2n，故图中存在一条哈密顿回路，这条回路恰好对应一个座位的适当安排。 货郎担问题 与哈密顿图密切相关的是货郎担问题。设有n个村镇，已知每两个村镇之间的距离。一个货郎自某个村镇出发巡回售货，问这个货郎应该如何选择路线，使每个村镇经过一次且仅一次，并且总的行程最短。即在一个带权完全图中，找一个权最小的哈密顿图。 在n个顶点的带权完全图中，所有不同的哈密顿回路（包括有公共边的情况）总数是1/2 (n-1)！个。在如此众多的哈密顿回路中求一个总的权为最小的哈密顿回路，它的工作量是相当大的，这种求最优解的有效率的算法至今尚未找到。下面我们给出一个较好的近似算法——最邻近算法。 求最小权的哈密顿回路的最邻近算法步骤如下： （1）任选一点v0作起点，找一个与v0最近的相邻结点vx，得到一条一边构成的路径。 （2）设vx是新加到这条路中的一点，从不在此路中的所有结点中，选一个与vx最近的相邻点，将它与vx连成一边，构成一条新的路径。重复过程（2），直到G中所有结点都在所构成的路径中。 （3）连接v0和最后加到路中的结点，构成一条回路，它就是带权的哈密顿回路。 例