有限域上多项式恒等式的去随机化蕴含 NEXP 的超多项式电路下界
计算复杂性
2013-11-12 v1
摘要
我们证明了在任意有限域上去随机化多项式恒等式测试意味着 NEXP 不具有多项式大小的布尔电路。换言之，对于任意大小为 的有限域 F(q)，，其中 是 F(q) 上的多项式恒等式测试问题，NSUBEXP 是非确定性次指数时间语言类。我们的结果与 Kabanets 和 Impagliazzo 现有的定理形成对比，后者指出在整数环 Z 上去随机化多项式恒等式测试意味着 NEXP 具有多项式大小的布尔电路，或者 Z 上的积和式不具有多项式大小的算术电路。
引用
@article{arxiv.1311.2358,
title = {Derandomizing Polynomial Identity over Finite Fields Implies Super-Polynomial Circuit Lower Bounds for NEXP},
author = {Bin Fu},
journal= {arXiv preprint arXiv:1311.2358},
year = {2013}
}