【算法模板】动态规划：状压DP

状压DP（又称“状态压缩动态规划”）是一种动态规划的变体，广泛应用于涉及状态压缩问题的场景，比如图的状态、子集问题等。它通过压缩状态表示来降低复杂度，从而使得解决问题的方式更加高效。

算法思想

状压DP的核心思想是使用一个位掩码（bitmask）来表示某些特定的状态。位掩码可以有效地表示集合的子集，尤其适合处理相对较小数量（通常不超过20个）的元素。

算法流程

• 状态表示：使用一个整数的二进制表示来表示状态。例如，若有N个元素，考虑一个不超过N的子集，则可以用一个N位的二进制数表示，位为1表示在集合中，位为0表示不在集合中。

• 状态转移：定义状态转移方程，通过对当前状态进行某种操作（比如加入新的元素或者移除元素）来得到新的状态。

• 初始化：在算法的开始阶段初始化DP数组，通常第一个状态是空集。

• 遍历所有状态：使用循环遍历所有可能的状态，计算每个状态的最佳解。

• 输出结果：最后可以从DP数组中获取最终解。

例题

#2153. 「SCOI2005」互不侵犯)

在 N*N 的棋盘里面放 K 个国王，使他们互不攻击，共有多少种摆放方案。

国王能攻击到它上下左右，以及左上左下右上右下八个方向上附近的各一个格子，共 8个格子。

#include<bits/stdc++.h>
using namespace std;

// 检查当前行的状态与前一行的状态是否兼容
bool isValid(int prevMask, int currMask, int N){
   
   
    for (int i = 0; i < N; ++i){
   
   
        if ((currMask & (1 << i)) != 0){
   
    // 当前行的第 i 列有国王
            // 检查前一行的第 i 列、第 i-1 列和第 i+1 列是否有国王
            if ((prevMask & (1 << i)) != 0 ||
                (i > 0 && (prevMask & (1 << (i - 1))) != 0) ||
                (i < N - 1 && (prevMask & (1 << (i + 1))) != 0)){
   
   
                return false;
            }
            // 检查当前行的第 i-1 列和第 i+1 列是否有国王
            if ((i > 0 && (currMask & (1 << (i - 1))) != 0) ||
                (i < N - 1 && (currMask & (1 << (i + 1))) != 0)){
   
   
                return false;
            }
        }
    }
    return true