Транзитивное замыкание орграфа

Транзитивное замыкание орграфа (Transitive closure of a directed graph) - для данного орграфа [math]\displaystyle{ G }[/math] орграф [math]\displaystyle{ G^{\ast} }[/math] с тем же множеством вершин, что и [math]\displaystyle{ G }[/math], в котором дуга [math]\displaystyle{ (v,w) }[/math] существует тогда и только тогда, когда [math]\displaystyle{ w }[/math] достижима из [math]\displaystyle{ v }[/math] в [math]\displaystyle{ G }[/math].

Литература

[Евстигнеев/85]