tarjan 求强连通分量、边双（超详细）（一）

伟大的 Robert Tarjan 创造了众多被人们所熟知的算法及数据结构，最著名的如：（本文的）连通性相关的 tarjan 算法，Splay-Tree，Toptree，tarjan 求 lca 等等。