广义布尔公式的最小化
摘要：限制命题公式的最小化问题是多项式层次结构中的重要优化问题。一般来说，在图灵约简下，该问题是Σ-2完全的，但是限制版本是可解的。我们研究了两个已建立的限制命题逻辑框架下的最小化问题的复杂性：Post框架允许在一组布尔连接器上任意嵌套的公式，以及约束设置，允许CNF公式的概括。在Post框架下，我们得到了一个二分结果：最小化问题可以在多项式时间内解决或者是coNP难问题。这个结果也适用于布尔电路。对于CNF公式，我们获得了一大类公式的新的最小化算法，并且提供了强有力的证据表明我们已经涵盖了所有的多项式时间案例。
作者：Edith Hemaspaandra and Henning Schnoor
论文ID：1104.2312
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-04-13