HDU 2280 状压DP

用dfs找到状态的最优解

且那个正方形块可以由两个水平块组成，所以无需考虑

 #include <cstdio>
 #include <cstring>
 #include <iostream>

 using namespace std;
 #define N 1005
 int state[N] , n , m , dp[N][<<];

 void dfs(int i , int k , int state1 , int state2 , int v)
 {
     if(k > ){
         dp[i][state2] = max(dp[i][state2] , v);
         return;
     }
     if(k <= ){
         if(!(state1&(<<k-)) && !(state2&(<<k-))){
             dfs(i , k+ , state1 | (<<k-) , state2 | (<<k-) , v+);
         }
         if(!(state1&(<<k)) && !(state2&(<<k-))){
             dfs(i , k+ , state1 | (<<k) , state2 | (<<k-) , v+);
         }
         if(!(state1&(<<k-)) && !(state2&(<<k-))){
             dfs(i , k+ , state1 | (<<k-) , state2 | (<<k-) , v+);
         }
         if(!(state1&(<<k-)) && !(state2&(<<k))){
             dfs(i , k+ , state1 | (<<k-) , state2 | (<<k) , v+);
         }
         if(!(state2&(<<k-))){
             dfs(i , k+ , state1 , state2 | (<<k-) , v+);
         }
     }
     else{
         if(!(state1&(<<k-)) && !(state2&(<<k-))){
             dfs(i , k+ , state1 | (<<k-) , state2 | (<<k-) , v+);
         }
     }
     dfs(i , k+ , state1 , state2 , v);
 }

 void dfs2(int k , int sta , int v)
 {
     if(k > ){
         dp[][sta] = max(dp[][sta] , v);
         return;
     }
     if(k <= ){
         if(!(sta & (<<k-)))
             dfs2(k+ , sta | (<<k-) , v+);
     }
     dfs2(k+ , sta , v);
 }

 int main()
 {
   //  freopen("a.in" , "rb" , stdin);
     char a;
     while(scanf("%d%d", &n , &m) != EOF){
         memset(state ,  ,sizeof(state));
         int all = ;
         for(int i = ; i <= n ; i++)
             for(int j=; j<= ; j++){
                 cin>>a;
                 if(a == ''){
                     state[i] |= (<<j-);
                 }
                 else all++;
             }

         memset(dp , - , sizeof(dp));
         dp[][state[]] = ;
         dfs2( , state[] , );

         for(int i= ; i <= n ; i++){
             for(int j = ; j<(<<) ; j++){
                 if(dp[i-][j] >= ){
                     dfs(i ,  , j , state[i] , dp[i-][j]);
                 }
             }
         }

         int maxn = ;

         for(int i =  ; i<(<<) ; i++){
             maxn = max(maxn , dp[n][i]);
         }

         int remain = all - maxn;
         if(remain <= m) puts("YES");
         else puts("NO");
     }
     return ;
 }