Переходное сокращение
возвращает переходное сокращение графика H
= transreduction(G
)G
как новый график, H
. Узлы в H
те же, что и в G
, но H
имеет другие края. H
содержит наименьшее количество ребер, так что если есть путь от узла i
к узлу j
в G
, затем также существует путь от узла i
к узлу j
в H
.