关于模 q 论证与 Chevalley-Warning 定理的复杂性
计算复杂性
2020-07-07 v2
摘要
我们研究了搜索问题类 ,它作为 Papadimitriou '94 引入的著名类 的模- 类比。我们的第一个结果表明,该类可以用素数 的 来刻画。我们的主要结果是确立:与 Chevalley--Warning 定理相关的搜索问题的一种版本,对素数 的 是完备的。该问题是,因为它不在输入中显式涉及电路。当 时,它是 的第一个此类完备问题。最后我们讨论了 Chevalley-Warning 定理与备受研究的问题之间的联系,并综述了 的结构性质。
引用
@article{arxiv.1912.04467,
title = {On the Complexity of Modulo-q Arguments and the Chevalley-Warning Theorem},
author = {Mika Göös and Pritish Kamath and Katerina Sotiraki and Manolis Zampetakis},
journal= {arXiv preprint arXiv:1912.04467},
year = {2020}
}
备注
To appear at the Computational Complexity Conference (CCC) 2020