[LOJ 2083][UOJ 219][BZOJ 4650][NOI 2016]优秀的拆分

[LOJ 2083][UOJ 219][BZOJ 4650][NOI 2016]优秀的拆分

题意

给定一个字符串 \(S\), 求有多少种将 \(S\) 的子串拆分为形如 AABB 的拆分方案

\(|S|\le 30000\) (\(95\%\) 数据 \(|S|\le 2000\))

题解

考场上遇见这题直接打95分暴力哈希跑路就完事了吧

\(O(n^2)\) 暴力就直接枚举所有子串看它是不是 AA 型的, 在左右端点处分别标记一下, 然后枚举断点把两边的方案数乘起来就完事了.

考虑优化这个暴力. 我们枚举这个 AA 串中 A 的长度 \(l\), 然后每隔 \(l\) 取一个关键点, 那么每个 AA 串必然会覆盖两个关键点. 对于每对相邻的关键点 \(a\) 和 \(b\), 我们计算 \(p=\operatorname{LCP}(S[a:],S[b:])\) 以及 \(s=\operatorname{LCS}(S[:a-1],S[:b-1])\) . 那么只要 \(p+s\ge l\) 就会有 AA 串出现. 画画图可以发现 \([a-s,a-(l-p)]\) 都可以是 AA 串的左端点. 直接在差分数组上修改左右端点就可以了. 注意只能计算同时包含这两个相邻的关键点的 AA 串, 所以应该和 \([a-l+1,a]\) 取交集. 算完之后前缀和一下按照 \(O(n^2)\) 暴力里的操作算最终答案就可以了.

参考代码

#include <bits/stdc++.h>

const int MAXN=1e5+10;
typedef long long intEx;

struct SuffixArray{
    char s[MAXN];
    int SA[MAXN];
    int rank[MAXN];
    int stmin[20][MAXN];
    int* height=stmin[0];
    void Build();
    int LCP(int,int);
};
SuffixArray pf,sf;

int n;
int lg[MAXN];
int cnt[MAXN];
char buf[MAXN];
int lcnt[MAXN];
int rcnt[MAXN];
int* x=new int[MAXN];
int* y=new int[MAXN];

int LCP(int,int);
int LCS(int,int);

int main(){
    int T;
    scanf("%d",&T);
    for(int i=2;i<MAXN;i++)
        lg[i]=lg[i>>1]+1;
    while(T--){
        scanf("%s",buf+1);
        n=strlen(buf+1);
        for(int i=1;i<=n;i++)
            pf.s[i]=sf.s[n-i+1]=buf[i];
        pf.Build();
        sf.Build();
        memset(lcnt,0,sizeof(int)*(n+1));
        memset(rcnt,0,sizeof(int)*(n+1));
        for(int len=1;(len<<1)<=n;len++){
            for(int a=1,b;(b=a+len)<=n;a=b){
                int p=LCP(a,b);
                int s=LCS(a-1,b-1);
                if(p+s>=len){
                    int l=std::max(a-len+1,a-s);
                    int r=std::min(a-(len-p),a);
                    ++lcnt[l];
                    --lcnt[r+1];
                    ++rcnt[l+(len<<1)-1];
                    --rcnt[r+(len<<1)];
                }
            }
        }
        for(int i=1;i<=n;i++){
            lcnt[i]+=lcnt[i-1];
            rcnt[i]+=rcnt[i-1];
        }
        intEx ans=0;
        for(int i=1;i<n;i++)
            ans+=1ll*rcnt[i]*lcnt[i+1];
        printf("%lld\n",ans);
    }
    return 0;
}

int LCP(int a,int b){
    return pf.LCP(a,b);
}

int LCS(int a,int b){
    return sf.LCP(n-a+1,n-b+1);
}

int SuffixArray::LCP(int a,int b){
    if(a<1||a>n||b<1||b>n)
        return 0;
    else if(a==b)
        return n-a+1;
    else{
        a=rank[a];
        b=rank[b];
        if(a>b)
            std::swap(a,b);
        int p=lg[b-a];
        ++a;
        return std::min(stmin[p][a],stmin[p][b-(1<<p)+1]);
    }
}

void SuffixArray::Build(){
    int m=127;
    memset(x,0,sizeof(int)*(n+2));
    memset(y,0,sizeof(int)*(n+2));
    memset(cnt,0,sizeof(int)*(m+1));
    for(int i=1;i<=n;i++)
        ++cnt[x[i]=s[i]];
    for(int i=1;i<=m;i++)
        cnt[i]+=cnt[i-1];
    for(int i=n;i>=1;i--)
        SA[cnt[x[i]]--]=i;
    for(int k=1;k<n;k<<=1){
        int p=0;
        for(int i=n-k+1;i<=n;i++)
            y[++p]=i;
        for(int i=1;i<=n;i++)
            if(SA[i]>k)
                y[++p]=SA[i]-k;
        memset(cnt,0,sizeof(int)*(m+1));
        for(int i=1;i<=n;i++)
            ++cnt[x[i]];
        for(int i=1;i<=m;i++)
            cnt[i]+=cnt[i-1];
        for(int i=n;i>=1;i--)
            SA[cnt[x[y[i]]]--]=y[i];
        std::swap(x,y);
        x[SA[1]]=1;
        p=1;
        for(int i=2;i<=n;i++)
            x[SA[i]]=(y[SA[i]]==y[SA[i-1]]&&y[SA[i]+k]==y[SA[i-1]+k])?p:++p;
        if(p>=n)
            break;
        m=p;
    }
    for(int i=1;i<=n;i++)
        rank[SA[i]]=i;
    int k=0;
    for(int i=1;i<=n;i++){
        if(rank[i]==1)
            continue;
        if(k)
            --k;
        int j=SA[rank[i]-1];
        while(i+k<=n&&j+k<=n&&s[i+k]==s[j+k])
            ++k;
        height[rank[i]]=k;
    }
    for(int i=1;(1<<i)<=n;i++){
        for(int j=2;j<=n;j++){
            stmin[i][j]=stmin[i-1][j];
            if(j+(1<<(i-1))<=n)
                stmin[i][j]=std::min(stmin[i][j],stmin[i-1][j+(1<<(i-1))]);
        }
    }
}

转载于:https://www.cnblogs.com/rvalue/p/10946441.html