10 我的问题是,为什么行列式为门为“和”和“异或”的深度3布尔电路的下界不表示算术电路的下界ZZ? 以下参数有什么问题:令CC为一个计算行列式的算术电路,然后通过取所有变量mod 2,我们将获得布尔电路计算行列式。 cc.complexity-theory circuit-complexity arithmetic-circuits — 有人 source
12 对于ZZ的算术电路,您的论点是完全正确的。相同的参数适用于QQ上的算术电路,该电路不使用任何分数a/ba/b,其中bb是偶数。 但是,如果谈论过其它环算术电路,例如作为参数不再有效:通用算术电路超过(即,没有限制以上),- [R ,代数数域,Ç,或有限域˚F q与q ≠ 2。QQRRCCFqFqq≠2q≠2 (这与在代数几何中通常被视为所谓的“混合特征”而不是特征零的原因基本相同。)ZZ ZZa∨b=¬(¬a∧¬b)a∨b=¬(¬a∧¬b) ffRRφ:R→Sφ:R→SφφffSSfSfSfSfSSSffRR — 约书亚·格罗夫(Joshua Grochow) source bb 3 bba/b∈Qa/b∈Qab−1(mod2)ab−1(mod2) 这是否意味着证明某种定理(如von-divvision)(即,您不需要除以2)将暗示C上的电路下界? — 克里姆(Klim)2012年 @Klim:否。问题在于C上的电路仍然可以使用非理性(甚至非实数)常量,您仍然不能使用“ mod 2”。 — 约书亚·格罗夫