企业官网建设流程全解析

类型​

组合逻辑优化

领域​

布尔代数 / 逻辑综合

问题​

给定 n 输入布尔函数 f，求积之和（SOP）表达式，使字面量数 + 乘积项数最小

详细的数学分析​

代数：f ∈ Bⁿ → B，B={0,1}，De Morgan 对偶格。
几何：n 维超立方体 Qₙ，每个顶点赋值 f(v)，相邻顶点（汉明距 1）可合并 ⇔ 立方覆盖（cube covering）。
优化理论：本质是 set covering problem（NP-hard），Espresso 用 Irving–Parker 启发式：unate 递归分解 + 本质素立方（essen