为什么布尔电路的下限并不意味着算术电路的下限


10

我的问题是,为什么行列式为门为“和”和“异或”的深度3布尔电路的下界不表示算术电路的下界Z

以下参数有什么问题:令C为一个计算行列式的算术电路,然后通过取所有变量mod 2,我们将获得布尔电路计算行列式。

Answers:


12

对于Z的算术电路,您的论点是完全正确的。相同的参数适用于Q上的算术电路,该电路不使用任何分数a/b,其中b是偶数。

但是,如果谈论过其它环算术电路,例如作为参数不再有效:通用算术电路超过(即,没有限制以上),- [R ,代数数域,Ç,或有限域˚F qq 2QRCFqq2

(这与在代数几何中通常被视为所谓的“混合特征”而不是特征零的原因基本相同。)Z

Zab=¬(¬a¬b)

fRφ:RSφfSfSfSSfR


b

3
ba/bQab1(mod2)

这是否意味着证明某种定理(如von-divvision)(即,您不需要除以2)将暗示C上的电路下界?
克里姆(Klim)2012年

@Klim:否。问题在于C上的电路仍然可以使用非理性(甚至非实数)常量,您仍然不能使用“ mod 2”。
约书亚·格罗夫
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.