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

PDF 下载: 英文版 中文版pdf翻译中