可达矩阵的一种算法，可参考，比较实用的。