[SDOI2008]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

因为是“相似”，所以把n个字符串差分

用不同且未出现的分隔符连起来

然后求后缀数组和LCP

二分答案k

把连续的h值不小于k的分为一组，如果一组内集齐了n个字符串的后缀

那么就可以构成长度为k的相似子串

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
int s[2000001],c[2000001],SA[2000001],h[2000001],n,m,x[2000001],y[2000001],rank[2000001],ans,tot,len[1501],cnt;
int bel[2000001],mx=4000,a[2001][2001],top,st[2000001];
bool vis[1501];
void radix_sort()
{int i;
  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];
}
void build_SA()
{int i,j,k,p;
  for (i=0;i<n;i++)
    x[i]=s[i],y[i]=i;
  m=1000000;
  radix_sort();
  for (k=1;k<=n;k<<=1)
    {
      p=0;
      for (i=n-k;i<n;i++)
    y[p++]=i;
      for (i=0;i<n;i++)
    if (SA[i]>=k) y[p++]=SA[i]-k;
      radix_sort();
      p=1;swap(x,y);
      x[SA[0]]=0;
      for (i=1;i<n;i++)
    x[SA[i]]=((y[SA[i]]==y[SA[i-1]])&&((SA[i]+k<n?y[SA[i]+k]:-1)==(SA[i-1]+k<n?y[SA[i-1]+k]:-1)))?p-1:p++;
      if (p>=n) break;
      m=p;
    }
  for (i=0;i<n;i++)
    rank[SA[i]]=i;
  int L=0;
  for (i=0;i<n;i++)
    if (rank[i]>0)
      {
    if (L>0) L--;
    j=SA[rank[i]-1];
    while (i+L<n&&j+L<n&&(s[j+L]==s[i+L])) L++;
    h[rank[i]]=L;
      }
}
bool check(int mid)
{
  int num=0;
  for(int i=0;i<=n;i++)
    {
      if(h[i]<mid)
    {
      num=0;
      while(top) vis[st[top--]]=0;
    }
      if(!vis[bel[SA[i]]])
    {
      vis[bel[SA[i]]]=1;
      num++;
      st[++top]=bel[SA[i]];
    }
      if(num==tot)return 1;
    }    
  return 0;
}
int main()
{int l,r,i,now,last,j;
  cin>>tot;r=2e9;
  for (i=1;i<=tot;i++)
    {
      scanf("%d",&len[i]);
      r=min(r,len[i]);
      for (j=1;j<=len[i];j++)
    {
      scanf("%d",&a[i][j]);
    }
    }
  for (i=1;i<=tot;i++)
    {
      for (j=2;j<=len[i];j++)
    {
      s[cnt]=a[i][j]-a[i][j-1]+2000;
      bel[cnt]=i;
      cnt++;
    }
      s[cnt++]=++mx;
    }
  n=cnt;
  build_SA();
  l=1;r--;
  ans=0;
  while (l<=r)
    {
      int mid=(l+r)/2;
      if (check(mid)) ans=mid,l=mid+1;
      else r=mid-1;
    }
  cout<<ans+1;
}