previous up next
Go backward to Transitive Closure
Go up to Top
Go forward to Composition of Relations
RISC-Linz logo



reachability(V, E):
   n = |V|
   R0 = {<x, x>: x in V}
   for (i=0; i < n; i++)
      Ri+1 = Ri union (Ri o E)
   return Rn

Can compute reachability relation from edge relation.

Author: Wolfgang Schreiner
Last Modification: January 26, 2000

previous up next