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