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