有向グラフが与えられ、強連結成分に分解する。