图论第七节概要1.ppt

* Thank You ! * 本次课主要内容 (一)、生成树的概念与性质 (二)、生成树的计数 (三)、回路系统简介 * 1、生成树的概念 (一)、生成树的概念与性质 定义1 图G的一个生成子图T如果是树，称它为G的一棵生成树；若T为森林，称它为G的一个生成森林。 生成树的边称为树枝，G中非生成树的边称为弦。 例如： 粗边构成的子图为G的生成树。 图G * 2、生成树的性质 定理1 每个连通图至少包含一棵生成树。 证明：如果连通图G是树，则其本身是一棵生成树； 若连通图G中有圈C，则去掉C中一条边后得到的图仍然是连通的，这样不断去掉G中圈，最后得到一个G的无圈连通子图T，它为G的一棵生成树。 定理1的证明实际上给出了连通图G的生成树的求法，该方法称为破圈法。 利用破圈法，显然也可以求出任意图的一个生成森林。 * 推论 若G是(n, m)连通图，则m≧n-1 连通图G的生成树一般不唯一！ (二)、生成树的计数 1、凯莱递推计数法 凯莱(Cayley 1821—1895): 剑桥大学数学教授，著名代数学家，发表论文数仅次于Erdos ,Euler, Cauchy. 著名成果是1854年定义了抽象群，并且得到著名定理：任意一个群都和一个变换群同构。同时，他也是一名出色的律师，作律师14年期间，发表200多篇数学论文，著名定理也是在该期间发表的。