<洛谷P1896互不侵犯>(状态压缩DP)

本文介绍了一道经典的状压DP题目,通过详细的解析和代码示例,讲解了如何使用二进制数模拟状态,并通过位运算实现状态转移,最终求解在N×N棋盘上放置K个国王的所有合法摆放方案数。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题目描述

在N×N的棋盘里面放K个国王,使他们互不攻击,共有多少种摆放方案。国王能攻击到它上下左右,以及左上左下右上右下八个方向上附近的各一个格子,共8个格子。求所有的方案数。

输入输出格式

输入格式:
只有一行,包含两个数N,K ( 1 <=N <=9, 0 <= K <= N * N)

输出格式:
所得的方案数

输入输出样例

输入样例#1:
3 2
输出样例#1:
16

  • 作为第一道状压DP题,它教会了我如何看懂一段看不懂的代码——使劲看 @ · @ (滑稽
  • 那么什么是状压DP呢?本蒟蒻的理解是用二进制数模拟不同的状态。举个栗子:某个东西所放置的位置记为1,空着的位置记为0。比如1000101表示从右往左第1,3,7位有东西,其余空着。然后利用位运算来巧妙地实现不同状态之间的转移和判断。
  • 这道题的意思是:每个点的周围8个位置都不能有其他点,询问方案数。
  • 可以先思考,如果没有K个国王的限制,应该怎么做。因为每一行的可行的状态都一样,那么首先可以预处理出每一种状态,即求出任意一行的所有不冲突的状态(用二进制存储),然后一行一行遍历,只需要这一行不与上一行冲突即可。
  • 若是加入K个国王的条件,只需要多加一个判断条件:国王总数不超过K。
  • 预处理的方法(每一行的状态一样,只需处理一次):
    1. 从0开始,枚举每一个位置放或不放,若放则记为1,否则为0。如枚举到5时,二进制数为101,则代表第1,3个位置放国王
    2. 用位运算判断是否符合条件
if(i&(i<<1)) continue;

即若某个数左移一位后与原数取交结果不为0,那么这个数不满足“左右没有其他国王”的条件。
3. 用一个数组存状态,另一个存每个状态中的国王的数量。

  • DP转移方程:f[i][j][a]+=f[i-1][m][b];
    表示第i行,共放了j个国王,状态为a时的方案数。

又是喜闻乐见的代码

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;

int n,k;
int st;
int s[550],num[550];
long long f[15][110][550];
long long ans=0;

void init_state();
void DP();

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

void init_state(){//预处理任意一行的状态
    st=0;
    for(int i=0;i<(1<<n);++i){
        if(i&(i<<1)) continue;
        int t=i;
        num[st]=0;
        while(t){
            num[st]+=(t&1);//存数量
            t=t>>1;
        }
        s[st++]=i;//存状态
    }
    return;
}

void DP(){
    ans=0;
    memset(f,0,sizeof(f));
    for(int i=0;i<st;++i){//预处理第一行
        int j=num[i];
        if(j<=k) f[1][j][i]++;
    } 
    for(int i=2;i<n;++i)///枚举行数
        for(int j=0;j<=k;++j)//枚举国王个数
            for(int a=0;a<st;++a){//枚举本行状态
                int c=num[a];
                if(c>j) continue;
                int m=j-c;
                for(int b=0;b<st;++b){//枚举上一行状态
                    int cc=num[b];
                    if(cc>m) continue;
                    if(s[a]&s[b]) continue;
                    if(s[a]&(s[b]<<1)) continue;
                    if((s[a]<<1)&s[b]) continue;//与上一行不冲突
                    f[i][j][a]+=f[i-1][m][b];
                }
            }
    ans=0;
    for(int a=0;a<st;++a){//枚举最后一行,应该可以和其它行合并在一起DP,不过没试过
        int c=num[a];
        if(c>k) continue;
        int j=k-c;
        for(int b=0;b<st;++b){
            int cc=num[b];
            if(cc>j) continue;
            if(s[a]&s[b]) continue;
            if(s[a]&(s[b]<<1)) continue;
            if((s[a]<<1)&s[b]) continue;
            f[n][k][a]+=f[n-1][j][b];
        }
        ans+=f[n][k][a];
    }
    printf("%lld",ans);
    return;
}
### 关于SCOI2005 互不侵犯问题的DFS解法 对于SCOI2005 互不侵犯这一问题,采用深度优先搜索(DFS)的方法同样能够解决问题。这种方法通过尝试每一种可能的情况来寻找满足条件的结果。 #### DFS解题思路 在解决此问题时,DFS算法会逐行放置国王,并确保任何两个国王之间不会互相攻击。具体来说: - 使用二进制数表示每一行的态,其中`1`代表当前位置已放置国王,`0`则为空白。 - 对于每一个新的行,在所有未被先前行中的国王威胁的位置上尝试放置新国王。 - 如果当前行的所有列都遍历完毕,则回溯至上一行继续探索其他可能性。 - 当成功放置了指定数量的国王后,计数器加一;如果某次递归达到了最后一行且仍未完成目标,则返回并调整之前的决策。 为了提高效率,还需要提前计算出哪些态是合法的——即不存在连续两位都是`1`的态,这可以通过简单的枚举实现[^4]。 #### Python代码实现 下面是一个基于上述逻辑编写的Python程序片段用于求解该问题: ```python def dfs(row, col_mask, left_diag, right_diag): global n, k, ans if row == n: if sum(bin(col)[2:].count('1') for col in cols) == k: ans += 1 return for i in range(1 << n): if bin(i).count('1') + sum(cols[:row]) > k: continue ok = ((~col_mask & ~left_diag & ~right_diag & (i)) == i) if not ok or '11' in bin(i): continue new_col_mask = col_mask | i new_left_diag = (left_diag | i) << 1 new_right_diag = (right_diag | i) >> 1 dfs(row + 1, new_col_mask, new_left_diag, new_right_diag) n, k = map(int, input().split()) cols = [0]*n ans = 0 dfs(0, 0, 0, 0) print(ans) ``` 这段代码定义了一个名为`dfs()`函数来进行深度优先搜索,它接收四个参数分别表示当前处理的是哪一行(`row`)、当前列上的占用情况(`col_mask`)、左斜线方向上的占用情况(`left_diag`)以及右斜线方向上的占用情况(`right_diag`)。全局变量`n`, `k`用来保存棋盘大小和要放置的国王数目,而`ans`则是最终答案的数量。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值