7.4.0 图的连通性问题

• 连通：对于无向图 G，从顶点 v 到 顶点 v ‘ 有路径，则称 v 和 v ’ 是连通的。

• 连通图：无向图中，任意两个顶点都是连通的。

• 连通分量：无向图中的极大连通子图。如下 G3 是非连通图，但它有 3 个连通分量。
  非连通图都可以看作是若干个连通分量构成。
  

• 连通图的生成树 / 极小连通子图
  是一个连通图的极小连通子图，包含图中全部的 n个顶点，但只有 n-1 条边。
  在生成树上添加一条边，必定构成一个环，因为这条边使得它依附的那两个顶点之间有了第二条路径。
  一个有 n 个顶点的生成树有且仅有 n-1 条边。
  小于则一定是非连通图，
  大于则一定有环，
  等于也不一定就是生成树。

• 7.4.1 无向图的连通分量和生成树

• 7.4.2 有向图的强连通分量

• 7.4.3 最小生成树

• 7.4.4 关节点和重连通分量