http://acm.hdu.edu.cn/showproblem.php?pid=2604

依旧是构造矩阵求值的题。。

首先得到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; }