VPSPACE 与复数域上的迁移定理
计算复杂性
2007-06-12 v1
摘要
我们将 [KP2007] 的迁移定理推广到复数域。也就是说，我们研究多项式族类 VPSPACE 与 C 上的 Blum-Shub-Smale 计算模型之间的联系。粗略地说，若一个多项式族的系数可在多项式空间内计算，则该族属于 VPSPACE。我们的主要结论是：若（一致、无常数的）VPSPACE 族能够被有效求值，则 C 上可并行多项式时间求解的判定问题类 PAR 将坍缩到 P。因此，要将 C 上的 P 与 NP、甚至与 PAR 分离开，首先必须证明存在难以求值的 VPSPACE 族。
引用
@article{arxiv.0706.1477,
title = {VPSPACE and a transfer theorem over the complex field},
author = {Pascal Koiran and Sylvain Perifel},
journal= {arXiv preprint arXiv:0706.1477},
year = {2007}
}
评论
14 pages