65
правок
Изменения
→Алгоритм для антисимметричных отношений
Введём несколько обозначений:
* <tex> u \underset{G}{\to} v </tex> — в графе <tex> G </tex> есть ребро из вершины <tex> u </tex> в <tex> v </tex>;,* <tex> u \underset{G}{\leadsto} v </tex> — в графе <tex> G </tex> есть путь (возможно, рёберно пустой) из вершины <tex> u </tex> в <tex> v </tex>;,
* <tex> u \underset{G}{\overset{+}{\leadsto}} v </tex> — в графе <tex> G </tex> есть рёберно непустой путь из вершины <tex> u </tex> в <tex> v </tex>.
