Research and Advances
Systems and Networking Research highlights

Technical Perspective: Why Study the Price of Anarchy?

Posted
  1. Article
  2. Author
Read the related Research Paper

On May 16, 2012, ACM’S Special Interest Group on Algorithms and Computation Theory) (SIGACT) and the European Association for Theoretical Computer Science (EATCS) announced the recipients of the 2012 Göedel prize to be awarded for the papers:

  • "Worst-case Equilibira," by Elias Koutsoupias and Christos H. Papadimitriou,
  • "How Bad Is Selfish Routing?" by Tim Roughgarden and Éva Tardos, and
  • "Algorithmic Mechanism Design," by Noam Nisan and Amir Ronen.

This happy event will take place this month at the International Colloquium on Automata, Languages and Programming in Warwick, England. So it is most fitting that this new paper by Tim Roughgarden appears in this issue of Communications.

In 1999, Elias Koutsoupias and Christos Papadimitriou initiated the study of "How much worse off are we due to selfishness?" They compared the worst case pure Nash equilibria to the optimal solution (in terms of some target function, usually, social welfare). This ratio was later called the price of anarchy. Study of the price of anarchy gave birth to an entirely new field of study.


Roughgarden uses a technique of "smooth games" to give bounds, not only on the price of anarchy with respect to pure Nash equilibria, but also for much more general (and convincing) settings.


One of the areas where negative effects of selfish behavior were observed was in the context of Wardrop equilibria in the analysis of traffic networks (essentially, Nash equilibria where there are infinitely many infinitesimally small agents). Roughgarden and Tardos showed tight bounds on the price of anarchy for non-atomic routing with linear latency functions. The worst case example was known as the Braess paradox (D. Braess, 1968), but Roughgarden and Tardos showed that this was tight.

There are two troubling issues regarding the price of anarchy:

  • The pure Nash equilibria does not always exist. Mixed strategy (randomized) Nash equilibria are guaranteed to exist.
  • Computing the Nash equilibria is, in general, difficult. To quote Papadimitriou quoting Kamal Jain: "If your laptop can’t find it then neither can the market." So, why study the price of anarchy of a concept that may not exist in practice?

In the following paper, Roughgarden studies "smooth games" to give bounds, not only on the price of anarchy with respect to pure Nash equilibria, but also for much more general (and convincing) settings. He extends the class of games for which this technique was known to work, and extends the class of equilibria for which this technique gives good bounds.

In particular, this technique is shown to work for so-called "regret-minimization" dynamics, which are quite natural and believable as representing what really happens. The resulting bounds hold for regret-minimization dynamics, which means that they hold for so-called coarse correlated equilibria, which implies that they hold for correlated equilibria, from which it follows that they hold for mixed Nash equilibria, and thus for pure Nash equilibria, when they exist.

Another important contribution of Roughgarden’s in the following paper is so show there exist interesting families of games for which smooth analysis gives the best possible price of anarchy bounds (with respect to pure Nash equilibria, and thus with respect to all classes that include pure Nash equilibria: mixed, correlated, coarse correlated, and no-regret dynamics). For such classes of games, smoothed analysis gives the total answer, no other technique is needed.

A caveat to the complete generality of such smoothness techniques are other natural dynamics such as best response dynamics and so-called sink equilibria for which smooth analysis may be insufficient to determine the price of anarchy.

Christodoulou and Koutsoupias used similar smoothness techniques to study the (special case) of congestion games, in the context of mixed and correlated equilibria, for both the price of anarchy (STOC 2005) and for the price of stability (ESA 2005). Smoothness techniques were implicitly used in many earlier papers to price of anarchy results. Many of the previous price of anarchy results can be more easily understood by reading the following paper than by reading the original.

Back to Top

Join the Discussion (0)

Become a Member or Sign In to Post a Comment

The Latest from CACM

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved

Communications of the ACM (CACM) is now a fully Open Access publication.

By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.

Learn More