洛谷 P2463 [SDOI2008]Sandy的卡片 解题报告

P2463 [SDOI2008]Sandy的卡片

题意

给(n(le 1000))串，定义两个串相等为“长度相同，且一个串每个数加某个数与另一个串完全相同”，求所有串的最长公共子串，每个串长(le 101)，值域(in [0,1864])

---

先差分一下，然后连在一起中间加分隔符建sa

然后dp一下，要用到lcp，复杂度(O(nm^2+nlog n))

---

Code:

#include <cstdio>
#include <algorithm>
using std::min;
using std::max;
const int N=2e5;
int tax[N],sa[N],Rank[N],sec[N],n,m=2000,hei[N],st[N][18],Log[N];
int s[N],dp[N],L[110],R[110],num,mi[1100];
void Rsort()
{
	for(int i=1;i<=m;i++) tax[i]=0;
	for(int i=1;i<=n;i++) ++tax[Rank[i]];
	for(int i=1;i<=m;i++) tax[i]+=tax[i-1];
	for(int i=n;i;i--) sa[tax[Rank[sec[i]]]--]=sec[i];
}
bool cmp(int x,int y,int l){return sec[x]==sec[y]&&sec[x+l]==sec[y+l];}
void SuffixSort()
{
	for(int i=1;i<=n;i++) Rank[i]=s[i],sec[i]=i;
	Rsort();
	for(int w=1,p=0;p<n;m=p,w<<=1)
	{
		p=0;for(int i=n-w+1;i<=n;i++) sec[++p]=i;
		for(int i=1;i<=n;i++) if(sa[i]>w) sec[++p]=sa[i]-w;
		Rsort(),std::swap(Rank,sec),Rank[sa[1]]=p=1;
		for(int i=2;i<=n;i++) Rank[sa[i]]=cmp(sa[i],sa[i-1],w)?p:++p;
	}
	//h[i]>=h[i-1]-1;
	for(int i=1,p=0,j;i<=n;hei[Rank[i]]=p,i++)
		for(p=p?p-1:p,j=sa[Rank[i]-1];s[i+p]==s[j+p];++p);
	Log[0]=-1;for(int i=1;i<=n;i++) st[i][0]=hei[i],Log[i]=Log[i>>1]+1;
	for(int j=1;j<=17;j++)
	{
		for(int i=1;i<=n-(1<<j)+1;i++)
			st[i][j]=min(st[i][j-1],st[i+(1<<j-1)][j-1]);
	}
}
int lcp(int x,int y)
{
    if(x>y) return lcp(y,x);
    ++x;
	int d=Log[y+1-x];
	return min(st[x][d],st[y-(1<<d)+1][d]);
}
int main()
{
	scanf("%d",&num);
	for(int las,i=1;i<=num;i++)
	{
		scanf("%d",mi+i);
		--mi[i];
		L[i]=n+1;
		scanf("%d",&las);
		for(int bee,j=1;j<=mi[i];j++)
        {
            scanf("%d",&bee);
            s[++n]=bee-las+m;
            las=bee;
        }
        R[i]=n++;
	}
	m=4000,--n;
	for(int i=2;i<=num;i++) s[L[i]-1]=++m;
	SuffixSort();
	for(int i=1;i<=mi[1];i++) dp[i]=mi[1]+1-i;
	for(int i=2;i<=num;i++)
	{
		for(int j=L[i];j<=R[i];j++)
			for(int k=L[i-1];k<=R[i-1];k++)
				dp[j]=max(dp[j],min(dp[k],lcp(Rank[k],Rank[j])));
	}
	int ans=0;
	for(int i=L[num];i<=R[num];i++) ans=max(ans,dp[i]);
	printf("%d
",ans+1);
	return 0;
}

---

2019.2.1