【JZOJ3294】【BZOJ4417】【luoguP3990】超级跳马

description

---

analysis

• 矩阵乘法好题

• 最朴素的$10pts$的$f[i][j]$容易$DP$，但是是$O(n{m}^2)$的复杂度

• 于是把$10$分的$DP$写出来，就可以知道$f[i][j]+=f[k][l]$的部分可以搞前缀和优化，$O(nm)$有$50pts$

• 这个要先弄懂才可以继续搞矩乘

• 可以分成奇数列和偶数列分别$DP$，设$f[i],g[i]$分别表示某奇数列的第$i$行和偶数列的第$i$行的方案数的前缀和

• $f[i]$和$g[i]$都要加上第$i$行前面与他奇偶性相同的方案数方便转移，具体见代码

• 于是$f[i]=g[i-1]+g[i]+g[i+1],g[i]=f[i-1]+f[i]+f[i+1]$（注意边界的两个点），可以矩乘优化了

• 具体就是，初始矩阵写成前一半是$f[1..n]$，后一半是$g[1..n]$

• 想办法矩乘转移到$(g[1..n],f’[1..n])$，这里举$n=3$的例子

• $(1,0,0,1,1,0)\ast F=(1,1,0,3,2,1)$，因为打表发现$\left(\begin{array}{c}1,1,2...\\ 0,1,2...\\ 0,0,1...\end{array}\right)$，这个$3$加上了前面的那个$1$

• 于是由$(f[i-1],f[i],f[i+1],g[i-1],g[i],g[i+1])\ast F=(g[i-1],g[i],g[i+1],f’[i-1],f’[i],f’[i+1])$推矩阵

• 注意$f[i]=g[i-1]+g[i]+g[i+1]$，推出来大概就是$\left(\begin{array}{c}0,0,0,1,0,0\\ 0,0,0,0,1,0\\ 0,0,0,0,0,1\\ 1,0,0,1,1,0\\ 0,1,0,1,1,1\\ 0,0,1,0,1,1\end{array}\right)$

• $n=10$的矩阵长这样

• 于是就可以直接上矩乘搞了，答案就为最后两位的和

---

code

#include<stdio.h>
#include<string.h>
#include<algorithm>
#define MAXN 55
#define mod 30011
#define ll long long
#define fo(i,a,b) for (ll i=a;i<=b;++i)
#define fd(i,a,b) for (ll ia=;i>=b;--i)

using namespace std;

ll n,m;

struct matrix
{
	ll a[MAXN<<1][MAXN<<1],n,m;
	matrix(){memset(a,0,sizeof(a)),n=m=0;}
	matrix(ll x,ll y){memset(a,0,sizeof(a)),n=x,m=y;}
}f,ans,ans1,f1;
inline ll read()
{
	ll x=0,f=1;char ch=getchar();
	while (ch<'0' || '9'<ch){if (ch=='-')f=-1;ch=getchar();}
	while ('0'<=ch && ch<='9')x=x*10+ch-'0',ch=getchar();
	return x*f;
}
inline matrix operator*(matrix a,matrix b)
{
	matrix c(a.n,b.m);
	fo(i,1,a.n)
	fo(j,1,b.m)
	fo(k,1,a.m)(c.a[i][j]+=a.a[i][k]*b.a[k][j])%=mod;
	return c;
}
inline matrix pow(matrix x,ll y)
{
	matrix z=x;
	while (y)
	{
		if (y&1)z=z*x;
		y>>=1,x=x*x;
	}
	return z;
}
int main()
{
	n=read(),m=read();
	ans=ans1=matrix(1,n<<1),f=f1=matrix(n<<1,n<<1);
	ans.a[1][1]=ans.a[1][n+1]=ans.a[1][n+2]=f.a[n+1][n+1]=1;
	fo(i,n+2,n<<1)f.a[i][i]=f.a[i-1][i]=f.a[i][i-1]=1;
	fo(i,1,n)f.a[i][n+i]=f.a[n+i][i]=1;
	f1=pow(f,m-3),ans1=ans*f1;
	printf("%lld\n",(ans1.a[1][n-1]+ans1.a[1][n])%mod);
	return 0;
}