第章-参考资料：无向哈密顿图的一个充分条件的证明.ppt

扩大路径法 设G = V, E为 n 阶无向图，E ? ?. 设 ?l 为G中一条路径. 若此路径的始点或终点与通路外的顶点相邻，就将它们扩到通路中，继续这一过程，直到最后得到的通路的两个端点不与通路外的顶点相邻为止. 设最后得到的路径为?l+k（长度为 l 的路径扩大成了长度为 l+k 的路径），称?l+k为“极大路径”. 称使用此种方法证明问题的方法为“扩大路径法”. 有向图中类似讨论，只需注意，在每步扩大中保证有向边方向的一致性. 实例 由某条路径扩大出的极大路径不惟一，极大路径不一定是图中最长的路径 上图中，(1)中实线边所示的长为2的初始路径?，(2), (3), (4)中实线边所示的都是由(1)扩展成的极大路径. 还能找到另外的极大路径吗？ 扩大路径法的应用 例4 设 G 为 n（n?3）阶无向简单图，? ? 2，证明G 中存在 长度 ? ?+1 的圈. 证明：设 ? = v0v1…vl 是由初始路径 ?0 用扩大路径法的得到的极大路径，则 l ? ?. 因为v0 不与 ? 外的顶点相邻，又 d(v0) ? ?，因而在 ?上除 v1 外，至少还存在 ??1个顶点与 v0 相邻. 设 vx 是离 v0 最远的顶点，于是 v0v1…vxv0 为 G 中长度 ? ?+1 的圈. 无向哈密顿图的一个充分条件1 定理15.7 设G是n阶无向简单图，若对