Здравствуйте, Kernan, Вы писали:

K>Поиск в глбуину.

Да, это примитив, который в любом случае будет необходим. Поиск в глубину, как ни странно, занимается не поиском, а построением леса и классификацией дуг. Каждый раз, когда встречаем back edge, это сигнал об обнаружении цикла.