当前位置: X-MOL 学术arXiv.cs.CC › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A note on VNP-completeness and border complexity
arXiv - CS - Computational Complexity Pub Date : 2021-02-14 , DOI: arxiv-2102.07173
Christian Ikenmeyer, Abhiroop Sanyal

In 1979 Valiant introduced the complexity class VNP of p-definable families of polynomials, he defined the reduction notion known as p-projection and he proved that the permanent polynomial and the Hamiltonian cycle polynomial are VNP-complete under p-projections. In 2001 Mulmuley and Sohoni (and independently B\"urgisser) introduced the notion of border complexity to the study of the algebraic complexity of polynomials. In this algebraic machine model, instead of insisting on exact computation, approximations are allowed. This gives VNP the structure of a topological space. In this short note we study the set VNPC of VNP-complete polynomials. We show that the complement VNP \ VNPC lies dense in VNP. Quite surprisingly, we also prove that VNPC lies dense in VNP. We prove analogous statements for the complexity classes VF, VBP, and VP. The density of VNP \ VNPC holds for several different reduction notions: p-projections, border p-projections, c-reductions, and border c-reductions. We compare the relationship of the VNP-completeness notion under these reductions and separate most of the corresponding sets. Border reduction notions were introduced by Bringmann, Ikenmeyer, and Zuiddam (JACM 2018). Our paper is the first structured study of border reduction notions.

中文翻译:

关于VNP完整性和边界复杂性的说明

1979年,Valiant引入了p可定义的多项式族的复杂度VNP,他定义了归约概念p投影,他证明了p投影下的永久多项式和哈密顿循环多项式是VNP完全的。在2001年,Mulmuley和Sohoni(以及独立的B'urgisser)将边界复杂度的概念引入多项式代数复杂度的研究中,在这种代数机器模型中,不是坚持精确的计算,而是允许近似值。在此简短的笔记中,我们研究了VNP完全多项式的集合VNPC,证明补码VNP \ VNPC在VNP中是密集的,令人惊讶的是,我们还证明了VNPC在VNP中是密集的。复杂度级别VF,VBP和VP的语句。VNP \ VNPC的密度适用于几种不同的归约概念:p投影,边界p投影,c约简和边界c约简。我们比较了这些减少下的VNP完整性概念的关系,并分离了大多数相应的集合。减少边界的概念由Bringmann,Ikenmeyer和Zuiddam提出(JACM 2018)。我们的论文是第一个结构化的边界缩减概念研究。
更新日期:2021-02-16
down
wechat
bug