tarjan求图的联通性问题是一种高效的模板化方法。其依赖于dfndfndfn与lowlowlow求解，十分巧妙。 kosaraju依赖更加巧妙的性质，证明略为复杂。 本文递交已结束。