第4章 遍历问题.ppt

定理4.3.5 简单图G为Hamilton 图 ? c(G)为Hamilton 图 。 推论4.3.6 设G为 ? ? 3的简单图，则 c(G)为完全图 ? G为Hamilton图 。 定理4.3.7 c(G)是唯一确定的（welldefine）。 证明：假设G’及G’’为G的二闭包 ，而 e1 ,......,em 及 f1 ,......,fn 为构成它们时加上去的新边（按先后顺序）序列。 先证 ：每个ei ? E(G’’)。假设不然,令 ek+1 =uv为e1,......,em中第一个? E(G’’)的新边。记 H = G+{e1 ,......,eK } 。 由G’之定义知： d H(u) + dH(v) ? ? 。 但H ? G’’，∴ dG’’(u) + dG’’(v) ? dH(u) + dH(v) ? ?。 而ek+1 =uv ? E(G’’), 这与G’’之定义矛盾。 同理，每个fj ? E(G’) 。故 G’ = G’’ 。 例* 设简单连通图G中 ? ? 2? ，则G含一长 ? 2? 的路。 （提示：反证，假设G中最长路的长?2?-1，再用定理4.3证明中类似的方法。） 例 将二部图G = (X,Y,E) ，? X ? =