3.3 Hamilton图.pptVIP

证明：由推论3.3.6知，只要证明 的闭包是完全图。 1. 假设 不是完全图，则可以取 使 最大。不妨设 则由 的假设， ＜ 。 接下来证明对这个k，不满足定理的条件 2. 记 对于 ，我们有 中每个点在 的度不超过 中每个点在 的度不超过 且 3. 由于 是 的生成子图，因而在 中有个点的度不超过 ,以及至少有 个顶点的度 小于 所以对 ＜ ,有 和 ＜ 矛盾，定理得证。 1983年，范更华给出的一个充分条件 图 是一个2-连通图，对图 中的任 意两个顶点 ，只要 就有 则 是Hamilton图。 证明 取 则可以证明 的每个连通分支是完全 图 ，且每个分支与 之间至少有两条边，同 时由闭包定理，我们不妨假设 是完全图。 由此可以构造出