依旧是构造矩阵求值的题。。
首先得到f[n]=f[n-1]+f[n-3]+f[n-4];
前四位我们可以算出d[1]=2,d[2]=4,d[3]=6,d[4]=9.
我们可以这样想:一个合法串可以由两个较短的合法串组成
就以d[n]为例:(注意不能重复)
1、n-1个字符的时候: +m
2、n-2: 只能+mm,会和n-1重复,所以不考虑n-2
3、n-3: +mmf
4、n-4: +mmff
5、n-5: 如果是+mmffm,会与n-1重复,+mmmff会与n-4重复,+mmmmf会与n-3重复(不考虑)
所以就考虑n-1,n-3,n-4,DP等式就出来了:dp[n]=dp[n-1]+dp[n-3]+dp[n-4]
AC代码:
#include<iostream>
#include<string.h>
#include<algorithm>
using namespace std;
typedef long long L;
typedef struct str
{ L s[4][4];//注意数据范围
}Node;
Node a,b;
int n,m;
Node ceil(Node p,Node q)
{ Node c;
memset(c.s,0,sizeof(c.s));
for(int i=0;i<4;++i)
for(int j=0;j<4;++j)
for(int t=0;t<4;++t)
c.s[i][j]=(c.s[i][j]+p.s[i][t]*q.s[t][j])%m;
return c;
}
Node doit(int k)
{ Node p=a,q=b;
while(k)
{ if(1&k) p=ceil(p,q);
q=ceil(q,q);
k=k>>1;
}
return p;
}
int main()
{
while(~scanf("%d%d",&n,&m))
{
for(int i=0;i<4;++i)
for(int j=0;j<4;++j)
{if(i==j) a.s[i][j]=1;
else a.s[i][j]=0;
}
b.s[0][0]=b.s[0][2]=b.s[0][3]=b.s[1][0]=b.s[1][1]=b.s[1][3]=b.s[2][0]=b.s[2][1]=b.s[2][2]=b.s[3][2]=0;
b.s[0][1]=b.s[1][2]=b.s[2][3]=b.s[3][0]=b.s[3][1]=b.s[3][3]=1;
if(n==1) { m=2%m;printf("%d\n",m);}
else if(n==2) { m=4%m;printf("%d\n",m);}
else if(n==3){ m=6%m;printf("%d\n",m);}
else if(n==4) { m=9%m;printf("%d\n",m);}
else
{ n-=4;
Node c=doit(n);
int k=(c.s[3][0]*2+c.s[3][1]*4+c.s[3][2]*6+c.s[3][3]*9)%m;
printf("%d\n",k);
}
}return 0;
}