cf873-Forbidden-Indices-后缀数组-并查集

最新推荐文章于 2020-12-20 10:08:17 发布

WA_King

最新推荐文章于 2020-12-20 10:08:17 发布

阅读量316

点赞数

分类专栏：后缀数组并查集文章标签：字符串算法

本文链接：https://blog.csdn.net/WA_King/article/details/104099154

版权

后缀数组同时被 2 个专栏收录

3 篇文章 0 订阅

订阅专栏

并查集

3 篇文章 0 订阅

订阅专栏

题目

题目链接

内容

给出一个字符串s,并规定某些字符合法某些不合法.

求 $∣ a ∣ * f (a)$ 的最大值, $a$ 为s的子串, $f (a)$ 为以合法字符结尾的出现次数.

分析

建后缀数组,按height数组从大到小合并,并查集维护.

由于以非法字符结尾的子串不能计算在内,而后缀数组不能很方便确定子串的结尾是否合法,因此我们先将字符串s翻转,这样就将问题转化为子串开头是否合法.

我们初始化并查集时,将合法字符开头的后缀size设为1,非法字符开头的后缀设为0.之后将height数组排序,然后从大到小合并,每次更新答案.

另外只出现一次的子串需要特判.

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
#define debug(x) cerr<<#x<<' '<<x<<'\n'
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define rep(i,a,b) for(int i=(a);i<=(b);i++)
#define per(i,a,b) for(int i=(a);i>=(b);i--)
const int maxn=2e5+10;
const int mod=1e9+7;
const int inf=0x3f3f3f3f;
const int maxbit=20;
struct SuffixArray
{
    int sa[maxn], rank[maxn], ws[maxn], wv[maxn], wa[maxn], wb[maxn], height[maxn], st[maxbit][maxn], N;
    bool cmp(int *r, int a, int b, int l){return r[a]==r[b] and r[a+l]==r[b+l];}
    void build(int *r, int n, int m)
    {
        N=n;
        n++;
        int i, j, k=0, p, *x=wa, *y=wb, *t;
        for(i=0;i<m;i++)ws[i]=0;
        for(i=0;i<n;i++)ws[x[i]=r[i]]++;
        for(i=1;i<m;i++)ws[i]+=ws[i-1];
        for(i=n-1;i>=0;i--)sa[--ws[x[i]]]=i;
        for(p=j=1;p<n;j<<=1,m=p)
        {
            for(p=0,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<n;i++)wv[i]=x[y[i]];
            for(i=0;i<m;i++)ws[i]=0;
            for(i=0;i<n;i++)ws[wv[i]]++;
            for(i=1;i<m;i++)ws[i]+=ws[i-1];
            for(i=n-1;i>=0;i--)sa[--ws[wv[i]]]=y[i];
            for(t=x,x=y,y=t,p=1,i=1,x[sa[0]]=0;i<n;i++)
                x[sa[i]]=cmp(y,sa[i-1],sa[i],j)?p-1:p++;
        }

        for(i=0;i<n;i++)rank[sa[i]]=i;

        for(i=0;i<n-1;height[rank[i++]]=k)
            for(k?k--:0,j=sa[rank[i]-1];r[i+k]==r[j+k];k++);
    }
    void build_st()     //st表
    {
        int i, k;
        for(i=1;i<=N;i++)st[0][i]=height[i];
        for(k=1;k<=maxbit;k++)
            for(i=1;i+(1<<k)-1<=N;i++)
                st[k][i]=min(st[k-1][i],st[k-1][i+(1<<k)-1]);
    }
    int lcp(int x, int y)   //最长公共前缀
    {
        int l=rank[x], r=rank[y];
        if(l>r)swap(l,r);
        if(l==r)return N-sa[l];
        int t=log2(r-l);
        return min(st[t][l+1],st[t][r-(1<<t)+1]);
    }
}SA;
int strcp[maxn],fa[maxn];
ll siz[maxn];
bool can[maxn];
pii pos[maxn];
int Find(int x) {
    if(x==fa[x]) return x;
    else return fa[x]=Find(fa[x]);
}
void Union(int a,int b) {
    int faa=Find(a),fab=Find(b);
    siz[faa]+=siz[fab];
    fa[fab]=faa;
}
int main()
{
    ios::sync_with_stdio(false);cin.tie(0);
    int len;
    cin>>len;
    string a,b;
    cin>>a;
    cin>>b;
    rep(i,0,len-1) {
        strcp[len-i-1]=a[i];
        if(b[i]=='0') can[len-i-1]=true;
        else can[len-i-1]=false;
    } 
    ll ans=0;
    rep(i,0,len) {
        fa[i]=i;
        if(can[i]) {
            siz[i]=1;
            ans=max(ans,(ll)len-i);
        } 
    }
    strcp[len]=0;
    SA.build(strcp,len,300);
    int num=0;
    rep(i,2,len) {
        pos[num].fi=SA.height[i];
        pos[num++].se=i;
    }
    sort(pos,pos+num);
    per(i,num-1,0) {
        int l=SA.sa[pos[i].se-1],r=SA.sa[pos[i].se];
        l=Find(l),r=Find(r);
        ans=max(ans,(siz[l]+siz[r])*pos[i].fi);
        Union(l,r);
    }
    cout<<ans<<'\n';
    return 0;
}