原理4 Tarjan算法