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