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