連通性
強連通 Strongly Connected (有向圖)
強連通分量 Strongly Connected Component
Kosaraju (50:00)
點/邊 雙連通 Biconnected (無向圖)
點雙連通
割點 AP (1:00:00)
邊雙連通
橋 (1:05:00)
Tarjan (Low, dfn) (1:16:26)
割點: low(u)>=dfn(v) (u是v的兒子), 樹根需特判,如果root有2個以上的兒子=>root is AP,else: root is not AP
橋: low(v)>dfn(n), low(v)=dfn(v), v是u的兒子, (1:46:32)
<下午>
SCC
BCC
(14:40)
2SAT
(23:00)