Bureaucrats, editor, Administrators
373
edits
Changes
From Theory
→Abstract
Line 21:
Line 21:
complexity classes NP, co-NP, ETR (Existential Theory of Reals) and UTR (Universal Theory of Reals),
complexity classes NP, co-NP, ETR (Existential Theory of Reals) and UTR (Universal Theory of Reals),
and new classes PPAD and FIXP, we will provide a broad overview of this theory as it stands today.
and new classes PPAD and FIXP, we will provide a broad overview of this theory as it stands today.
−The picture is intensely beautiful! The area still has low-hanging fruit -- we will indicate where
+The picture is intensely beautiful! The area still has low-hanging fruit -- we will indicate where.
