设G是有限图。反复连接G中不相邻的并且 其度之和不小于 的点对,直到没有这样 的点对为止。最后所得的图称为G的闭合 图,记为C(G)。
例:
a
b
f
c
e
d
引理2
有限图G的闭合图C(G)是唯一确定的。 ➢证明: 设在G中增加边l1,…,ln后得闭合图C1(G),
在G中增加边f1,…,fm后得闭合图C2(G)。 往证:C1(G)= C2(G)。 只需证:{ l1,…,ln}={f1,…,fm}; 即证{l1,…,ln}{f1,…,fm}并且{f1,…,fm}{ l1,…,ln}。 先证{l1,…,ln}{f1,…,fm}
§4.4 Hamilton图
§4.4 Hamilton图
➢沿着正十二面体的棱寻找一条旅行路线,通过每个城 市 恰 好 一 次 又 回 到 出 发 城 市 。 这 便 是 Hamilton 回 路 问 题。
§4.4.1 Hamilton路及必要条件
➢定义4.4.1 设G=(P, L)是有限图,(v1, … , vn) 是G中一条路。如果G中每点恰在此路中出现 一次,则称此路为Hamilton路;如果G中每点, 除v1外,恰在此路中出现一次,而v1=vn,则此 路称为Hamilton回路。
定理4.4.1
➢如果图G=(P, L)是Hamilton图,则对P(G)的 任一非空子集S,都有
W(G-S) |S| 其中 |S| 表示集合S的元素数,G-S表示在G中 删除S中的点以及以S中的点为端点的所有边 而剩下的图,W(G-S)表示图G-S的连通分支 数。
定理4.4.1
证明:设C是G中的Hamilton回路,因为在 回路中,依次删去一点及与此点相邻的两 条边每次最多只增加一个分支,所以