Symmetry in Network Congestion Games: Pure Equilibria and Anarchy Cost

We study computational and coordination efficiency issues of Nash equilibria in symmetric network congestion games. We first propose a simple and natural greedy method that computes a pure Nash equilibrium with respect to traffic congestion in a network. In this algorithm each user plays only once and allocates her traffic to a path selected via a shortest path computation. We then show that this algorithm works for series-parallel networks when users are identical or when users are of varying demands but have the same best response strategy for any initial network traffic. We also give constructions where the algorithm fails if either the above condition is violated (even for series-parallel networks) or the network is not series-parallel (even for identical users). Thus, we essentially indicate the limits of the applicability of this greedy approach. We also study the price of anarchy for the objective of maximum latency. We prove that for any network of m uniformly related links and for identical users, the price of anarchy is ${\it \Theta}({\frac{{\rm log} m}{{\rm log log} m}}$).

[1]  Paul G. Spirakis,et al.  The price of selfish routing , 2001, STOC '01.

[2]  Paul G. Spirakis,et al.  The structure and complexity of Nash equilibria for a selfish routing game , 2002, Theor. Comput. Sci..

[3]  Paul G. Spirakis,et al.  Selfish unsplittable flows , 2005, Theor. Comput. Sci..

[4]  R. Duffin Topology of series-parallel networks , 1965 .

[5]  Ronald L. Graham,et al.  Bounds on Multiprocessing Timing Anomalies , 1969, SIAM Journal of Applied Mathematics.

[6]  José R. Correa,et al.  Sloan School of Management Working Paper 4447-03 November 2003 Computational Complexity , Fairness , and the Price of Anarchy of the Maximum Latency Problem , 2003 .

[7]  Yossi Azar,et al.  The Price of Routing Unsplittable Flow , 2005, STOC '05.

[8]  Marios Mavronicolas,et al.  A new model for selfish routing , 2004, Theor. Comput. Sci..

[9]  Tim Roughgarden The maximum latency of selfish routing , 2004, SODA '04.

[10]  Elias Koutsoupias,et al.  The price of anarchy of finite congestion games , 2005, STOC '05.

[11]  W. Hoeffding Probability Inequalities for sums of Bounded Random Variables , 1963 .

[12]  Paul G. Spirakis,et al.  Approximate Equilibria and Ball Fusion , 2003, Theory of Computing Systems.

[13]  Marios Mavronicolas,et al.  Nash Equilibria in Discrete Routing Games with Convex Latency Functions , 2004, ICALP.

[14]  Mokhtar S. Bazaraa,et al.  Nonlinear Programming: Theory and Algorithms , 1993 .

[15]  Ariel Orda,et al.  Atomic Resource Sharing in Noncooperative Networks , 1997, Proceedings of INFOCOM '97.

[16]  Berthold Vöcking,et al.  Tight bounds for worst-case equilibria , 2002, SODA '02.

[17]  Tim Roughgarden,et al.  How bad is selfish routing? , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[18]  Marios Mavronicolas,et al.  Computing Nash Equilibria for Scheduling on Restricted Parallel Links , 2004, STOC '04.

[19]  Tim Roughgarden,et al.  The price of anarchy is independent of the network topology , 2002, STOC '02.

[20]  Christos H. Papadimitriou,et al.  The complexity of pure Nash equilibria , 2004, STOC '04.

[21]  R. Rosenthal A class of games possessing pure-strategy Nash equilibria , 1973 .

[22]  Hector A. Rosales-Macedo Nonlinear Programming: Theory and Algorithms (2nd Edition) , 1993 .