8.3.3 可达矩阵