Line 14:
Line 14:
== Abstract ==
== Abstract ==
−
Profound insights, obtained over the last decade, have elevated equilibrium computation to a
+
We are generally interested in the following not-well defined problem: What
−
full-fledged area within the theory of algorithms and computational complexity. It has its own
+
is a conceptually simple algorithm and what is the power and limitations
−
character which is quite distinct from the computability of optimization problems.
+
of such algorithms? In particular, what is a greedy algorithm
+
or more generally a myopic algorithm for a combinatorial optimization
+
problem? And to be even more specific,
+
motivated by the Buchbinder et al ``online greedy algorithm'' for the
+
unconstrained non-monotone
+
submodular maximization problem, what are (if any) the limitations of
+
algorithms "of this genre" for the general unconstrained problem and for
+
specific instances of the problem, such as Max-Di-Cut?
−
Using the powerful notions of complementarity and complementary pivot algorithms, traditional
+
Joint work with Norman Huang
−
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.
−
The picture is intensely beautiful! The area still has low-hanging fruit -- we will indicate where.