HDU 2280 Tetris Comes Back

状态压缩，$dp$，预处理。

设$dp[i][j]$为前$i-1$行填满，第$i$行为状态$j$的最小需要$1$种类的数量。预处理好每种状态能推出哪些状态，并且记录下所需花费就可以了。

#pragma comment(linker, "/STACK:1024000000,1024000000")
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<vector>
#include<map>
#include<set>
#include<queue>
#include<stack>
#include<iostream>
using namespace std;
typedef long long LL;
const double pi=acos(-1.0),eps=1e-;
void File()
{
    freopen("D:\\in.txt","r",stdin);
    freopen("D:\\out.txt","w",stdout);
}
template <class T>
inline void read(T &x)
{
    char c = getchar();
    x = ;
    while(!isdigit(c)) c = getchar();
    while(isdigit(c)) { x = x *  + c - ''; c = getchar(); }
}

struct X
{
    int nx,cost;
}q[];
int n,c,cnt;
vector<int>v[];
char s[][];
int st[];
int dp[][];

int check(int s,int pos)
{
    if(s&(<<pos)) return ;
    return ;
}

void dfs(int S,int no,int p,int nx,int co)
{
    if(p==)
    {
        q[cnt].nx=nx; q[cnt].cost=co;
        v[S].push_back(cnt); cnt++;
        return ;
    }

    if(check(no,p))
        dfs(S,no,p+,nx,co);

    //
    if(check(no,p)==)
        dfs(S,no+(<<p),p+,nx,co+);

    //
    if(p>&&check(no,p)==&&check(nx,p)==&&check(nx,p-)==)
        dfs(S,no+(<<p),p+,nx+(<<p)+(<<(p-)),co);
    //
    if(p+<=&&check(no,p)==&&check(no,p+)==&&check(nx,p)==&&check(nx,p+)==)
        dfs(S,no+(<<p)+(<<(p+)),p+,nx+(<<p)+(<<(p+)),co);

    //
    if(p+<=&&check(no,p)==&&check(no,p+)==)
        dfs(S,no+(<<p)+(<<(p+)),p+,nx,co);

    //
    if(check(no,p)==&&check(nx,p)==)
        dfs(S,no+(<<p),p+,nx+(<<p),co);

    //
    if(p+<=&&check(no,p)==&&check(nx,p)==&&check(nx,p+)==)
        dfs(S,no+(<<p),p+,nx+(<<p)+(<<(p+)),co);

    //
    if(p+<=&&check(no,p)==&&check(no,p+)==&&check(nx,p+)==)
        dfs(S,no+(<<p)+(<<(p+)),p+,nx+(<<(p+)),co);

    //
    if(p+<=&&check(no,p)==&&check(no,p+)==&&check(nx,p)==)
        dfs(S,no+(<<p)+(<<(p+)),p+,nx+(<<p),co);
}

void init()
{
    cnt=;
    for(int i=;i<(<<);i++) dfs(i,i,,,);
}

int main()
{
    init();

    while(~scanf("%d%d",&n,&c))
    {
        for(int i=;i<n;i++) scanf("%s",s[i]);
        for(int i=;i<n;i++)
        {
            st[i]=;
            for(int j=;j<;j++)
            {
                int x=s[i][j]-'';
                st[i]=st[i]+x*(<<j);
            }
        }

        st[n]=;

        memset(dp,-,sizeof dp);

        dp[][st[]]=;

        for(int i=;i<n;i++)
        {
            for(int j=;j<;j++)
            {
                if(dp[i][j]==-) continue;
                //printf("********\n");
                for(int t=;t<v[j].size();t++)
                {
                    int id=v[j][t];
                    if(c-dp[i][j]<q[id].cost) continue;
                    if(st[i+]&q[id].nx) continue;
                    if(dp[i+][(q[id].nx)|st[i+]]==-) dp[i+][(q[id].nx)|st[i+]]=dp[i][j]+q[id].cost;
                    else dp[i+][(q[id].nx)|st[i+]]=min(dp[i+][(q[id].nx)|st[i+]],dp[i][j]+q[id].cost);
                }
            }
        }

        if(dp[n][]!=-&&dp[n][]<=c) printf("YES\n");
        else printf("NO\n");
    }
    return ;
}