可达图

reachability graph