【题解】互不侵犯 SCOI 2005 BZOJ 1087 插头dp

以前没学插头dp的时候觉得这题贼难，根本不会做，学了才发现原来是一裸题。

用二进制表示以前的格子的状态，0表示没放国王，1表示放了国王。

假设当前位置为(x,y)，需要记录的是(x-1,y-1)至(x,y-1)的信息，共n+1个点。

每个状态有两种决策，第一种是这个格子不放国王，直接转移。

第二种是这个格子放国王，需要满足几个条件才能进行这步转移，条件很显然，具体见代码和注释。

因为状态数很少，所以也用不到BFS转移状态和Hash的技巧，所以这题还是很清真的，细节不多，码量也很小。

#include <cstring>
#include <algorithm>
#include <cstdio>

using namespace std;
typedef long long ll;
const int MAXN = ;

int n, k;

inline int getd( int x, int d ) { // 位运算相关
    return (x>>d)&;
}
inline int setd( int x, int d, int v ) {
    return (x&(~(<<d)))|(v<<d);
}

ll f[][][]; // 滚动数组
void update_no( int cur, int kk, int S ) { // 不放国王
    int nS = setd(S,n,)<<;
    f[cur^][kk][nS] += f[cur][kk][S];
}
void update_yes( int cur, int kk, int S ) { // 放国王
    int nS = (setd(S,n,)<<)|;
    f[cur^][kk+][nS] += f[cur][kk][S];
}
void solve() {
    int cur = ;
    f[cur][][] = ;
    for( int i = ; i < n; ++i )
        for( int j = ; j < n; ++j ) {
            memset( f[cur^], , sizeof(f[cur^]) );
            for( int kk = ; kk <= k; ++kk )
                for( int S = ; S < ; ++S )
                    if( f[cur][kk][S] ) {
                        update_no(cur,kk,S); // 任何格子都可以不放
                        if( ( !j || !getd(S,) ) && // 在第一列或者左边没有国王
                            ( !i || !getd(S,n-) ) && // 在第一行或者上面没有国王
                            ( !j || !i || !getd(S,n) ) && // 在第一行或者在第一列或者左上角没有国王
                            ( j == n- || !i || !getd(S,n-) ) && // 在最后一列或者在第一行或者右上角没有国王
                            kk < k ) // 还有剩余的国王可以放
                            update_yes(cur,kk,S);
                    }
            cur ^= ;
        }
    ll ans = ;
    for( int S = ; S < ; ++S ) ans += f[cur][k][S];
    printf( "%lld\n", ans );
}

int main() {
    scanf( "%d%d", &n, &k ), solve();
    return ;
}