离散数学 --- 树 --- 无向树，生成树与最小生成树

第一部分 --- 无向树

1.图为连通图的时候才能成为树

2.图为非连通图，但是每个其每个连通分支都是树的时候这个图称为森林

3.单独的树也能够称为森林，因为一个无向图为树时，它的连通分支就是它自己，此时它满足森林的定义：“每个连通分支都是树的无向图”

（简单来说就是满足树的定义的无向图也满足森林的定义，所以树可以是森林）

 

1.使用循环论证可以让我们的证明结果变为环状，而蕴涵关系又具有传递性，此时环上的任意一个结果都能够根据传递性推出环上的其它结果，从而完成我们的证明了

2.连通图只有一个连通分支，那就是连通图本身