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