我正在阅读一篇论文（三元 CAM 中的路由表压缩），内容如下：
“掩码扩展技术简化为逻辑最小化问题。在讨论中，我使用立方体来指代多个前缀的组合单个条目，而覆盖指代覆盖所有前缀的立方体集合。问题就变成了：给定一组具有相同长度和相同路径的前缀，找到一个最小覆盖。”
虽然我可以理解掩码扩展本身，并且上面的立方体和覆盖物更像是背包问题，这也是类似电路可满足性问题的 NP 完全问题。但是，我无法真正理解这种减少是如何工作的。换句话说，我想获得更正式的方法，以表明逻辑最小化问题与掩码扩展相同。
任何帮助表示赞赏 - 谢谢。