多项式求值的二分定理
摘要：计数问题的一个二分定理的Creignou和Hermann指出，对于任何有限集合S中的逻辑关系，计数问题#SAT(S)要么在FP中，要么是#P-complete。在本文中，我们展示了一个关于多项式评估的二分定理。也就是说，我们展示了对于给定的集合S，要么存在与S相关联的VNP-complete多项式族，要么相关联的多项式族都在VP中。我们给出了令多项式变得“容易”和“困难”的集合S的简明表述。我们还证明了一些在图灵归约下已知为#P-complete的问题实际上也在多对一归约下是#P-complete的。
作者：Ir''en''ee Briquel (LIP), Pascal Koiran (LIP)
论文ID：0902.2300
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-12-15