Tarjan 算法学习笔记（超详细）

对于一张有向图
\(S\) 的子图
\(V\)，满足
\(V\) 内的点两两之间可达，并且不存在一个子图
\(G\) 使得
\(G \supseteq V,G \not= V\)，通俗的讲就是无法继续扩张的两两可达的子图。