计算广义命题公式的最优分配的复杂性
摘要：计算选择在不同的限制公式类别中满足命题公式的字典最小（或最大）解的问题。在我们的框架中，对于每个类别，上述问题要么是多项式时间可解的，要么是OptP类的完全问题。我们还考虑确定在最优解中，最大的变量是否取值为1的问题。我们证明了这个问题要么属于P类，要么是P^NP类的完全问题。
作者：Steffen Reith and Heribert Vollmer
论文ID：cs/9809116
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23