Lightoj-1347 Aladdin and the Magical Lamp(后缀数组&&线段树)

题目：

http://lightoj.com/volume_showproblem.php?problem=1347

题意：

求三个字符串的最长公共子串

思路：

三个字符串的总长度不超过150000所以可以用后缀数组把他们看作一个字符串来处理。

把三个字符串连接成一个字符串然后跑一遍后缀数组，按rank[]排序后找到某个区间包含三个串的子串这个区间的height[]数组的最小值就是一个答案，找到所有这些区间的最大值就是最后的答案。

后缀数组用da或者是dc3差别不大因为后面枚举区间用尺取法复杂度为O(n)，区间最小值用线段树是O(logn)所以总复杂度一定是O(n*logn)。

代码：

//kopyh
#include <bits/stdc++.h>
#include <stdio.h>
#define INF 0x3f3f3f3f
#define MOD 1000000007
#define N 500100
using namespace std;
int n,m,res,flag;
char s[N];
int seq[N], sa[N], ranks[N], height[N];
int wwa[N], wwb[N], wws[N], wwv[N];
bool cmp(int r[], int a, int b, int l)
{
    return r[a] == r[b] && r[a+l] == r[b+l];
}
void da(int r[],int n, int m)
{
    int i, j, p, *x = wwa, *y = wwb;
    for (i = 0; i < m; ++i) wws[i] = 0;
    for (i = 0; i < n; ++i) wws[x[i]=r[i]]++;
    for (i = 1; i < m; ++i) wws[i] += wws[i-1];
    for (i = n-1; i >= 0; --i) sa[--wws[x[i]]] = i;
    for (j = 1, p = 1; p < n; j *= 2, m = p)
    {
        for (p = 0, i = n - j; i < n; ++i) y[p++] = i;
        for (i = 0; i < n; ++i) if (sa[i] >= j) y[p++] = sa[i] - j;
        for (i = 0; i < n; ++i) wwv[i] = x[y[i]];
        for (i = 0; i < m; ++i) wws[i] = 0;
        for (i = 0; i < n; ++i) wws[wwv[i]]++;
        for (i = 1; i < m; ++i) wws[i] += wws[i-1];
        for (i = n-1; i >= 0; --i) sa[--wws[wwv[i]]] = y[i];
        for (swap(x, y), p = 1, x[sa[0]] = 0, i = 1; i < n; ++i)
            x[sa[i]] = cmp(y, sa[i-1], sa[i], j) ? p-1 : p++;
    }
}
void calheight(int r[], int n)
{
    int i, j, k = 0;
    for (i = 1; i <= n; ++i) ranks[sa[i]] = i;
    for (i = 0; i < n; height[ranks[i++]] = k)
        for (k?k--:0, j = sa[ranks[i]-1]; r[i+k] == r[j+k]; k++);
}
#define root 1 , n , 1
#define lson l , m , rt << 1
#define rson m + 1 , r , rt << 1 | 1
int sum[N<<2],tot;
void pushUp(int rt)
{
    sum[rt] = min(sum[rt<<1],sum[rt<<1|1]);
}
void build(int l,int r,int rt)
{
    if(l == r)
    {
        sum[rt]=height[++tot];
        return;
    }
    int m = (l+r)>>1;
    build(lson);
    build(rson);
    pushUp(rt);
}
int query(int l,int r,int rt,int ql,int qr)
{
    if(l>qr||ql>r)
        return INF;
    if(l>=ql&&r<=qr)
        return sum[rt];
    int m = l+r>>1;
    return min(query(l,m,rt<<1,ql,qr),query(m+1,r,rt<<1|1,ql,qr));
}
int main()
{
    int i,j,k,cas,T,t,x,y,p,q,z,now,pos;
    scanf("%d",&T);
    cas=0;
    while(T--)
    {
        scanf("%s",s);
        x=strlen(s);m=27;n=x;
        scanf("%s",s+n);
        n=strlen(s);y=n-x;
        scanf("%s",s+n);
        n=strlen(s);z=n-y-x;
        for(i=0;i<n;i++)
            seq[i]=s[i]-'a'+1;
        seq[n]=0;
        da(seq,n+1,m);
        calheight(seq,n);
        res=0;tot=0;
        build(root);
        int sum=0;
        int vis[3]={0},tmp[N];
        i=j=1;
        while(i<=n||j<=n)
        {
            if(sum<3&&j<=n)
            {
                now=i==j?1:query(root,i+1,j);
                p=sa[j],q=sa[j]+now-1;
                pos=3;
                if(p<x&&q<x)pos=0;
                else if(p<x+y&&p>=x&&q<x+y)pos=1;
                else if(p>=x+y&&q<n)pos=2;
                tmp[j]=pos;
                j++;
                if(pos==3)continue;
                if(!vis[pos])sum++;
                vis[pos]++;
            }
            else if(sum==3&&i<=n)
            {
                res=max(res,query(root,i+1,j-1));
                vis[tmp[i]]--;
                if(!vis[tmp[i]])sum--;
                i++;
            }
            else
                break;
        }
        printf("Case %d: %d\n",++cas,res);
    }
    return 0;
}