New answers tagged


The short answer is no these are not known, though they are certainly not out of the question. There are no direct implications known to P vs NP, and we do not even have a conjecture (let alone theorem) that such-and-such a representation is an obstruction iff $VP \neq VNP$. One can start to get at an implication to ordinary P vs NP by trying to implement ...

Top 50 recent answers are included