对求有向图强连通分量的tarjan算法原理的一点理解