是否意味着


37

据我了解,几何复杂度理论程序试图通过证明复数值矩阵的维数比行列式更难计算来分离VPVNP

浏览GCT论文后,我有一个问题:这会立即暗示,还是仅仅是朝着这个目标迈出的重要一步?PNP


3
AFAIK,动物园会提供所有已知信息。qwiki.stanford.edu/wiki/Complexity_Zoo:V#vnp
迈克尔Cadilhac

彼得·比尔吉瑟(PeterBürgisser)撰写的专着《代数复杂性理论的完全性和简化》(math-www.uni-paderborn.de/agpb/work/habil.ps)可能会让您对这个问题有更好的了解。
MCH 2013年

Answers:


27

最简洁的答案是不'。没有这样的含义是已知的。主要障碍有两个:从算术电路复杂度到布尔复杂度(VP≠VNP表示P / poly≠NP / poly),然后从布尔电路复杂度(P / poly≠NP / poly)到均匀复杂度(P≠NP) )。这些步骤都不是已知的。我相信P / poly≠NP / poly意味着VP≠VNP。


4
您的最后一句话是对的:如果存在VP = VNP的字段,则P / poly = NP / poly(遵循Cadilhac注释中的链接)。
迭戈·德埃斯特拉达

22

假设广义黎曼假设(GRH),在与多项式层次结构崩溃(P H)之间已知以下相当强的联系:VP=VNPPH

  1. 如果VP=VNP (在任何字段上),则多项式层次结构崩溃到第二级;
  2. 如果VP=VNP0NC3/poly=P/poly=PH/poly
  3. 如果V P = V N VP=VNPpNC2/poly=P/poly=PH/poly

这些是来自以下方面的结果:彼得·伯吉瑟(Peter Burgisser),“理论库克与瓦朗特的假设 ”。比较 Sci。,235:71-88,2000。

另请参见:Burgisser,“ 代数复杂性理论的完整性和约 ”,1998年。


1
VP=VNPVPVNP

15

PNP

VP和VNP专注于度数由多项式限制的代数函数。请注意,使用多项式大小的代数电路可以很容易地计算指数级的代数函数。

dO(logdlogn)

VPNC2VPVNPNC2#PP=NP

免责声明:我现在无法访问该论文,并且我不记得简化是在任何领域还是在有限领域都有效。

1 LG Valiant,S.Skyum,S.Berkowitz,C.Rackoff。用很少的处理器快速地多项式并行计算。SIAM J.计算。见12(4),641-644,1983。


2
NC2NPNC2#P

VNPNP#P

2
Valiant等。结果适用于任何领域。
Iddo Tzameret 2010年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.