Codeforces 1550 E. Stringforces —— 状压DP

This way

题意：

现在有一个字符串，只包含小写英文的前k位和’?’。定义$f_i$表示字符串中仅包含字母i的最长连续子串长度。
字符串的值是$f_i|(i\in [1,k])$的最小值。问你字符串的值最大是多少。

题解：

那么首先看到最小值最大就大致猜测到是一个二分，而且这显然满足二分的性质。
我们二分出当前的答案之后怎么去检验，一开始我是想着dp[i]表示到了第i个位置的时候，已有的字母集合。但是敲到一半的时候突然反应过来到了相同的点，字母集合可能不同。如果用vector来存的话，数量会很庞大，所以方案流产。然后还想过一些奇奇怪怪的方法。最后才想起来，既然不能贪心地存情况，但是可以贪心地存位置。
dp[i]表示字母集合为i的时候，所需要取到的位置最少是i。那么可能会有人问了，我可能先取x的位置在后面，然后取y在它结尾的前面呢？但是状压会将这些情况考虑到。这种情况无非就是先取y再取x即可。
那么nex[i][j]就表示当前位置为i的时候，能合法地取到字母j的下一个位置（包括i）。
接着就可以进行dp：
$dp[i|p[j]]=dp[i|p[j]]==-1?ne+x-1:min(ne+x-1,dp[i|p[j]]);$

#include<bits/stdc++.h>
using namespace std;
const int N=3e5+5;
int dp[N],Log[N],p[25],val[N][25];
int nex[N][25];
vector<int>pos;
char s[N];
int n,k;
int check(int x){
    memset(dp,-1,sizeof(dp));
    dp[0]=0;
    for(int i=0;i<k;i++)nex[n+1][i]=n+1;
    for(int i=n;i;i--){
        for(int j=0;j<k;j++){
            if(i+x-1>n){
                nex[i][j]=nex[i+1][j];
                continue;
            }
            int hav=val[i][Log[x]]|val[i+x-p[Log[x]]][Log[x]];
            if(hav==0||hav==p[j])
                nex[i][j]=i;
            else nex[i][j]=nex[i+1][j];
        }
    }
    for(int i=0;i<p[k];i++){
        if(dp[i]==-1)continue;
        for(int j=0;j<k;j++){
            if(i&p[j])continue;
            int ne=nex[dp[i]+1][j];
            if(ne==n+1)continue;
            dp[i|p[j]]=dp[i|p[j]]==-1?ne+x-1:min(ne+x-1,dp[i|p[j]]);
        }
    }
    if(~dp[p[k]-1])return 1;
    return 0;
}
int main()
{
    Log[0]=-1;p[0]=1;
    for(int i=1;i<N;i++)Log[i]=Log[i/2]+1;
    for(int i=1;i<25;i++)p[i]=p[i-1]*2;
    scanf("%d%d%s",&n,&k,s+1);
    for(int i=1;i<=n;i++)
        val[i][0]=s[i]=='?'?0:p[s[i]-'a'];
    for(int j=1;j<25;j++)
        for(int i=1;i+p[j]-1<=n;i++)
            val[i][j]=val[i][j-1]|val[i+p[j-1]][j-1];



    int l=1,r=n,ans=0,mid;
    while(r>=l){
        mid=l+r>>1;
        if(check(mid))l=mid+1,ans=mid;
        else r=mid-1;
    }
    printf("%d\n",ans);
    return 0;
}