洛谷P2463 [SDOI2008]Sandy的卡片(后缀数组SA + 差分 + 二分答案)

题目链接：https://www.luogu.org/problem/P2463

【题意】

求出N个串中都出现的相同子串的最长长度，相同子串的定义如题：所有元素加上一个数变成另一个，则这两个串相同，可以很简单的得出，差分后的串相同即相同。

【思路】

首先肯定是要对N个串分别进行差分，然后将N个串合并成一个串，首尾相接即可，但要标记那些数属于哪一个Mi（后边要进行check），这里呢要注意，记得将串分隔开来，

不然会WA，这里我用的分隔方法是在串之间加0，合并完成后，题目就可变成求最长的不重叠的重复N次的最长子串长度。因为如果长度为k的串出现了N次，那么他的前缀

也一定出现了N次，所以此题满足单调性，可以进行二分答案。

【check方法】

找到一段排名连续的[l, r]都满足height[i]>=mid( l<i<=r )的连续的区间，对该区间[l, r]进行处理，判断所有的sa[i]( l<=i<=r )的所属Mi，如果有N个不同的Mi即满足条件，返回true，

反之返回false。

上代码

#include <bits/stdc++.h>
using namespace std;

const int maxn = 1e6 + ;
int n, t, M, b[maxn], num[], a[maxn];
int sa[maxn], x[maxn], c[maxn], y[maxn], rk[maxn], height[maxn];
bool vis[maxn];
inline void get_sa(){
    int m = ;
    for( int i=; i<=n; i++ ) ++c[x[i]=a[i]];
    for( int i=; i<=m; i++ ) c[i] += c[i-];
    for( int i=n; i; i-- ) sa[c[x[i]]--] = i;
    for( int k=; k<=n; k<<= ){
        int now = ;
        for( int i=n-k+; i<=n; i++ ) y[++now] = i;
        for( int i=; i<=n; i++ ) if(sa[i]>k) y[++now] = sa[i]-k;
        for( int i=; i<=m; i++ ) c[i] = ;
        for( int i=; i<=n; i++ ) ++c[x[i]];
        for( int i=; i<=m; i++ ) c[i] += c[i-];
        for( int i=n; i; i-- ) sa[c[x[y[i]]]--] = y[i], y[i]=;
        swap(x, y);
        x[sa[]] = now = ;
        for( int i=; i<=n; i++ )
            x[sa[i]] = (y[sa[i]]==y[sa[i-]] && y[sa[i]+k]==y[sa[i-]+k]) ? now : ++now;
        if( now>=n ) return ;
        m = now;
    }
}

inline void get_height(){
    int k = ;
    for( int i=; i<=n; i++ ) rk[sa[i]] = i;
    for( int i=; i<=n; i++ ){
        if( rk[i]== ) continue;
        if( k ) k--;
        int j = sa[rk[i]-];
        while( j+k<=n && i+k<=n && a[j+k]==a[i+k] ) k++;
        height[rk[i]] = k;
    }
}

inline bool check1( int l, int r ){
    if( r-l+<t ) return ;                 //!!!!!!!r-l+1<t  不是r-l+1<n
    int tmp = ;
    memset( vis, , sizeof(vis) );
    for( int i=l; i<=r; i++ )
        if( !vis[b[sa[i]]] ){
            tmp ++;
            vis[b[sa[i]]] = ;
        }
    return tmp == t;
}

inline bool check( int x ){
    int l=, r=;
    while( l<=n ){
        while( height[r+]>=x ) r++;
        if( check1(l, r) ) return ;
        l = r+; r = l;
    }
    return ;
}

int main(){
    freopen("in.txt", "r", stdin);
    scanf("%d", &t);
    int len = ;
    for( int i=; i<=t; i++ ){
        scanf("%d", &M);
        for( int j=; j<M; j++ ) scanf("%d", &num[j]);
        for( int j=; j<M; j++ ){
            a[++n] = num[j]-num[j-];           //进行差分
            b[n] = i;
        }
        a[++n] = ;         //分隔不同的串
        b[n] = i;
    }
    // for( int i=1; i<=n; i++ ) cout << a[i] << endl;
    get_sa();
    get_height();
    // for( int i=1; i<=n; i++ ) cout << height[i] <<endl;
    int l=, r=n;
    int ans=;
    while( l<=r ){
        int mid = l+r>>;
        if( check(mid) ) ans = mid, l=mid+;
        else r = mid-;
    }
    printf("%d\n", ans+);

     return ;
}