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...
Arithmetic complexity is the study of the required ressources for computing poynomials using only ar...
We study the algebraic complexity of annihilators of polynomials maps. In particular, when a polynom...
Tavenas has recently proved that any n^{O(1)}-variate and degree n polynomial in VP can be computed ...
We show that the two main reduction notions in arithmetic circuit complexity, p-projections and c-re...
One fundamental question in the context of the geometric complexity theory approach to the VP vs. VN...
The VP versus VNP question, introduced by Valiant, is probably the most important open question in a...
In Valiant developed an algebraic analogue of the theory of NP-completeness for computations of po...
AbstractValiant developed a nonuniform algebraic analogue of the theory of NP-completeness for compu...
In 1979 Valiant showed that the complexity class VP_e of families with polynomially bounded formula ...
In 1979 Valiant showed that the complexity class VPe of families with polynomially bounded formula s...
A dichotomy theorem for counting problems due to Creignou and Hermann states that or any nite set S ...
Assuming that the Permanent polynomial requires algebraic circuits of exponential size, we show that...
Nisan showed in 1991 that the width of a smallest noncommutative single-(source,sink) algebraic bran...
Valiant defines algebraic analogues of the classes P and NP. We characterize the classes VP and VQP,...
Nisan showed in 1991 that the width of a smallest noncommutative single-(source,sink) algebraic bran...
Arithmetic complexity is the study of the required ressources for computing poynomials using only ar...
We study the algebraic complexity of annihilators of polynomials maps. In particular, when a polynom...
Tavenas has recently proved that any n^{O(1)}-variate and degree n polynomial in VP can be computed ...
We show that the two main reduction notions in arithmetic circuit complexity, p-projections and c-re...
One fundamental question in the context of the geometric complexity theory approach to the VP vs. VN...
The VP versus VNP question, introduced by Valiant, is probably the most important open question in a...
In Valiant developed an algebraic analogue of the theory of NP-completeness for computations of po...
AbstractValiant developed a nonuniform algebraic analogue of the theory of NP-completeness for compu...
In 1979 Valiant showed that the complexity class VP_e of families with polynomially bounded formula ...
In 1979 Valiant showed that the complexity class VPe of families with polynomially bounded formula s...
A dichotomy theorem for counting problems due to Creignou and Hermann states that or any nite set S ...
Assuming that the Permanent polynomial requires algebraic circuits of exponential size, we show that...
Nisan showed in 1991 that the width of a smallest noncommutative single-(source,sink) algebraic bran...
Valiant defines algebraic analogues of the classes P and NP. We characterize the classes VP and VQP,...
Nisan showed in 1991 that the width of a smallest noncommutative single-(source,sink) algebraic bran...
Arithmetic complexity is the study of the required ressources for computing poynomials using only ar...
We study the algebraic complexity of annihilators of polynomials maps. In particular, when a polynom...
Tavenas has recently proved that any n^{O(1)}-variate and degree n polynomial in VP can be computed ...