第11章-参考资料：我睫向哈密顿图的一个充分条件的证明.pptVIP

扩大路径法 设G = V, E为 n 阶无向图，E  . 设 l 为G中一条路径. 若此路径的始点或终点与通路外的顶点相邻，就将它们扩到通路中，继续这一过程，直到最后得到的通路的两个端点不与通路外的顶点相邻为止. 设最后得到的路径为l+k（长度为 l 的路径扩大成了长度为 l+k 的路径），称l+k为“极大路径”. 称使用此种方法证明问题的方法为“扩大路径法”. 有向图中类似讨论，只需注意，在每步扩大中保证有向边方向的一致性. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 实例 由某条路径扩大出的极大路径不惟一，极大路径不一定是图中最长的路径 上图中，(1)中实线边所示的长为2的初始路径，(2), (3), (4)中实线边所示的都是由(1)扩展成的极大路径. 还能找到另外的极大路径吗？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 扩大路径法的应用 例4 设 G 为 n（n3）阶无向简单图，  2，证明G 中存在 长度  +1 的圈. 证明：设  = v0v1…vl 是由初始路径 0 用扩大路径法的得到的极大路径，则 l  . 因为v0 不与  外的顶点相邻，又 d(v0)  ，因而在 上除 v1 外，至少还存在 1个顶点与 v0 相邻. 设 vx 是离 v0 最远的顶点，于是 v0v1…vxv0 为 G 中长度  +1 的圈. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 无向哈密顿图的一个充分条件1 定理15.7 设G是n阶无向简单图，若对于任意不相邻的顶点vi, vj，均有 d(vi) + d(vj)  n  1 () 则G 中存在哈密顿通路. 证明：(1) 首先证明G是连通图 反证法。假设 G不连通，则G至少有两个连通分支。设G1和G2为阶数是n1和n2的两个连通分支，对uV(G1)， vV(G2)，有 dG(vi) + dG(vj) = dG1(vi) + dG2(vj) ≤ n1–1 + n2–1 ≤ n – 2 与题设矛盾，所以G是连通图 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 无向哈密顿图的一个充分条件2(续) 定理15.7 设G是n阶无向简单图，若对于任意不相邻的顶点vi, vj，均有 d(vi) + d(vj)  n  1 () 则G 中存在哈密顿通路. 证明： (2)证明G中存在哈密顿通路。 ① 设 = v1v2…vl 为G中极大路径. 若l = n, 证毕. ② 否则要证G 中存在过上所有顶点的圈C。由G是连通图知C外顶点存在与C上某顶点相邻顶点，从而得比 更长的路径. 重复① – ② ，直至最后得一条哈密顿通路. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 证明详解1 证明：讨论l n的情况，即要证G中存在过上所有顶点的圈C. ① 若(v1, vl)在G中，则  (v1, vl)为G中满足要求的圈。 ② 否则，设v1与上 相邻，则k  2 否则由极大路径端点性质及G的连通性，会得到 d(v1) + d(vl)  1 + l  2 n  1， 又vl 至少与 的相邻顶点之一相邻 否则 d(v1) + d(vl)  k + l  2 – (k – 1) n  1 设 与vl相邻，见图 (1) ，于是得G中回路C.