洛谷P4762(PAM)

luoguP4762
PAM题目嗷，不会先学。
首先暴力的话就是和串的长度是一样的，如果里面含有偶数长度的回文串，那么就可以减少次数，奇数长度的回文串没意义。然后一开始令dp[i]=len[i]，然后我们来看如何优化abbaabba这种首先打印ab，然后翻转abba，然后翻转abbaabba。
然后其他所有的都暴力加上。。
一开始自己枚举所有的状态点，然后暴力跳fail，然后T了。
看了题解，发现得记录一下，有点像记忆化的思想吧。

#include<bits/stdc++.h> 
using namespace std;
const int N=1e5+50;
struct Palindromic_Tree{
    int next[N][4];//next指针，添加字符x后指向的节点
    int fail[N];//fail指针，记录失配后的节点
    int cnt[N];
    int num[N];
    int len[N];//记录当前节点的回文字符串的长度
    int S[N];//储存添加的字符
    int last,n,p;
	int tans[N];
    int newnode(int w){
        for(int i=0;i<26;i++) next[p][i]=0;
        cnt[p]=0;
        len[p]=w;
        return p++;
    }
    void init(){
        p=0;
        newnode(0);
        newnode(-1);
        last=0;
        n=0;
        S[0]=-1;
        fail[0]=1;
    }
    int get_fail(int x){
        while (S[n-len[x]-1]!=S[n]) x=fail[x];
        return x;
    }
    void add(int c){
        S[++n]=c;
        int cur=get_fail(last);
        if(!next[cur][c]){
            int now=newnode(len[cur]+2);
            fail[now]=next[get_fail(fail[cur])][c];
            next[cur][c]=now;
            num[now]=num[fail[now]]+1;
			if(len[now]<=2)tans[now]=fail[now];
			else{
				int tmp=tans[cur];
				while (S[n-1-len[tmp]]!=S[n]||(len[tmp]+2)*2>len[now])tmp=fail[tmp];
				tans[now]=next[tmp][c];
			}
		}
        last=next[cur][c];
        cnt[last]++;
    }
    void count(){
    for(int i=p-1;i>=0;--i)
       cnt[fail[i]]+=cnt[i];
    }
}pam;
char s[N];
int ans,n;
int dp[N];
inline int solve(int x){
	int l=pam.len[x]/2;
	while (x>1&&pam.len[x]>l)x=pam.fail[x];
	return x;
}
int main(){
	int T;
	int val[150];
	val['A']=0;
	val['T']=1;
	val['C']=2;
	val['G']=3;
	scanf("%d",&T);
	while (T--){
		scanf("%s",s);
		pam.init();
		ans=n=strlen(s);
		for(int i=0;i<n;i++)pam.add(val[s[i]]);
		for(int i=2;i<=pam.p;i++)dp[i]=pam.len[i];
		queue<int>q;
		q.push(0);
		dp[0]=1;
		while (!q.empty()){
			int u=q.front();
			q.pop();
			for(int i=0;i<4;i++){
				int x=pam.next[u][i];
				if(!x)continue;
				dp[x]=dp[u]+1;
				int y=pam.tans[x];
				dp[x]=min(dp[x],dp[y]+1+pam.len[x]/2-pam.len[y]);
				ans=min(ans,dp[x]+n-pam.len[x]);
				q.push(x);
			}
		}
		printf("%d\n",ans);
	}
}