无向图中结点之间的 可达 关系 R 的每个 等价类 导出的 子图 都成为 G 的一个连通分支

表示 G 中的连通分支个数

无向图是连通图当且仅当

就是连通形成了一片结点组,块数就是连通分支个数