reachability matrix一种表示有向图结构的矩阵。

节点相邻矩阵连续幂的布尔和。

矩阵的行与列的维数等于图的节点数，矩阵的元素取值为0或1；如果第i行第j列元素为1，表示有向图中从节点i经过某些边和节点可以到达节点j，如为0则不能。

可及矩阵可由相邻矩阵运算得出。

根据可及矩阵能进行系统分隔。