korasaju 思维难度与代码量都远低于 tarjan，是求缩点的神，但限于国内的资料太少，似乎用的人并不多，且资料也并不全面（如缺少关于其正确性的证明）。。。

于是乎我从维基百科上翻阅了有关资料，写了一篇似乎是 关于 korasaju 算法的介绍与证明 上传于我的博客供大家参考，顺便希望有人能帮忙挑挑其中证明的毛病啥的，先提前感谢（

由于证明的正确性不能保证就暂且不传题解版了，如果有管理佬碰巧对这玩意感兴趣就顺便帮忙审审，先提前感谢（