13
правок
Изменения
Нет описания правки
__TOC__
== Алгоритм построения для антисимметричных отношений ==
=== Определения и обозначения ===
Для удобства представим отношение в виде графа: <tex> G = \left < V, E \right > </tex>. Его транзитивным остовом будет граф <tex> G^- = \left < V, E^- \right > </tex>.
'''Транзитивным замыканием''' графа <tex> G = \left < V, E \right > </tex> называется граф <tex> G^* = \left < V, E^* \right > </tex>, где <tex> E^* = \left \{ (i, j) \in V \times V | i \underset{G}{\leadsto} j \right \} </tex>.
}}
=== Теоретическое обоснование алгоритма ===
{{Утверждение
}}
Докажем теорему, из которой следует алгоритм.