VPSPACE与复数域上的转移定理
摘要：扩展[KP2007]的转移定理到复数域。也就是说，我们研究了多项式家族的VPSPACE类和在C上的Blum-Shub-Smale计算模型之间的联系。粗略地说，如果一个多项式家族的系数可以在多项式空间中计算，则该家族属于VPSPACE类。我们的主要结果是，如果（统一的，无常数的）VPSPACE家族可以高效地计算，则可以将在复数域上可以在并行多项式时间内解决的决策问题的类PAR折叠成P类。因此，为了在C上将P与NP分开，甚至将其与PAR分开，首先必须能够证明存在难以计算的VPSPACE家族。
作者：Pascal Koiran (LIP), Sylvain Perifel (LIP)
论文ID：0706.1477
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-06-12