reachability matrix
一种表示有向图结构的矩阵。
矩阵的行与列的维数等于图的节点数，矩阵的元素取值为0或1；如果第i行第j列元素为1，表示有向图中从节点i经过某些边和节点可以到达节点j，如为0则不能。
可及矩阵可由相邻矩阵运算得出。
根据可及矩阵能进行系统分隔。