矩阵不可约和导出图强联通关系

下文图片来源知乎上的回答
矩阵可约指的是存在一个置换矩阵将行的位置进行置换，同时将矩阵列做一样的变换可以让原来的矩阵变成一个分块上三角阵。等价的说，就是存在一个指标集划分，将1到n划分为两个不相交的集合$\mathcal{I},\mathcal{J}$，使得子矩阵$A[\mathcal{I},\mathcal{J}]=0$
矩阵上第$i$行，第$j$列的元素非零表示节点$i$到$j$有一条有向边。而矩阵可约就是说把图分成两部分，其中一部分到另一部分不可达。意义和证明就非常自然和明显了

见原回答
关于不可约矩阵有以下结论：
可以证明$|A{|}^k$位置$(p,q)$非零当且仅当导出图中$p$到$q$有长度为$k$的路径，而$(I+|A|{)}^k$位置$(p,q)$非零当且仅当导出图中$p$到$q$有长度小于等于$k$的路径。$n$个点的简单路径（没有环）最多长度为$n-1$

定理：$A\in M_n$是域上的矩阵，$M(A)$表示$A$的指标方阵（$M(A)$是一个零一矩阵，当$A$对应位置非零时，$M(A)$对应位置为1，否则为0），则以下几个结论等价：
( a ) (a)