中文

关于模 q 论证与 Chevalley-Warning 定理的复杂性

计算复杂性 2020-07-07 v2

摘要

我们研究了搜索问题类 PPAq\mathrm{PPA}_q,它作为 Papadimitriou '94 引入的著名多项式奇偶性论证\textit{多项式奇偶性论证}PPA\mathrm{PPA} 的模-qq 类比。我们的第一个结果表明,该类可以用素数 ppPPAp\mathrm{PPA}_p 来刻画。我们的主要结果是确立:与 Chevalley--Warning 定理相关的搜索问题的一种显式\textit{显式}版本,对素数 ppPPAp\mathrm{PPA}_p 是完备的。该问题是自然的\textit{自然的},因为它不在输入中显式涉及电路。当 p3p \ge 3 时,它是 PPAp\mathrm{PPA}_p 的第一个此类完备问题。最后我们讨论了 Chevalley-Warning 定理与备受研究的短整数解\textit{短整数解}问题之间的联系,并综述了 PPAq\mathrm{PPA}_q 的结构性质。

关键词

引用

@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