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

Транзитивное замыкание орграфа (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].

Литература

• Евстигнеев В.А. Применение теории графов в программировании. — М.: Наука, 1985.