Go backward to Transitive ClosureGo up to TopGo forward to Composition of Relations |

*Algorithm:*

reachability( V,E):n= |V|R^{0}= {<x,x>:xinV}for(i=0;i<n;i++)R^{i+1}=R^{i}union (R^{i}oE)returnR^{n }

*Can compute reachability relation from edge relation.*

Author: Wolfgang Schreiner

Last Modification: January 26, 2000