【XSY1544】fixed 数学 强连通图计数

题目描述

​　　给你一个$n\times n$的方阵$A$。定义方阵$A$的不动点$(i,j)$为：$\forall p,q\geq 0,(A^p)_{i,j}=(A^q)_{i,j}$

​　　求有多少个元素都在$[0,m)$之间的$n$阶整数方正存在不动点。

​　　对$10^9+7$取模。

​　　$n\leq 3000,m\leq {10}^9$

题解

​　　我们可以把方阵看成图$G$。$a_{i,j}$表示第$i$个点有多少条有向边连到第$j$个点。$a^p_{i,j}$表示有多少条从$i$出发经过$p$条边到达$j$的路径。

​　　考虑$a^0$，即单位矩阵。所以若不动点$(i,j)$在主对角线上则$a_{i,j}=1$，否则$a_{i,j}=0$。

​　　有一个结论：这个方阵有不动点当且仅当这个图不是强连通图。

​　　证明：

​　　　　1.如果