状压dp.设 $dp_{i,j,k,l,o}$ 表示当前考虑第i位,这个[i-2,i]区间上所有字符的取值情况分别为jkl,这四个单词拼成p种(状压)时的情况数,直接转移即可:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
i128 dp[40][4][4][4][16];
// AEFR  FREE  FARE  AREA  REEF
// 0123  2311  2031  0310  3112
i128 n,m,res;
//#define NaraFluorine
int main(){
	for(int i=0;i<4;++i){
		for(int j=0;j<4;++j){
			for(int k=0;k<4;++k){
				dp[3][i][j][k][0]=1;
			}
		}
	}
	fin>>n;
	for(int i=4;i<=n;++i){
		for(int j=0;j<4;++j){
			for(int k=0;k<4;++k){
				for(int l=0;l<4;++l){
					for(int p=0;p<4;++p){
						if(j==2&&k==3&&l==1&&p==1){
							for(int o=0;o<16;++o){
								if(o&(1<<0))continue;
								dp[i][k][l][p][o|(1<<0)]+=dp[i-1][j][k][l][o];
							}
						}else if(j==2&&k==0&&l==3&&p==1){
							for(int o=0;o<16;++o){
								if(o&(1<<1))continue;
								dp[i][k][l][p][o|(1<<1)]+=dp[i-1][j][k][l][o];
							}
						}else if(j==0&&k==3&&l==1&&p==0){
							for(int o=0;o<16;++o){
								if(o&(1<<2))continue;
								dp[i][k][l][p][o|(1<<2)]+=dp[i-1][j][k][l][o];
							}
						}else if(j==3&&k==1&&l==1&&p==2){
							for(int o=0;o<16;++o){
								if(o&(1<<3))continue;
								dp[i][k][l][p][o|(1<<3)]+=dp[i-1][j][k][l][o];
							}
						}else{
							for(int o=0;o<16;++o){
								dp[i][k][l][p][o]+=dp[i-1][j][k][l][o];
							}
						}
					}
				}
			}
		}
	}
	for(int i=0;i<4;++i){
		for(int j=0;j<4;++j){
			for(int k=0;k<4;++k){
				res+=dp[n][i][j][k][15];
			}
		}
	}
	fout<<res<<"\n";
	return 0;
}