【刷题】BZOJ 4566 [Haoi2016]找相同字符

Description

给定两个字符串，求出在两个字符串中各取出一个子串使得这两个子串相同的方案数。两个方案不同当且仅当这两个子串中有一个位置不同。

Input

两行，两个字符串s1，s2，长度分别为n1，n2。1 <=n1, n2<= 200000，字符串中只有小写字母

Output

输出一个整数表示答案

Sample Input

aabb
bbaa

Sample Output

Solution

又是那个单调栈的套路。。。
首先把两个串接在一起，利用单调栈求出这个串中有多少方案 \(a\) 使得自己的某个子串可以匹配另一个子串
然后分别对给的两个小串求一个这个，得到 \(b\) 和 \(c\)
那么 \(a-b-c\) ，就是答案了
其实就是个简单容斥， \(a\) 代表两个串互相匹配的方案数加上两个串自己匹配自己的方案数，减去了 \(b\) 和 \(c\) 后就是两个串互相匹配的方案数了
不知道单调栈套路的可以见【刷题】BZOJ 3238 [Ahoi2013]差异和【刷题】BZOJ 4199 [Noi2015]品酒大会

#include<bits/stdc++.h>
#define ui unsigned int
#define ll long long
#define db double
#define ld long double
#define ull unsigned long long
const int MAXN=400000+10;
int n,m,n1,n2,SA[MAXN],cnt[MAXN],rk[MAXN],nxt[MAXN],lp[MAXN],rp[MAXN],height[MAXN];
char s1[MAXN],s2[MAXN],s[MAXN];
ll ans;
template<typename T> inline void read(T &x)
{
    T data=0,w=1;
    char ch=0;
    while(ch!='-'&&(ch<'0'||ch>'9'))ch=getchar();
    if(ch=='-')w=-1,ch=getchar();
    while(ch>='0'&&ch<='9')data=((T)data<<3)+((T)data<<1)+(ch^'0'),ch=getchar();
    x=data*w;
}
template<typename T> inline void write(T x,char ch='\0')
{
    if(x<0)putchar('-'),x=-x;
    if(x>9)write(x/10);
    putchar(x%10+'0');
    if(ch!='\0')putchar(ch);
}
template<typename T> inline void chkmin(T &x,T y){x=(y<x?y:x);}
template<typename T> inline void chkmax(T &x,T y){x=(y>x?y:x);}
template<typename T> inline T min(T x,T y){return x<y?x:y;}
template<typename T> inline T max(T x,T y){return x>y?x:y;}
inline void GetSA()
{
    m=300;
    memset(nxt,0,sizeof(nxt));
    for(register int i=1;i<=m;++i)cnt[i]=0;
    for(register int i=1;i<=n;++i)rk[i]=s[i];
    for(register int i=1;i<=n;++i)cnt[rk[i]]++;
    for(register int i=1;i<=m;++i)cnt[i]+=cnt[i-1];
    for(register int i=n;i>=1;--i)SA[cnt[rk[i]]--]=i;
    for(register int k=1,ps;k<=n;k<<=1)
    {
        ps=0;
        for(register int i=n-k+1;i<=n;++i)nxt[++ps]=i;
        for(register int i=1;i<=n;++i)
            if(SA[i]>k)nxt[++ps]=SA[i]-k;
        for(register int i=1;i<=m;++i)cnt[i]=0;
        for(register int i=1;i<=n;++i)cnt[rk[i]]++;
        for(register int i=1;i<=m;++i)cnt[i]+=cnt[i-1];
        for(register int i=n;i>=1;--i)SA[cnt[rk[nxt[i]]]--]=nxt[i];
        std::swap(rk,nxt);
        rk[SA[1]]=1,ps=1;
        for(register int i=2;i<=n;rk[SA[i]]=ps,++i)
            if(nxt[SA[i]]!=nxt[SA[i-1]]||nxt[SA[i]+k]!=nxt[SA[i-1]+k])ps++;
        if(ps>=n)break;
        m=ps;
    }
    for(register int i=1,j,k=0;i<=n;height[rk[i++]]=k)
        for(k=k?k-1:k,j=SA[rk[i]-1];s[i+k]==s[j+k];++k);
}
inline void calc(int tp)
{
    memset(lp,0,sizeof(lp));
    memset(rp,0,sizeof(rp));
    for(register int i=2,j;i<=n;lp[i]=j,++i)
        for(j=i-1;j>=2&&height[j]>=height[i];j=lp[j]);
    for(register int i=n,j;i>=2;rp[i]=j,--i)
        for(j=i+1;j<=n&&height[j]>height[i];j=rp[j]);
    for(register int i=2;i<=n;++i)
    {
        lp[i]++,rp[i]--;
        ans+=1ll*tp*height[i]*(i-lp[i]+1)*(rp[i]-i+1);
    }
}
int main()
{
    scanf("%s",s1+1);scanf("%s",s2+1);
    n1=strlen(s1+1);n2=strlen(s2+1);
    memcpy(s,s1,sizeof(s));n=n1;GetSA();calc(-1);
    memcpy(s,s2,sizeof(s));n=n2;GetSA();calc(-1);
    n=n1+n2+1;
    for(register int i=1;i<=n1;++i)s[i]=s1[i];
    s[n1+1]='z'+1;
    for(register int i=1;i<=n2;++i)s[n1+i+1]=s2[i];
    GetSA();calc(1);
    write(ans,'\n');
    return 0;
}