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

K>Для непримитива надо теоримы из ТГ смотреть и придумывать что-то. Опять же, все наивные алгоритмы имеют просто неприличную алгоритмическую сложность в худшем случае.

Под примитивом я имел в виду базовую процедуру-кирпичик. Например, предложенный выше поиск компонент сильной связности использует (дважды) обход в глубину.