Переходное закрытие
возвращает переходное закрытие графика H
= transclosure(G
)G
как новый график, H
. Узлы в H
совпадают с теми в G
, но H
имеет дополнительные ребра. Если существует путь от узла i
к узлу j
в G
, затем существует ребро между узлом i
и узел j
в H
. Для мультиграфов с несколькими ребрами между теми же двумя узлами выходной график заменяет их на одно ребро.
digraph
| transreduction
| conncomp
| successors
| predecessors