13
правок
Изменения
Нет описания правки
От противного: пусть <tex> \exists i, j \in V: i \underset{G}{\overset{+}{\leadsto}} j, j \underset{G}{\overset{+}{\leadsto}} i, i \neq j</tex>. По антисимметричности исходного отношения получаем <tex> i = j </tex>, что противоречит предположению.
}}
Докажем теорему, из которой следует алгоритм.