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