[BZOJ4032][HEOI2015]最短不公共子串（dp+后缀自动机）

题目：

我是超链接

题解：

后缀自动机只是一个幌子？其实只有第三问才用啦，神题4合1？

总之这个题目记住的原则就是
1、最短不公共长度实际上就是最长匹配中的最小值+1
2、如果某一方是子串，要想方设法让子串依次转移不能跳

First：A子串≠B子串

想想我们以前求最长公共子串的时候吧
f[i][j]表示A的第i位匹配到B的第j位的最长公共长度
f[i][j]=f[i-1][j-1]+1（A[i]==B[j]）
这一问的答案实际上就是所有的最长公共子串中最短的+1
不难理解？！

Second：A子串≠B子序列

其实这一问把第一问微微改动就好了
f[i][j]=f[i-1][j-1]+1（A[i]==B[j]）
f[i][j]=f[i][j-1]（A[i]!=B[j]）
这一问的答案依旧是所有的最长公共子串中最短的+1
为什么？因为A要求的是子串，我们的目标是把A的每一位配出去，而B就比较随便了，以前的也可以和A配

Third：A子序列≠B子串

后缀自动机登场
用B串建立SAM
dp[i]表示的是用a的子序列去匹配后缀自动机中的结点，到(SAM)结点i能得到的最短长度
我们枚举A的每一位i和SAM中的每一个结点j
如果有ch[j][i]这个结点，说明能够匹配的上，因此dp[ch[j][i]]=min(dp[j]+1)
要是没有就说明加上这个节点B就接受不了了，取个min值得答案吧

Fourth：A子序列≠B子序列

思路和第三问差不多
但是因为两者都是子序列，所以我们需要预处理一个数组c
c[i][j]表示B序列中第i位之后字符j的最近位置

我们还是利用贪心的思想
dp[i]表示用A子序列匹配到字符串B第i位的最短长度
枚举A的每一位i，倒序枚举B的每一位j
如果有c[j][a[i]]这个结点，说明j之后有一个位置能够与a[i]匹配，因此dp[c[j][a[i]]=min(dp[j]+1)

代码：

#include <cstdio>
#include <cstring>
#include <iostream>
#define INF 1e9
using namespace std;
const int N=4005;
int np,p,q,nq,last,cnt,ch[N][30],fa[N],step[N],la,lb,mp[30];
int f[N][N],dp[N],c[N][30];
char a[N],b[N];
void solve1()
{
    int ans=INF;
    for (int i=1;i<=la;i++)
    {
        int mx=0;
        for (int j=1;j<=lb;j++)
        {
          if (a[i]==b[j]) f[i][j]=f[i-1][j-1]+1;
          mx=max(mx,f[i][j]);
        }
        if (mx!=i) ans=min(ans,mx+1);
        //一定要加条件哦，如果=i的话表示全部匹配上了，mx+1就没有意义了 
    }
    if (ans>la || ans>lb) printf("-1\n");else printf("%d\n",ans);  
}
void solve2()
{
    memset(f,0,sizeof(f));
    int ans=INF;
    for (int i=1;i<=la;i++)
    {
        int mx=0;
        for (int j=1;j<=lb;j++)
        {
          if (a[i]==b[j]) f[i][j]=f[i-1][j-1]+1;
          else f[i][j]=f[i][j-1];
          mx=max(mx,f[i][j]);
        }
        if (mx!=i) ans=min(ans,mx+1);
    }
    if (ans>la || ans>lb) printf("-1\n");else printf("%d\n",ans);  
}
void solve3()
{
    memset(dp,0x7f,sizeof(dp));
    dp[1]=0;
    int ans=INF;
    for (int i=1;i<=la;i++)
      for (int j=1;j<=cnt;j++)
        if (!ch[j][a[i]-'a']) ans=min(ans,dp[j]+1);
        else dp[ch[j][a[i]-'a']]=min(dp[ch[j][a[i]-'a']],dp[j]+1);
    if (ans>la || ans>lb) printf("-1\n");else printf("%d\n",ans);  
}
void solve4()
{
    memset(dp,0x7f,sizeof(dp));
    dp[0]=0;
    for (int i=lb;i>=0;i--)
    {
        for (int j=0;j<26;j++)
          if (mp[j]) c[i][j]=mp[j];
        mp[b[i]-'a']=i;
    }
    int ans=INF;
    for (int i=1;i<=la;i++)
      for (int j=lb;j>=0;j--)
        if (!c[j][a[i]-'a']) ans=min(ans,dp[j]+1);
        else dp[c[j][a[i]-'a']]=min(dp[c[j][a[i]-'a']],dp[j]+1);
    if (ans>la || ans>lb) printf("-1\n");else printf("%d\n",ans);   
}
void insert(int c)
{
    p=last; np=last=++cnt;
    step[np]=step[p]+1;
    while (p && !ch[p][c]) ch[p][c]=np,p=fa[p];
    if (!p) {fa[np]=1;return;}
    q=ch[p][c];
    if (step[q]==step[p]+1){fa[np]=q; return;}
    nq=++cnt; step[nq]=step[p]+1;
    memcpy(ch[nq],ch[q],sizeof(ch[q]));
    fa[nq]=fa[q]; fa[q]=fa[np]=nq;
    while (ch[p][c]==q) ch[p][c]=nq,p=fa[p];
}
int main()
{
    scanf("%s",a+1);
    scanf("%s",b+1);
    la=strlen(a+1); lb=strlen(b+1);
    last=cnt=1;
    for (int i=1;i<=lb;i++) insert(b[i]-'a');
    solve1();
    solve2();
    solve3();
    solve4();
}