设T是无向图G的生成子图113.pptVIP

12.2 生成树 定义12.2.1 设T是无向图G的生成子图，若T是树，则称T是G的生成树。 从G中删去T 的边后得到的图称为T 的余树，记为T。T 中的边称为T 的树枝，T 中的边称为T 的弦（或余枝）。 定理12.2.1 无向图G是连通图当且仅当G有生成树. 证 充分性 显然，因为生成树本身是连通的。 必要性 设G是连通图。如果G中无回路，那么G本身就是生成树；如果G中存在回路C1，则去掉C1上的一条边，仍保持连通性；若还有回路C2 ，则再去掉C2上的一条边，直到无回路为止，最后得到一棵生成树。 推论1 设G为连通图，V(G)=n, E(G)=m, 则 m ≥ n-1 推论2 设T 为G 的一棵生成树，则T 的余树T 有 m-n+1条边。 定义12.2.2 设T为连通图G的生成树，e为T的弦，称回路T∪{e}为G的(关于T的弦e 的)基本回路，记为C(e)；集合C = {C(ei)|ei为T 的弦}称为G的(关于T 的)基本回路系统。 例12.2.2 求图G的全部回路。 解：利用G关于T 的基本回路系统。记Ck=C(ek) 且作映射 Ck→(d1k, d2k,? , d8k) 其中C1 C2 C3为基本回路；C1⊕C2 C2⊕C3 C1⊕C3为G的回路，但非基本回路； C1⊕C2⊕C3为G的环路