6.2.1 枚举法 (Enumeration)

文档摘要

6.2.1 枚举法 (Enumeration) 6.2.1 枚举法（Enumeration）：在指数深渊边缘行走的精密探针你有没有试过，在凌晨三点盯着一个只有 20 个变量的布尔满足性问题（SAT），看着求解器的 CPU 占用率稳定在 99%，而进度条纹丝不动？那一刻，你不是在调试代码——你是在和组合爆炸对峙。指数级复杂度不是抽象概念，它是内存页不断被换入换出时硬盘发出的低沉嗡鸣，是递归栈深度突破时那个猝不及防的，是你精心设计的剪枝逻辑在第 $2^{18}$ 个分支上悄然失效后留下的沉默空隙。枚举法，常被初学者轻描淡写地称为“暴力搜索”，但这种称呼如同把外科手术刀叫作“小铁片”——它掩盖了其背后惊人的工程精度、结构洞察与系统韧性。