bzoj1087[SCOI2005][互不侵犯King] 状压DP

最新推荐文章于 2019-07-02 08:38:00 发布

Venishel

最新推荐文章于 2019-07-02 08:38:00 发布

阅读量378

点赞数

分类专栏：动态规划——经典题其它——题解文章标签：状压DP

本文链接：https://blog.csdn.net/qq_37321281/article/details/78363607

版权

其它——题解同时被 2 个专栏收录

28 篇文章 0 订阅

订阅专栏

动态规划——经典题

9 篇文章 0 订阅

订阅专栏

dp [i][j][sta] 表示前i行选j个第i行状态为sta时的方案数

dp [i] [j] [sta] += dp [i-1] [j-bc[sta]] [sta_i-1] ;

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
long long dp [10] [1000] [1010];
int vis [1<<10] , bc [1<<10];

int main () {
    int n , K ;
    scanf ( "%d%d" , &n , &K ) ;
    for (int i = 0; i < (1 << n); i++)
        if (!(i & (i << 1))){
            vis[i] = true;
            int t = i;
            while (t){
                bc[i] += (t & 1) , t >>= 1;
            }
            dp[1][bc[i]][i] = 1;
        }

    for ( int i = 2 ; i <= n ; ++ i )
        for ( int j = 0 ; j <= K ; ++ j )
            for ( int nw = 0 ; nw < (1<<n) ; ++ nw ) 
                if ( vis [nw] && bc [nw] <= j ){
                for ( int lt = 0 ; lt < (1<<n) ; ++ lt ) if ( vis [lt] ){
                    if ( ((nw>>1)&lt) || ((nw<<1)&lt) || (nw & lt) ) continue ;
                    dp [i] [j] [nw] += dp [i-1] [j-bc[nw]] [lt] ;
                }
            }
    long long ans = 0 ;
    for ( int i = 0 ; i < (1<<n) ; ++ i )
        ans += (long long )dp [n] [K] [i] ;
    printf ( "%lld" , ans ) ;
    return 0 ;
}