首先,我们要知道后缀自动机能够建立一个父指针树。(以fa指针为边的树)
然后呢,这个神奇的树有这样的性质:1.对于每个节点,父节点的接受串是该节点的接受串的后缀,而且是最长的那个。
所以呢,用该节点的len减去父节点的fa.len,就是该节点表示的串中父节点不能表示的串个数。
当某节点的计数到达k次时,就说明有len-fa.len个不同子串计数到达k次了。
(同理,当插入这个节点,出现的新不同子串个数就是len-fa.len。这也是很有用的性质。)
2.每个节点表示串出现的次数,是这个节点子树上有效节点的总数。
(有效节点指插入该字符产生的那个节点,也就是代码中extend中的np节点)。
这样我们初始化有效节点为1,然后拓扑排序dp,就可以O(n)得到每个节点出现次数。
//-------------------------------------------------
然后进入正题。题意是,给一个原始串,一个尾端插入一个字符的操作,和一个询问,问当前串多少不同子串。
先想想朴素的搞法是怎样。
尾端插入,这个是后缀自动机的特色操作。没啥好说的。
询问不同子串。每当插入一个字符,需要将父指针树上所有的节点出现次数+1。这样最差复杂度将是树的高度。
不过这个题数据太水,很多人都这样搞过了。。。
但只要搞一个全是a的串和200000次插入a的操作的样例,很容易让那些程序挂掉。
怎么办呢。这里发现一个单调性,当一个串出现的次数大于k次时,那么他的父节点出现次数必然大于等于k。
我们每次都只需要找到父链中那个出现次数等于k的节点。
不过这样不好操作。反过来想,我们先把所有串都插进去,然后一个个字符删除,找链上那个次数大于等于k的节点。
因为小于k的节点已经没用,用一个并查集进行路径压缩。这样,删除字符的平摊复杂度就是O(n+T(并查集))。
每次一个节点出现次数变为小于k,就要减去len-fa.len个不同的串。
离线搞一下就好了。
//china no.1
#pragma comment(linker, "/STACK:1024000000,1024000000")
#include <vector>
#include <iostream>
#include <string>
#include <map>
#include <stack>
#include <cstring>
#include <queue>
#include <list>
#include <stdio.h>
#include <set>
#include <algorithm>
#include <cstdlib>
#include <cmath>
#include <iomanip>
#include <cctype>
#include <sstream>
#include <functional>
#include <stdlib.h>
#include <time.h>
#include <bitset>
using namespace std;
#define pi acos(-1)
#define s_1(x) scanf("%d",&x)
#define s_2(x,y) scanf("%d%d",&x,&y)
#define s_3(x,y,z) scanf("%d%d%d",&x,&y,&z)
#define PI acos(-1)
#define endl '\n'
#define srand() srand(time(0));
#define me(x,y) memset(x,y,sizeof(x));
#define foreach(it,a) for(__typeof((a).begin()) it=(a).begin();it!=(a).end();it++)
#define close() ios::sync_with_stdio(0); cin.tie(0);
#define FOR(x,n,i) for(int i=x;i<=n;i++)
#define FOr(x,n,i) for(int i=x;i<n;i++)
#define fOR(n,x,i) for(int i=n;i>=x;i--)
#define fOr(n,x,i) for(int i=n;i>x;i--)
#define W while
#define sgn(x) ((x) < 0 ? -1 : (x) > 0)
#define bug printf("***********\n");
#define db double
#define ll long long
#define mp make_pair
#define pb push_back
typedef pair<long long int,long long int> ii;
typedef long long LL;
const int INF=0x3f3f3f3f;
const LL LINF=0x3f3f3f3f3f3f3f3fLL;
const int dx[]={-1,0,1,0,1,-1,-1,1};
const int dy[]={0,1,0,-1,-1,1,-1,1};
const int maxn=250040;
const int maxx=600005;
const double EPS=1e-8;
const double eps=1e-8;
const int mod=1e9+7;
template<class T>inline T min(T a,T b,T c) { return min(min(a,b),c);}
template<class T>inline T max(T a,T b,T c) { return max(max(a,b),c);}
template<class T>inline T min(T a,T b,T c,T d) { return min(min(a,b),min(c,d));}
template<class T>inline T max(T a,T b,T c,T d) { return max(max(a,b),max(c,d));}
template <class T>
inline bool scan_d(T &ret){char c;int sgn;if (c = getchar(), c == EOF){return 0;}
while (c != '-' && (c < '0' || c > '9')){c = getchar();}sgn = (c == '-') ? -1 : 1;ret = (c == '-') ? 0 : (c - '0');
while (c = getchar(), c >= '0' && c <= '9'){ret = ret * 10 + (c - '0');}ret *= sgn;return 1;}
inline bool scan_lf(double &num){char in;double Dec=0.1;bool IsN=false,IsD=false;in=getchar();if(in==EOF) return false;
while(in!='-'&&in!='.'&&(in<'0'||in>'9'))in=getchar();if(in=='-'){IsN=true;num=0;}else if(in=='.'){IsD=true;num=0;}
else num=in-'0';if(!IsD){while(in=getchar(),in>='0'&&in<='9'){num*=10;num+=in-'0';}}
if(in!='.'){if(IsN) num=-num;return true;}else{while(in=getchar(),in>='0'&&in<='9'){num+=Dec*(in-'0');Dec*=0.1;}}
if(IsN) num=-num;return true;}
void Out(LL a){if(a < 0) { putchar('-'); a = -a; }if(a >= 10) Out(a / 10);putchar(a % 10 + '0');}
void print(LL a){ Out(a),puts("");}
//freopen( "in.txt" , "r" , stdin );
//freopen( "data.txt" , "w" , stdout );
//cerr << "run time is " << clock() << endl;
int root,last;
int tots; //总结点
int l; //字符串长度
int sv[maxn*2];
struct query{int a;long long ans;}qu[maxn];
struct sam_node
{
int fa,son[26];
int len;
void init(int _len)
{
len = _len;
fa = -1;
memset(son,-1,sizeof(son));
}
}t[maxn*2];
void sam_init()
{
tots = 0;
root = last = 0;
t[tots].init(0);
}
void extend(char ch)
{
int w=ch-'a';
int p=last;
int np=++tots;t[tots].init(t[p].len+1);
sv[l]=np;
int q,nq;
while(p!=-1&&t[p].son[w]==-1){t[p].son[w]=np;p=t[p].fa;}
if (p==-1) t[np].fa=root;
else
{
q=t[p].son[w];
if (t[p].len+1==t[q].len){t[np].fa=q;}
else
{
nq=++tots;t[nq].init(0);
t[nq]=t[q];
t[nq].len=t[p].len+1;
t[q].fa=nq;t[np].fa=nq;
while(p!=-1&&t[p].son[w]==q){t[p].son[w]=nq;p=t[p].fa;}
}
}
last=np;
}
int w[maxn], r[maxn*2];
int fa[maxn*2];
void topsort()
{
for(int i = 0; i <= l; ++i) w[i] = 0;
for(int i = 1; i <= tots; ++i) w[t[i].len]++;
for(int i = 1; i <= l; ++i) w[i] += w[i-1];
for(int i = tots; i >= 1; --i) r[w[t[i].len]--] = i;
r[0] = 0;
}
int fi(int x)
{
return fa[x]==x?x:fa[x]=fi(fa[x]);
}
int dp[maxn*2];
char s[maxn];
int n,m,k;
LL ans;
char ts[20];
int sub[maxn*2];
int main()
{
W(s_3(n,m,k)!=EOF)
{
scanf("%s",s);
l=strlen(s);
sam_init();
FOr(0,l,i) extend(s[i]);
FOR(1,m,i)
{
int a;
s_1(a);
if(a==1)
{
scanf("%s",ts);
s[l++]=ts[0];
qu[i].a=a;
extend(ts[0]);
}
else if(a==2) qu[i].a=a;
}
topsort();
FOR(0,tots,i) dp[i]=0;
int now=root,y,f;
FOr(0,l,i)
{
now=t[now].son[s[i]-'a'];
dp[now]++;
}
ans=0;
fOR(tots,1,i)
{
now=r[i];
if(t[now].fa!=-1)
dp[t[now].fa]+=dp[now];
}
FOR(0,tots,i)
{
fa[i]=i;
sub[i]=0;
}
FOR(1,tots,i)
if(dp[i]>=k) ans+=t[i].len-t[t[i].fa].len;
fOR(m,1,i)
{
if(qu[i].a==2)
qu[i].ans=ans;
else
{
now=sv[l];
l--;
y=fi(now);
W(y!=0&&dp[y]<k)
{
f=t[y].fa;
fa[y]=f=fi(f);
y=f;
}
y=fi(now);
if(y==root) continue;
sub[y]++;
W(y!=0&&(dp[y]-sub[y])<k)
{
ans=ans-t[y].len+t[t[y].fa].len;
f=t[y].fa;
f=fi(f);
sub[f]+=sub[y];
fa[y]=f;
y=f;
}
}
}
FOR(1,m,i)
{
if(qu[i].a==2)
{
print(qu[i].ans);
}
}
}
}