状态转移矩阵一条条写出来都得一面纸，更别说推了