概念
點(vertex)、邊(edge)
- 無向圖中
若圖中存在兩點可以到達,則稱這兩個點是 連通的(connected)
若圖中任意兩點都連通,則稱該無向圖為 連通圖(connected graph)
若圖 \(G\) 中存在一個連通子圖 \(H\)(\(H\subseteq G\)),沒有嚴格更大的連通子圖 \(I\) 使 \(H \varsubsetneqq I\),則稱 \(H\) 為 \(G\) 的 連通分量(connected component)(極大連通子圖)
- 有向圖中
若圖中存在單向路徑 u -> v,則稱 u 可達 v
若圖中任意兩點都互相可達,則稱該有向圖為 強連通圖(strongly connected graph)
若不強連通的有向圖把有向邊變為無向邊的無向圖為連通圖,則稱該圖為 弱連通圖(weakly connected graph)
與無向圖的連通分量類似,有 強連通分量(strongly connected component,SCC)(極大強連通子圖)、弱連通分量(weakly connected component)(極大弱連通子圖)