CodeForces743E. Vladik and cards 二分+状压dp

这个题我们可以想象成_---___-----__的一个水柱它具有一遍优一遍行的性质因此可以用来二分最小值len，而每次二分后我们都要验根，we可以把这个水柱想成我们在每个数段里取前一段的那个数后一段有也不选，而且最后一个区间的第一个数一定可以使这个数区间对应的数，那么我们只要在某个位置上不选或选就可以啦，这we很容易想到2ⁿ的验根但是这样还不如打暴力，这时我们发现这个dfs是低效的他会很多进入等效状态这样的话我们就可以记忆化搜索了，那么何妨递推，由于我们知道f[pos][mask]中只要pos（位置），mask（二进制代表是否选过）确定那么就要他的最大值就行了，而状态转移分两种一是前面len或len+1，或前一个状态，那么只要每一个状态是最大值，那么我们就从前面推到最后就找到了，这样的话我们可以正向推来代替反向吸收，因为如果只有那样吸收也就只有那样推.

千万不要忘了0的特判以及状态转移的完全性.

时间复杂度o(8*log₂n*2⁸*n)

#include<cstdio>
#include<vector>
#include<cstring>
#include<iostream>
#include<algorithm>
#define MAXN 1001
using namespace std;
int f[MAXN][(<<)+];
int n,a[MAXN],full=(<<)-;
bool had[];
vector<int>pos[];
inline void pre()
{
   scanf("%d",&n);
   for(int i=;i<=n;i++)
   {
    scanf("%d",&a[i]);
    had[a[i]]=;
    pos[a[i]].push_back(i);
   }
}
inline int Max(int x,int y)
{
   return x>y?x:y;
}
inline int get(int p,int len)
{
   int now=lower_bound(pos[a[p]].begin(),pos[a[p]].end(),p)-pos[a[p]].begin();
   int ans=now+len-;
   if(pos[a[p]].size()-<ans)return -;
   return pos[a[p]][ans];
}
int judge(int len)
{
   memset(f,,sizeof(f));
   for(int i=;i<n;i++)
   {
      int to=get(i+,len);
      if(to!=-)f[to][(<<(a[i+]-))]=Max(f[i][]+len,f[to][(<<(a[i+]-))]);
      to=get(i+,len+);
      if(to!=-)f[to][(<<(a[i+]-))]=Max(f[i][]+len+,f[to][(<<(a[i+]-))]);
      for(int j=;j<full;j++)
        if(f[i][j])
        {
          f[i+][j]=Max(f[i+][j],f[i][j]);
          if(j&(<<(a[i+]-)))continue;
          to=get(i+,len);
          if(to!=-)f[to][j|(<<(a[i+]-))]=Max(f[i][j]+len,f[to][j|(<<(a[i+]-))]);
          to=get(i+,len+);
          if(to!=-)f[to][j|(<<(a[i+]-))]=Max(f[i][j]+len+,f[to][j|(<<(a[i+]-))]);
        }
     f[i+][full]=Max(f[i+][full],f[i][full]);
    }
   return f[n][full];
}
void work()
{
   int ans=,l=,r=n>>;
   for(int i=;i<=;i++)
    if(had[i])ans++;
   while(l<=r)
   {
     int mid=(l+r)>>,x=judge(mid);
     ans=Max(x,ans);
     if(x)
      l=mid+;
     else
      r=mid-;
   }
   printf("%d",ans);
}
int main()
{
   pre();
   work();
   return ;
}