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