『图论』有向图强连通分量的Tarjan算法