Anonymous

Changes

From Theory
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.