状压DP之子集枚举总结

状压DP之子集枚举总结

一、子集枚举的暴力与优化方案

在状压DP中,我们采用二进制 maskmaskmask 表示元素的选择状态。若要枚举某个状态 maskmaskmask 的所有子集,暴力方案需通过两层循环遍历所有可能的二进制数,再通过(s & t) == t判断t是否为s的子集,该方式时间复杂度极高,核心代码如下:

cpp 复制代码
for(int s=0;s<(1<<n);s++){
    for(int t=0;t<(1<<n);t++){
        if((s&t)==t){
            // t是s的子集
        }
    }
}

优化方案借助位运算实现高效枚举,能大幅降低时间复杂度,核心代码为:

cpp 复制代码
for(int s=0;s<(1<<n);s++){
    for(int t=s;t;t=(t-1)&s){
        // t是s的子集
    }
}

其核心逻辑为:对当前子集 ttt 先减 111 (使二进制数变小),再与原状态 sss 做与运算。减1操作会将t最低位的 111 变为 000,其右侧所有 000 变为 111;与 sss 做与运算可抹去新增的、原状态s中不存在的1,保证结果仍是 sss 的子集。以二进制数 (10110)2(10110)_2(10110)2 为例,按此逻辑可依次枚举得到(10100)2(10100)_2(10100)2、(10010)2(10010)_2(10010)2、(10000)2(10000)_2(10000)2、(110)2(110)_2(110)2、(100)2(100)_2(100)2、(10)2(10)_2(10)2等所有非空子集。

二、子集枚举的理论依据

  1. 子集合法性:根据与运算&的性质,若 a<ba < ba<b ,则 a&ba \& ba&b 的结果二进制中所有1出现的位置在b的二进制对应位置均为 111,因此结果必为 bbb 的子集(如1010&101101=10001010 \& 101101 = 10001010&101101=1000)。先对 ttt 减 111 再与 sss 做与运算,既让子集对应的数字变小,又保证了结果是原状态 sss 的子集。
  2. 无遗漏枚举:子集枚举本质是在原集合的二进制状态下将部分1换为0。减1后做与运算,会逐次将当前子集的最低位1置0,同时抹去新增的、原状态中不存在的1,能够遍历原集合的所有子集,且从s本身开始枚举,确保无遗漏。

三、复杂度证明

假设集合大小为nnn:

  1. 若某个mask包含kkk个1,则该mask有2k2^k2k个子集;
  2. 包含kkk个1的mask共有组合数(nk)\binom{n}{k}(kn)种;
  3. 总操作次数为求和式:∑k=0n(nk)2k\sum_{k=0}^{n} \binom{n}{k} 2^k∑k=0n(kn)2k。

根据二项式定理(x+y)n=∑(nk)xkyn−k(x+y)^n = \sum \binom{n}{k} x^k y^{n-k}(x+y)n=∑(kn)xkyn−k,令x=2x=2x=2、y=1y=1y=1,可得:
∑k=0n(nk)2k⋅1n−k=(2+1)n=3n\sum_{k=0}^{n} \binom{n}{k} 2^k \cdot 1^{n-k} = (2+1)^n = 3^n∑k=0n(kn)2k⋅1n−k=(2+1)n=3n。

因此,枚举所有状态的所有子集的时间复杂度为O(3n)O(3^n)O(3n),相较于暴力枚举的O(4n)O(4^n)O(4n)大幅优化,使得nnn的取值可达到15~16左右。

相关推荐
IronMurphy4 分钟前
【算法三十一】46. 全排列
算法·leetcode·职场和发展
czlczl200209254 分钟前
力扣1911. 最大交替子序列和
算法·leetcode·动态规划
第二只羽毛32 分钟前
C++ 高并发内存池1
大数据·开发语言·c++·开源
不想看见40439 分钟前
C++/Qt 实习岗位深度解析【结合一次研发实习谈感受】
开发语言·c++·qt
靴子学长43 分钟前
Decoder only 架构下 - KV cache 的理解
pytorch·深度学习·算法·大模型·kv
王老师青少年编程1 小时前
信奥赛C++提高组csp-s之组合数学专题课:鸽巢原理详解及案例实践
c++·组合数学·信奥赛·抽屉原理·csp-s·提高组·鸽巢原理
寒秋花开曾相惜1 小时前
(学习笔记)3.8 指针运算(3.8.3 嵌套的数组& 3.8.4 定长数组)
java·开发语言·笔记·学习·算法
Гений.大天才1 小时前
2026年计算机领域的年度主题与范式转移
算法
njidf1 小时前
C++与Qt图形开发
开发语言·c++·算法
ZoeJoy81 小时前
算法筑基(一):排序算法——从冒泡到快排,一文掌握最经典的排序算法
数据结构·算法·排序算法