差分之后就是求多串LCS。
对其中一个串建SAM，然后把其它串放在上面跑。
对SAM上的每个状态都用f[x]记录这个状态与当前串的最长匹配长度，res[x]是对每次的f[x]取最小值。答案就是res[]的最大值。
考虑f[x]的求法，把s[]放在SAM上跑时，若下一个能正常匹配（即son[x][c]!=0）则直接len++，否则用经典的跳父亲，找到第一个son[k][c]!=0的点k，len=mx[k]+1，x=son[k][c]。
每次更新最终匹配到的状态的f[]。同时注意到出现次数可以向父亲传递，于是Radixsort之后经典DP转移最长长度即可。
#include<map>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define rep(i,l,r) for (int i=(l); i<=(r); i++)
typedef long long ll;
using namespace std; const int N=;
int n,m,x,len,fir,lst=,cnt=,ans,res[N],s[N],f[N],mx[N],fa[N],c[N],q[N];
map<int,int>son[N]; void ext(int c){
int p=lst,np=lst=++cnt; mx[np]=mx[p]+;
while (p && !son[p][c]) son[p][c]=np,p=fa[p];
if (!p) fa[np]=;
else{
int q=son[p][c];
if (mx[q]==mx[p]+) fa[np]=q;
else{
int nq=++cnt; mx[nq]=mx[p]+; son[nq]=son[q];
while (p && son[p][c]==q) son[p][c]=nq,p=fa[p];
fa[nq]=fa[q]; fa[q]=fa[np]=nq;
}
}
} void Radix(){
rep(i,,cnt) c[mx[i]]++;
rep(i,,cnt) c[i]+=c[i-];
for (int i=cnt; i; i--) q[c[mx[i]]--]=i;
rep(i,,cnt) res[i]=mx[i];
} void Go(int s[],int n){
int x=,len=;
rep(i,,n){
int c=s[i];
if (son[x][c]) x=son[x][c],f[x]=max(f[x],++len);
else{
while (x && !son[x][c]) x=fa[x];
if (!x) x=,len=; else len=mx[x]+,x=son[x][c],f[x]=max(f[x],len);
}
}
for (int i=cnt; i; i--){
int x=q[i]; res[x]=min(res[x],f[x]);
if (f[x] && fa[x]) f[fa[x]]=mx[fa[x]];
f[x]=;
}
} int main(){
scanf("%d%d%d",&n,&len,&fir);
rep(i,,len-) scanf("%d",&x),s[i]=x-fir,fir=x;
len--; rep(i,,len) ext(s[i]);
Radix();
rep(i,,n){
scanf("%d%d",&len,&fir);
rep(i,,len-) scanf("%d",&x),s[i]=x-fir,fir=x;
len--; Go(s,len);
}
rep(i,,cnt) ans=max(ans,res[i]);
printf("%d\n",ans+);
return ;
}