论文标题
多项式时间确定性身份测试$σ^{[3]}πσπ^{[2]} $通过Edelstein-kelly类型定理的二次多项式定理的电路
Polynomial time deterministic identity testingalgorithm for $Σ^{[3]}ΠΣΠ^{[2]}$ circuits via Edelstein-Kelly type theorem for quadratic polynomials
论文作者
论文摘要
在这项工作中，我们通过证明Edelstein定理和Kelly的类似物来解决Beecken，Mitmann和Saxena [BMS13]和Gupta [GUP14]的猜想。作为直接推论，我们获得了用于测试$σ^{[3]}πσπ^{[2]} $ Circuits的第一个确定性多项式时间黑框算法。
In this work we resolve conjectures of Beecken, Mitmann and Saxena [BMS13] and Gupta [Gup14], by proving an analog of a theorem of Edelstein and Kelly for quadratic polynomials. As immediate corollary we obtain the first deterministic polynomial time black-box algorithm for testing zeroness of $Σ^{[3]}ΠΣΠ^{[2]}$ circuits.
