閉路検出のアルゴリズム