連通性相關

一些概念

連通：無向圖中的任意兩點都可以互相到達。
強連通：有向圖中的任意兩點都可以互相到達。
連通分量：無向圖的極大連通子圖。
強連通分量：有向圖的極大強連通子圖。

---

DFS 生成樹：對一張圖進行深度優先遍歷得到的生成樹。

樹邊：在 DFS 生成樹上的邊。

前向邊：由子樹的根連向子樹內的非樹邊。

返祖邊：由結點連向其祖先的邊。

橫叉邊：除上面三種邊以外的邊，也就是在兩棵不相交子樹之間的邊。