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 completeness notions 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.
翻译:1979年,Valiant 引入了多元金属的可定义家庭复杂VNP级的复杂VNP, 他定义了称为P-预测的减少概念, 并证明永久性多元金属和汉密尔顿周期多元金属在预测下是完整的VNP。 2001年, Mulmuley和Sohoni(以及独立B\\"urgisser)在研究多金属的代数复杂性时引入了边界复杂性概念。在这个代数机器模型中,他没有坚持精确计算,而是允许近似。这给了VNP一个表层空间的结构。在这个简短的注释中,我们研究了VNPC和汉密尔顿周期的永久多元金属在预测下是完整的。我们展示了VNP & VNP & VNPC在VNP(以及独立B、VBB、VP和VP。 VP。 VNPC的密度也证明, VNP & VNPC在复杂的分类中, 有一些不同的减缩缩概念:P-proision、M