展开 可达矩阵的乘法运算法则是什么