Tarjan算法学习。

kosaraju算法是从算导上看证明看明白的。然后我觉得，GB以前说的话很有道理，他挺想让我们看算导，看上面的证明，做课后题，神马的。现在看来，确实有用。

kosaraju比较好理解，准备学tarjan，可恨的是，算导只提了这个算法一句话 = =。百度谷歌后，好的学习文章基本没有，我想要详细证明的那种。但是现在看来，基本都是解释算法，不带证明的，YM。我想起来原版论文了。搜出来了。

DEPTH-FIRST SEARCH AND LINEAR GRAPH ALGORITHMS（点这个下载。。。）

纯英版的。好吧。Tarjan大神写的。。。1972年出版的。。。膜拜下。

昨晚看的时候，觉得没有想象中那么难，一页基本只有两三个生词，压力不大。

看证明的时候有点纠结了，虽然我都知道那词的意思，但是句子表达的含义有点理解不了，YM。

硬看这都是。。。 = =。。。只用看其中5页就好了，前面是DFS的证明神马的。

昨晚睡觉前，看图，自己心里模拟了下，居然懂了 。。。激动~~~

今早起来，看着伪代码，把tarjan给写了。把poj的2186用tarjan给过了，虽然需要再理解下。(*^__^*) 嘻嘻……

 

P.S.http://www.byvoid.com/blog/scc-tarjan/zh-hans/ 网上大牛的讲解，还可以。不过还是建议看原版的。