Аннотация:
Формулируются задачи разбиения множества вершин ориентированного графа на классы эквивалентности, построения фактор-графа, выделения всех циклических вершин и построения транзитивного замыкания. Дается описание алгоритма, реализующего разбиение множества вершин на классы эквивалентности. Библ. 5 назв.