Транзитивная редукция орграфа

Транзитивная редукция орграфа (Transitive reduction of a directed graph) - для данного орграфа [math]\displaystyle{ G }[/math] орграф с наименьшим числом дуг, транзитивное замыкание которого совпадает (изоморфно) с транзитивным замыканием исходного графа [math]\displaystyle{ G }[/math].