图论及其应用第4章.ppt

解： v1 v2 v3 v4 v5 v6 v7 1 3 2 2 5 2 3 3 3 5 4 G v1 v2 v3 v4 v5 v6 v7 1 3 2 2 5 2 3 3 3 5 4 v2 v3 v4 v5 v6 v7 1 3 2 2 5 2 3 3 3 5 4 v1 v2 v3 v4 v5 v6 v7 1 3 2 2 5 2 3 3 3 5 4 v1 例 如果一个非负权的边赋权图G中只有两个奇度顶点u与v，设计一个求其最优欧拉环游的算法。 解： (1)、 在u与v间求出一条最短路P; (最短路算法) (2)、 在最短路P上，给每条边添加一条平行边得到G的欧拉母图G*; (3)、 在G的欧拉母图G*中用Fleury算法求出一条欧拉回路。 算法： 证明：设u与v是G的两个奇度顶点，G*是G的任意一个欧拉母图。 考虑G*[E*-E], 显然它只有两个奇数顶点u与v, 当然它们必须在G*[E*-E]的同一个分支中，因此，存在(u, v)路P*。 所以， 例：求出下图的一条最优欧拉环游。 y 2 2 2 2 1 1 u 4 3 3 6 5 w x v G z y 2 2 2 2 1 1 u 4 3 3 6 5 w x v G z 最优欧拉环游：x u y w v z w y x u w v x z y x §4.4 哈密尔顿图 经过图中每个点仅一次的路（圈）称为的Hamilton路 (圈)，存在Hamilton圈的图称为哈密尔顿图，简称H图。Hamilton路也简称H路。 只有哈密尔顿路，但不是哈密尔顿图 哈密尔顿图 无哈密尔顿路 例如 证明 设C 是G 中一条哈密尔顿圈。任取 V 中非空子集S ， 因 C 是G 的哈密尔顿圈含G 的所有点，故S 也是子图 C 的非空子集。由点不重复的圈的特性知任意删去C 中 | S | 个点，最多将C 分为 | S | “段” ，即 ω (C-S) ≤ | S | （*） 而 C 是 G 的生成子图，又有 ω (G-S) ≤ ω (C- S ) 所以 ω (G- S )≤ | S | 定理5 若G是H图，则对于V的每个非空真子集S ，均有 ω(G-S)≤|S | (4.1) 依据定理4可判断下图（a）不是哈密尔顿图，这是因若取 S = {v }，有 ω (G - S ) =2 1 = | S | （a） v 可验证彼得森图（上图（b）所示）不是哈密尔顿图，但满足式（*）式。这表明定理5给出的条件只是图 G 是哈密尔顿图的必要条件而不是充分条件。 (b) 引理1　设G是简单图，u和v是G中不邻接的顶点，且适合 d(u) + d(v)≥n 则G是H图的充要条件是G + uv为H图。 证明　必要性：若G是H图，则显然G + uv也是H图。 充分性：设G + uv是H图。如果G + uv的H圈不含边uv，则由 G = (G+uv) - uv 知G中有一个H圈。 如果G + uv的H 圈中含有 uv 边，不妨设H圈为 C = uvv3v4…vnu。 当G1= G + uv时，有 故有　　 若有i (3≤i≤n-1) 使 u adj vi，v adj vi+1 (如图)， 则 G 中有一个H圈 C1 = uvivi-1…v3 v vi+1vi+2…vn u 即G是H 图 vi-1 vi-2 v3 vi vi+1 vi+2 vi+3 v u vn 若不存在这样的i ，因 v3, v4,…, vn-1中有 -2 个点与u邻接，故v4, v5, …,vn中就有 -2 个点不能与v 邻接。从而 这与已知条件相矛盾。故在假设的 dG(u) + dG(v) ≥ n的条件下，一定存在上述图示那样的i ，使G中存在一个H 圈，所以G为H图。 (v) ≤ (n-1) – ( -2) = n - dG(u) dG(v