poj 3415 Common Substrigs

5609 ワード

テーマリンク:http://poj.org/problem?id=3415
題目の構想:長さがkの公共の部分列の個数より小さくないことを求めて、方法は単調なスタックを維持するので、詳しく論文を参照してください。
#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#include<string>
#include<queue>
#include<algorithm>
#include<vector>
#include<stack>
#include<list>
//#include<iostream>
#include<map>
using namespace std;
#define inf 0x3f3f3f3f
#define M 210000
int max(int a,int b)
{
	return a>b?a:b;
}
int min(int a,int b)
{
	return a<b?a:b;
}
struct node
{
    int num,h;
}q[M];
int rank[M],sa[M],height[M];
int ta[M],tb[M],tv[M],ts[M],r[M],sum;
bool cmp(int *y,int a,int b,int l)
{
    return y[a]==y[b]&&y[a+l]==y[b+l];
}
void da(int n,int m)
{
    int i,j,p;
    int *x=ta,*y=tb;
    for(i=0;i<m;i++) ts[i]=0;
    for(i=0;i<n;i++) ts[x[i]=r[i]]++;
    for(i=1;i<m;i++) ts[i]+=ts[i-1];
    for(i=n-1;i>=0;i--) sa[--ts[x[i]]]=i;
    for(j=1,p=1;p<n;j*=2,m=p)
    {
        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++) ts[i]=0;
        for(i=0;i<n;i++) tv[i]=x[y[i]];
        for(i=0;i<n;i++) ts[tv[i]]++;
        for(i=1;i<m;i++) ts[i]+=ts[i-1];
        for(i=n-1;i>=0;i--) sa[--ts[tv[i]]]=y[i];
        swap(x,y);
        x[sa[0]]=0;
        p=1;
        for(i=1;i<n;i++)
        {
            if(cmp(y,sa[i-1],sa[i],j)) x[sa[i]]=p-1;
            else x[sa[i]]=p++;
        }
    }
}
void calh(int n)
{
    int i,k,tmp;
    for(i=1;i<=n;i++) rank[sa[i]]=i;
    k=0;
    for(i=0;i<n;i++)
    {
        tmp=sa[rank[i]-1];
        for(;r[i+k]==r[tmp+k];k++)
        ;
        height[rank[i]]=k;
        k?--k:0;
    }
}
__int64 solve(int len1,int n,int k)
{
    int top=0,tail=0,i;
    __int64 sum=0;
    __int64 ans=0;
    node tmp;
    if(sa[1]<len1)
    {
        tmp.h=height[2];
        tmp.num=1;
        sum+=tmp.h-k+1;
        q[tail++]=tmp;
     //   printf("i %d sum %I64d ans %I64d
",1,sum,ans); } for(i=2;i<=n;i++) { if(height[i]<k) { top=0,tail=0,sum=0; if(sa[i]<len1) { tmp.h=height[i+1]; tmp.num=1; sum=height[i+1]-k+1; q[tail++]=tmp; } // printf("i %d sum %I64d ans %I64d
",i,sum,ans); continue; } if(sa[i]<len1) { tmp.num=1; tmp.h=height[i+1]; sum+=tmp.h-k+1; while(top<tail&&q[tail-1].h>=height[i+1]) { sum-=(q[tail-1].h-tmp.h)*q[tail-1].num; tmp.num+=q[tail-1].num; tail--; } q[tail++]=tmp; // printf("i %d sum %I64d ans %I64d
",i,sum,ans); } else if(sa[i]>len1) { ans+=sum; // puts("akkk"); if(i==n) continue; tmp.num=0; tmp.h=height[i+1]; while(top<tail&&q[tail-1].h>=height[i+1]) { sum-=(q[tail-1].h-tmp.h)*q[tail-1].num; tmp.num+=q[tail-1].num; tail--; } if(tmp.num) q[tail++]=tmp; // printf("i %d sum %I64d ans %I64d
",i,sum,ans); } } top=tail=0; sum=0; if(sa[1]>len1) { tmp.h=height[2]; tmp.num=1; sum+=tmp.h-k+1; q[tail++]=tmp; // printf("i %d sum %I64d
",1,sum); } for(i=2;i<=n;i++) { if(height[i]<k) { top=0,tail=0,sum=0; if(sa[i]>len1) { tmp.h=height[i+1]; tmp.num=1; sum=tmp.h-k+1; q[tail++]=tmp; } // printf("i %d sum %I64d
",i,sum); continue; } if(sa[i]>len1) { tmp.num=1; tmp.h=height[i+1]; sum+=height[i+1]-k+1; while(top<tail&&q[tail-1].h>=height[i+1]) { sum-=(q[tail-1].h-tmp.h)*q[tail-1].num; tmp.num+=q[tail-1].num; tail--; } q[tail++]=tmp; // printf("i %d sum %I64d
",i,sum); } else if(sa[i]<len1) { ans+=sum; if(i==n) continue; tmp.num=0; tmp.h=height[i+1]; while(top<tail&&q[tail-1].h>=height[i+1]) { sum-=(q[tail-1].h-tmp.h)*q[tail-1].num; tmp.num+=q[tail-1].num; tail--; } if(tmp.num) q[tail++]=tmp; // printf("i %d sum %I64d
",i,sum); } } return ans; } char s[M],str[M]; int main() { int i,n,k,len1; while(scanf("%d",&k),k) { scanf("%s%s",s,str); len1=strlen(s); s[len1]='|'; s[len1+1]=0; strcat(s,str); n=strlen(s); // printf("%s
",s); for(i=0;i<n;i++) r[i]=s[i]; r[n]=0; da(n+1,128); calh(n); // for(i=1;i<=n;i++) // { // printf("i %d sa %d h %d
",i,sa[i],height[i]); // } printf("%I64d
",solve(len1,n,k)); } }