Description
给定两个字符串，求出在两个字符串中各取出一个子串使得这两个子串相同的方案数。两个方案不同当且仅当这两个子串中有一个位置不同。
Input
两行，两个字符串s1，s2，长度分别为n1，n2。1 <=n1, n2<= 200000，字符串中只有小写字母
Output
输出一个整数表示答案
Sample Input
aabb
bbaa
Sample Output
10
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=' ')
{
if(x<0)putchar('-'),x=-x;
if(x>9)write(x/10);
putchar(x%10+'0');
if(ch!=' ')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,'
');
return 0;
}