VPSPACE与实数上的转移定理
摘要:VPSPACE类:家族多项式的介绍和其在多项式空间中可以计算系数。主要定理是如果(均匀的,无常数的)VPSPACE家族可以高效评估,则可以将可以在实数上以并行多项式时间解决的决策问题类PAR缩减为P。结果是,首先必须能够展示存在难以评估的VPSPACE家族以将实数上的P与NP甚至与PAR分离。
作者:Pascal Koiran (LIP), Sylvain Perifel (LIP)
论文ID:cs/0610009
分类:Computational Complexity
分类简称:cs.CC
提交时间:2009-09-29