NC17134 Symmetric Matrix

NC17134 Symmetric Matrix

Problem Statement

数有多少个$n\times n$的矩阵满足下列条件:

• A i , j ∈ { 0 , 1 , 2 } , 1 ≤ i , j ≤ n A_{i,j}\in\{0,1,2\},1\leq i,j\leq n Ai,j​∈{0,1,2},1≤i,j≤n.
• $A_{i,j}=A_{j,i},1\le i,j\le n$.
• ${\sum }_{i=1}^n{A}_{j,i}=2,j\in [1,n]$.
• $A_{i,i}=0,i\in [1,n]$.

Solution

由于性质$2$可知, $A$是一个对称矩阵. 因此我们可以把$A$看作为一个$n$个点的无向图的邻接矩阵.

那问题就转化成, 有$n$个点, 每个点的度数都是$2$, 且不存在自环, 但是允许有重边(重边当且仅当在二元环中出现).

那么我们考虑递推/第二类数学归纳法,

设$f_k$表示$k$个点满足上述要求的方案数.

$k\le n-1$的$f_k$已经求出了. 现在我们通过$f_k,k\le n-1$去求$f_n$.

现在添加了一个点, 它需要和之前存在的一个点形成环.

如果添加的一个点和之前的点形成了一个二元环的方案数是$(n-1)f_{n-2}$.

如果添加的一个点和之前的点形成了一个$k$元环, 得方案数${\sum }_{k=0}^{n-3}(C_{n-1}^k\times f_k\times \frac{(n-k-1)!}{2})$.

• $f_n=(n-1)f_{n-2}+{\sum }_{k=0}^{n-3}\frac{(n-1)!}{2\times k!}{f}_k$.

• $f_{n-1}=(n-2)f_{n-3}+{\sum }_{k=0}^{n-4}\frac{(n-2)!}{2\times k!}{f}_k$.

$f_n-(n-1)f_{n-1}=(n-1)f_{n-2}+{\sum }_{k=0}^{n-3}\frac{(n-1)!}{2\times k!}{f}_k-(n-1)(n-2)f_{n-3}-{\sum }_{k=0}^{n-4}\frac{(n-1)!}{2\times k!}{f}_k$.

化简可得$f_n=(n-1)(f_{n-1}+f_{n-2})-\frac{(n-1)(n-2)}{2}{f}_{n-3}$.

边界: $f_1=0,f_2=f_3=1$.

算法复杂度为$O(n)$.

Code

# define Fast_IO std::ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
# include "unordered_map"
# include "algorithm"
# include "iostream"
# include "cstdlib"
# include "cstring"
# include "cstdio"
# include "vector"
# include "bitset"
# include "queue"
# include "cmath"
# include "map"
# include "set"

using namespace std;

const int maxm=1e5+10;

int N,Mod;
long long DP[maxm];

int main(){
	static long long i;
	while(~scanf("%d%d",&N,&Mod)){
		DP[1]=0,DP[2]=DP[3]=1;
		for(i=4;i<=N;i++){
			DP[i]=((i-1)*(DP[i-1]+DP[i-2])-(i-1)*(i-2)/2*DP[i-3]%Mod+Mod)%Mod;
		}printf("%lld\n",(DP[N]+Mod)%Mod);
	}
	return 0;
}

Link

Link 1: NC17134 Symmetric Matrix