Транзитивный остов

Определение:

Транзитивным остовом (transitive reduction) отношения [math] R [/math] на множестве [math] X [/math] называется минимальное отношение [math] R' [/math] на [math] X [/math] такое, что транзитивное замыкание [math] R' [/math] равно транзитивному замыканию [math] R [/math].

Алгоритм для антисимметричных отношений

Для удобства представим отношение в виде графа: [math] G = \left \lt V, E \right \gt [/math]. Его транзитивным остовом будет граф [math] G' = \left \lt V, E' \right \gt [/math].

Введём несколько обозначений:

• [math] u \underset{G}{\longrightarrow} v [/math] — в графе [math] G [/math] есть ребро из вершины [math] u [/math] в [math] v [/math];
• [math] u \underset{G}{\overset{*}{\longrightarrow}} v [/math] — в графе [math] G [/math] есть путь (возможно, пустой) из вершины [math] u [/math] в [math] v [/math] (то есть вершина [math] v [/math] достижима из [math] u [/math]);
• [math] u \underset{G}{\overset{+}{\longrightarrow}} v [/math] — в графе [math] G [/math] есть непустой путь из вершины [math] u [/math] в [math] v [/math].

Также введём определение транзитивного замыкания в терминах теории графов:

Определение:

Транзитивным замыканием графа [math] G = \left \lt V, E \right \gt [/math] называется граф [math] G^* = \left \lt V, E^* \right \gt [/math], где [math] E^* = \left \{ (i, j) \in V \times V | i \underset{G}{\overset{*}{\longrightarrow}} j \right \} [/math].

Так как отношение антисимметрично, то граф ацикличен, то есть в нём выполняется следующее: [math] \forall i, j \in V: i \underset{G}{\overset{+}{\longrightarrow}} j \Longrightarrow i \neq j [/math].

Докажем теорему, из которой следует алгоритм.

Теорема:

[math] E' = \left \{ (k, m) \in E \ | \ \forall l: [ k \underset{G}{\overset{*}{\longrightarrow}} l \wedge (l, m) \in E \Longrightarrow k = l ] \right \} [/math]

Доказательство:

[math]\triangleright[/math]

Пусть [math] G' [/math] уже построен. Пусть [math] (k, m) \in E' [/math]. Тогда [math] k \neq m [/math] (т.к. граф ацикличен). Поэтому [math] k \underset{G}{\overset{+}{\longrightarrow}} m [/math]. Пусть [math] l [/math] — вершина, для которой выполняется [math] k \underset{G}{\overset{*}{\longrightarrow}} l \underset{G}{\longrightarrow} m [/math]. (Докажем, что [math] k = l [/math], от противного) Пусть [math] k \neq l [/math]. [math] G [/math] ацикличен, поэтому [math] l \neq m [/math]. Поскольку [math] G^* = (G')^* [/math], верно [math] k \underset{G'}{\overset{+}{\longrightarrow}} l \underset{G'}{\overset{+}{\longrightarrow}} m [/math]. Поскольку [math] G' [/math] ацикличен, путь из [math] k [/math] в [math] l [/math] не может содержать ребра [math] (k, m) [/math]. Аналогично путь из [math] l [/math] в [math] m [/math] не может содержать [math] (k, m) [/math]. Поэтому в [math] G' [/math] существует путь из [math] k [/math] в [math] m [/math], не содержащий в себе ребро [math] (k, m) [/math]. Поэтому удаление [math] (k, m) [/math] из [math] E' [/math] не изменит транзитивное замыкание, что противоречит условию минимальности [math] E' [/math]. Поэтому [math] \forall l: [ k \underset{G}{\overset{*}{\longrightarrow}} l \wedge (l, m) \in E \Longrightarrow k = l ] [/math]. Поскольку [math] k \underset{G}{\overset{+}{\longrightarrow}} m [/math], существует такая вершина [math] l [/math], что [math] k \underset{G}{\overset{*}{\longrightarrow}} l \underset{G}{\longrightarrow} m [/math], что приводит к выводу, что [math] (k, m) \in E [/math]. Предположим, что [math] (k, m) \in E [/math] и [math] \forall l: [ k \underset{G}{\overset{*}{\longrightarrow}} l \wedge (l, m) \in E \Longrightarrow k = l ] [/math], но [math] (k, m) \notin E' [/math]. (Докажем противоречие от противного) Поскольку [math] G [/math] ацикличен, [math] k \neq m [/math] и поэтому [math] k \underset{G'}{\overset{+}{\longrightarrow}} m [/math]. Поскольку [math] (k, m) \notin E' [/math], существует вершина [math] l [/math] такая, что [math] k \underset{G'}{\overset{*}{\longrightarrow}} l \underset{G'}{\overset{*}{\longrightarrow}} m [/math] и [math] k \neq l \neq m [/math]. Поэтому [math] k \underset{G}{\overset{+}{\longrightarrow}} l \underset{G}{\overset{+}{\longrightarrow}} m [/math]. Поскольку [math] G [/math] ацикличен, существует вершина [math] l' \neq k [/math], для которой выполняется [math] k \underset{G}{\overset{+}{\longrightarrow}} l' \underset{G}{\longrightarrow} m [/math], что противоречит нашему предположению.

[math]\triangleleft[/math]

Псевдокод

 R' = R
 foreach a in X
   foreach b in X
     foreach c in X
       if aRb and bRc and aRc
         R'.delete(pair(a, c))

Источники

• Wikipedia: Transitive reduction
• J.A. La Poutré and J. van Leeuwen «Maintenance of transitive closures and transitive reductions of graphs», 1987