NP versus the Existential Theory of the Reals
Determine whether every problem decidable in the existential theory of the reals (exists R) can be decided in nondeterministic polynomial time, i.e., decide whether NP = exists R.
Status Open Status review date not recorded in this edition
Listed by ProofAtlas. Status qualification is attributed to ProofAtlas; no full resolution is certified here.
References
Primary source
ProofAtlas open problems; M. Schaefer, J. Cardinal, T. Miltzow, The Existential Theory of the Reals as a Complexity Class: A Compendium, arXiv:2407.18006, 2024.
Progress summary
Never refreshed
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.