一、极大连通子图
(1)极大连通子图是连通图的一个连通分量,连通分量本身是一个连通图。
(2)连通图的极大连通子图只有一个就是其本身,是唯一的。
(3)非连通的极大连通子图有多个,每一个都是一个连通图。
为什么称为极大?如果将连通分量外的任意一个顶点添加进连通分量都会造成不连通。
二、极小连通子图
(1)一个连通图的生成树是该连通图的极小连通子图。同一个连通图可以有不同的生成树,所以生成树不是唯一的。
(2)极小连通子图=生成树,则有n个顶点,必然有n-1条边。
(3)为什么称为最小?如果去极小连通子图的一条边就无法构成树,不满足树的定义。意味着在极小连通子图中每一条边都是必不可少的。如果给极小连通子图增加一条边,n个节点,n条边,则必然会构成环。意味只有能够连通图中所有顶点而又不会构成回路的任意的子图都是他的生成树。