矩阵的每个分块看作一个元素，判断矩阵是否是一个不可约矩阵还有一个等价方式，就是看矩阵对应的有向图是否是强连通图。