graph LR A[集合选取状态] --> B[二进制位表示] B --> C[整数即状态] C --> D[位运算转移]
状态压缩 DP（Bitmask DP） 用一个整数的二进制位表示一组元素的选取状态，从而将集合问题转化为 DP。
适用条件：元素个数 n 很小（通常 n ≤ 20），因为状态数为 2ⁿ。
| n | 状态数 2ⁿ | 可行性 |
|---|---|---|
| 10 | 1024 | 轻松 |
| 15 | 32768 | 可行 |
| 20 | 1048576 | 勉强 |
| 25 | 33M | 太慢 |
int mask = 0;
mask |= (1 << i); // 选第 i 个
mask &= ~(1 << i); // 去掉第 i 个
boolean has = (mask & (1 << i)) != 0; // 第 i 个是否被选
int count = Integer.bitCount(mask); // 选了几个交互式动画演示，可调整参数并单步执行。
全屏打开问题：从城市 0 出发，经过所有城市恰好一次后回到 0，求最短路径。
状态：dp[mask][i] = 已访问城市集合为 mask，当前在城市 i 的最短距离。
public int tsp(int[][] dist) {
int n = dist.length;
int full = 1 << n;
int[][] dp = new int[full][n];
for (int[] row : dp) Arrays.fill(row, Integer.MAX_VALUE / 2);
dp[1][0] = 0; // 从城市 0 出发
for (int mask = 1; mask < full; mask++) {
for (int u = 0; u < n; u++) {
if ((mask & (1 << u)) == 0) continue; // u 必须在 mask 中
if (dp[mask][u] >= Integer.MAX_VALUE / 2) continue;
for (int v = 0; v < n; v++) {
if ((mask & (1 << v)) != 0) continue; // v 未访问
int newMask = mask | (1 << v);
dp[newMask][v] = Math.min(dp[newMask][v], dp[mask][u] + dist[u][v]);
}
}
}
int ans = Integer.MAX_VALUE / 2;
int allVisited = full - 1;
for (int u = 0; u < n; u++) {
ans = Math.min(ans, dp[allVisited][u] + dist[u][0]);
}
return ans;
}问题：n 个数的排列中，满足相邻约束的有多少种？
// dp[mask][last] = 已选集合 mask，最后一个数是 last 的方案数
int[][] dp = new int[1 << n][n];
for (int i = 0; i < n; i++) dp[1 << i][i] = 1;
for (int mask = 1; mask < (1 << n); mask++) {
for (int last = 0; last < n; last++) {
if ((mask & (1 << last)) == 0) continue;
for (int next = 0; next < n; next++) {
if ((mask & (1 << next)) != 0) continue;
if (!valid(last, next)) continue; // 约束检查
dp[mask | (1 << next)][next] += dp[mask][last];
}
}
}问题：给定 n 个字符串，找包含所有串的最短超级串。
状态：dp[mask][i] = 已包含 mask 中的串，当前以第 i 个串结尾的最短长度。
for (int sub = mask; sub > 0; sub = (sub - 1) & mask) {
// sub 是 mask 的子集
}// Gosper's Hack
int subset = (1 << k) - 1;
while (subset < (1 << n)) {
// 处理 subset
int x = subset & (-subset);
int y = subset + x;
subset = ((subset & ~y) / x >> 1) | y;
}| 信号 | 说明 |
|---|---|
| n ≤ 20 | 状态数 2ⁿ 可接受 |
| "选/不选"的集合 | 用二进制位表示 |
| 排列/组合约束 | 相邻、顺序限制 |
| TSP / 哈密顿路径 | 经典状压题 |
| 棋盘放置（小棋盘） | 每行状态压缩 |
问题：在 n×m 棋盘上放棋子，某些格子不能放，求方案数。
// 预处理：所有合法的单行状态
List<Integer> validRows = new ArrayList<>();
for (int s = 0; s < (1 << m); s++) {
if ((s & (s << 1)) == 0) validRows.add(s); // 无相邻 1
}
// dp[i][state] = 前 i 行，第 i 行状态为 state 的方案数
for (int i = 1; i <= n; i++) {
for (int cur : validRows) {
if ((cur & blocked[i]) != 0) continue; // 不能放在障碍上
for (int prev : validRows) {
if ((cur & prev) != 0) continue; // 上下不冲突
dp[i][cur] += dp[i - 1][prev];
}
}
}mask & (1 << i) == 0 要加括号！& 优先级低于 ==。1 << n 别写成 1 << (n-1)。dp[初始mask][起点] = 0，其余为 INF。