码迷,mamicode.com
首页 > 其他好文 > 详细

SPOJ_LCS2

时间:2014-06-20 18:49:21      阅读:153      评论:0      收藏:0      [点我收藏+]

标签:style   class   blog   ext   os      

和上个题目差不多,这次是找若干个串的LCS,若干<=10 。

做法上面也是类似的。

首先以第一个建立SAM,然后后面的串都在上面更新。每个串的更新是独立进行的,互不影响。对于同一状态,首先在同一个串的更新中取最大值,然后再不同的串之间取最小值,最后统计一下所有状态的最大值就可以了。

与上面不同的是,多了一个小小的操作,对于某一个状态存在一个匹配长度x,那么在该状态上所有的pre指针所指向的状态的的匹配长度都肯定会是step值。

一开始我也不理解为什么,后来发现后缀自动机的性质啦嘿嘿,(想一想就知道咯)。

但是为什么不更新pre指针会错呢?其实是这样的,每次加入一个字符匹配,当前只可能在一个状态,但是其实pre指针所有的位置都是可以进行匹配的。而且由于串很多,所有后面的串不一定都更新在这个状态,虽然他们的right位置是一样的。。(嗯,好像很有道理)

为什么上一个题目lcs没有对pre指针进行更新却依然正确呢?原因是不需要,对于每个状态step相当于与第一个模式串比配的最大长度,注意是最大,所以在第二个字符串来匹配的时候,当前状态的长度就是两个串在该状态的最大公共长度了。同时,在该状态的所有pre状态也肯定会存在匹配长复,但是那些肯定都不会优于这个状态,所以这个更新是不必要的,而对于多个串,由于每个串在可能分别落在不同的pre指针上,所以需要跟新一遍咯。

 

召唤代码君:

 

#include <iostream>
#include <cstdio>
#define maxn 200100
using namespace std;

int next[maxn][26],pre[maxn],step[maxn];
int f[13][maxn];
int N=0,last=0,n=1;
int p,q,np,nq;
char s[13][maxn];

void insert(int x,int m)
{
	np=++N,p=last,step[np]=m;
	while (p!=-1 && next[p][x]==0) next[p][x]=np,p=pre[p];
	last=np;
	if (p==-1) return;
	q=next[p][x];
	if (step[q]==step[p]+1) { pre[np]=q; return ; }
	nq=++N,step[nq]=step[p]+1,pre[nq]=pre[q];
	for (int i=0; i<26; i++) next[nq][i]=next[q][i];
	pre[np]=pre[q]=nq;
	for (; p!=-1 && next[p][x]==q;p=pre[p]) next[p][x]=nq;
}

void dp(int x)
{
	int cur=0,tmp=0;
	for (int i=0; s[x][i]; i++)
	{
		int k=s[x][i]-‘a‘;
		while (next[cur][k]==0 && cur!=0) cur=pre[cur];
		tmp=min(step[cur],tmp);
		cur=next[cur][k]; 
		if (cur) tmp++;
		f[x][cur]=max(f[x][cur],tmp);
	}
	for (int i=N; i>0; i--)
		if (f[x][i])
			for (int j=pre[i];j && f[x][j]!=step[j];j=pre[j]) f[x][j]=step[j];
}

int main()
{
	pre[0]=-1;
	while (scanf("%s",s[n])!=EOF) n++; n--;
	for (int i=0; s[1][i]; i++) insert(s[1][i]-‘a‘,i+1);
	for (int i=2; i<=n; i++) dp(i);
	int ans=0;
	for (int i=1; i<=N; i++)
	{
		int tmp=step[i];
		for (int j=2; j<=n; j++) tmp=min(tmp,f[j][i]);
		ans=max(ans,tmp);
	}
	printf("%d\n",ans);
	return 0;
}

 

  

 

SPOJ_LCS2,布布扣,bubuko.com

SPOJ_LCS2

标签:style   class   blog   ext   os      

原文地址:http://www.cnblogs.com/Canon-CSU/p/3796389.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!