Tarjanの強連結成分アルゴリズム