Tarjan(連通性相關) 筆記

Zhang_Wenjie發表於2024-07-25

概念

點(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)(極大弱連通子圖)

相關文章