65
правок
Изменения
→Алгоритм для антисимметричных отношений
__TOC__
== Алгоритм для антисимметричных отношений ==
Для удобства представим отношение в виде [[Основные определения теории графов|графа]]: <tex> G = \left < V, E \right > </tex>. Его транзитивным остовом будет граф <tex> G^- = \left < V, E^- \right > </tex>.
Введём несколько обозначений:
