洛谷P2463 Sandy的卡片【后缀数组】【二分】

题目描述

Sandy和Sue的热衷于收集干脆面中的卡片。

然而，Sue收集卡片是因为卡片上漂亮的人物形象，而Sandy则是为了积攒卡片兑换超炫的人物模型。

每一张卡片都由一些数字进行标记，第i张卡片的序列长度为Mi，要想兑换人物模型，首先必须要集够N张卡片，对于这N张卡片，如果他们都有一个相同的子串长度为k，则可以兑换一个等级为k的人物模型。相同的定义为：两个子串长度相同且一个串的全部元素加上一个数就会变成另一个串。

Sandy的卡片数远远小于要求的N，于是Sue决定在Sandy的生日将自己的卡片送给Sandy，在Sue的帮助下，Sandy终于集够了N张卡片，但是，Sandy并不清楚他可以兑换到哪个等级的人物模型，现在，请你帮助Sandy和Sue，看看他们最高能够得到哪个等级的人物模型。

输入输出格式

输入格式：

 

第一行为一个数N，表示可以兑换人物模型最少需要的卡片数，即Sandy现在有的卡片数

第i+1行到第i+N行每行第一个数为第i张卡片序列的长度Mi，之后j+1到j+1+Mi个数，用空格分隔，分别表示序列中的第j个数

 

输出格式：

 

一个数k，表示可以获得的最高等级。

 

输入输出样例

输入样例#1： 复制

2
2 1 2
3 4 5 9

输出样例#1： 复制

2

说明

数据范围：

30%的数据保证n<=50

100%的数据保证n<=1000,M<=1000,2<=Mi<=101

 

题意：

给定几串序列，问他们最长公共子序列是多长。

思路：

类似之前做的Muisical, Themehttps://www.cnblogs.com/wyboooo/p/9865919.html

都是可以通过增加一个定值，所以只需要处理间隔。

不同的地方在于这个题目是多个不同的串。可以想到的是，是不是可以将这些串拼接起来。

拼起来就需要考虑一个问题，找到的这个串应该要避免他们跨越了拼接的那个间隔。

所以首先我们应该要用一个原来的串中从来没有出现过的字符来分隔两个串。

其次，当我们二分寻找答案的时候，应该要考虑我们找到的这个区间，他们表示的后缀的首字母也就是sa[i]，是不是分别属于n个串。

所以我们要标好每个位置属于哪个串。

#include <iostream>
#include <set>
#include <cmath>
#include <stdio.h>
#include <cstring>
#include <algorithm>
#include <vector>
#include <queue>
#include <map>
using namespace std;
typedef long long LL;
#define inf 0x7f7f7f7f

const int maxn = 1005;
int a[maxn][maxn], s[maxn * maxn], s_len[maxn], id[maxn * maxn], vis[maxn];
int sa[maxn * maxn];
int t1[maxn * maxn], t2[maxn * maxn], c[maxn * maxn];
int rnk[maxn * maxn], height[maxn * maxn];
int n, len;

void build_sa(int s[], int n, int m)
{
    int i, j, p, *x = t1, *y = t2;
    for(i = 0; i < m; i++)c[i] = 0;
    for(i = 0; i < n; i++)c[x[i] = s[i]]++;
    for(i = 1; i < m; i++)c[i] += c[i - 1];
    for(i = n - 1; i >= 0; i--)sa[--c[x[i]]] = i;
    for(j = 1; j <= n; j <<= 1){
        p = 0;
        for(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 < m; i++)c[i] = 0;
        for(i = 0; i < n; i++)c[x[y[i]]]++;
        for(i = 1; i < m; i++)c[i] += c[i - 1];
        for(i = n - 1; i >= 0; i--)sa[--c[x[y[i]]]] = y[i];
        swap(x, y);
        p = 1;
        x[sa[0]] = 0;
        for(i = 1; i < n; i++){
            x[sa[i]] = y[sa[i - 1]] == y[sa[i]] && y[sa[i - 1] + j] == y[sa[i] + j] ? p - 1 : p++;
        }
        if(p >= n)break;
        m = p;
    }
}

void get_height(int s[], int n)
{
    int i, j, k = 0;
    for(i = 0; i <= n; i++)rnk[sa[i]] = i;
    for(i = 1; i <= n; i++){
        if(k)k--;
        j = sa[rnk[i] - 1];
        while(s[i + k] == s[j + k])k++;
        height[rnk[i]] = k;
    }
}
int sta[maxn * maxn], top;
bool check(int mid)
{
    while(top)vis[sta[top--]] = false;
    for(int i = 1; i <= len; i++){
        if(height[i] < mid){
            while(top)vis[sta[top--]] = false;
        }
        if(!vis[id[sa[i]]]){
            vis[id[sa[i]]] = true;
            sta[++top] = id[sa[i]];
            if(top == n)return true;
        }
    }
    return false;
}

int main()
{
    scanf("%d", &n);
    len = 0;
    int mmx = -1;
    for(int i = 1; i <= n; i++){
        vis[i] = false;
        scanf("%d", &s_len[i]);
        for(int j = 1; j <= s_len[i]; j++){
            scanf("%d", &a[i][j]);
            if(j)mmx = max(mmx, a[i][j] - a[i][j - 1]);
        }
    }
    int mmin = inf;
    for(int i = 1; i <= n; i++){
        for(int j = 2; j <= s_len[i]; j++){
            s[++len] = a[i][j] - a[i][j - 1];
            id[len] = i;
            mmin = min(mmin, s[len]);
        }
        s[++len] = ++mmx;
    }
    for(int i = 1; i <= len; i++){
        s[i] = s[i] - mmin + 1;
        //cout<<s[i]<<endl;
    }

    build_sa(s, len + 1, 2000);
    /*for(int i = 1; i <= len; i++){
        cout<<sa[i]<<endl;
    }*/
    get_height(s, len);
    /*cout<<len<<endl;
    for(int i = 2; i <= len; i++){
        cout<<height[i]<<endl;
    }*/
    //cout<<len<<endl;
    int st = 0, ed = len, ans = -1;
    while(st <= ed){
        int mid = (st + ed) / 2;
        if(check(mid)){
            st = mid + 1;
            ans = mid;
        }
        else{
            ed = mid - 1;
        }
    }

    printf("%d\n", ans + 1);
    return 0;
}