The price of anarchy for polynomial social cost

• Authors: Martin Gairing;Thomas Lücking;Marios Mavronicolas;Burkhard Monien
• Venue: Theoretical Computer Science
• Year: 2006

In this work, we consider an interesting variant of the well studied KP model for selfish routing on parallel links, which reflects some influence from the much older Wardrop model [J.G. Wardrop, Some theoretical aspects of road traffic research, Proc. Inst. of Civil Eng. Part II 1 (1956) 325-378]. In the new model, user traffics are still unsplittable and links are identical. Social cost is now the expectation of the sum, over all links, of latency costs; each latency cost is modeled as a certain polynomial latency cost function evaluated at the latency incurred by all users choosing the link. The resulting social cost is called polynomial social cost, or monomial social cost when the latency cost function is a monomial. All considered polynomials are of degree d, where d ≥ 2, and have non-negative coefficients. We are interested in evaluating Nash equilibria in this model, and we use the monomial price of anarchy (MPoA) and the polynomial price of anarchy (PPoA) as our evaluation measures. Through establishing some remarkable relations of these costs and measures to some classical combinatorial numbers such as the Stirling numbers of the second kind and the Bell numbers, we obtain a multitude of results: • For the special case of identical users: The fully mixed Nash equilibrium, where all probabilities are strictly positive, maximizes polynomial social cost. The MPoA is no more than Bd, the Bell number of order d. This immediately implies that the PPoA is no more than Σ1 ≤ t ≤ dBt. For the special case of two links, the MPoA is no more than 2d-2(1 + (1/n)d-1), and this bound is tight for n = 2. • The MPoA is exactly ((2d - 1)d/(d - 1)(2d - 2)d-1)((d - 1)/d)d for pure Nash equilibria. This immediately implies that the PPoA is no more than Σ2 ≤ t ≤ d ((2t - 1)t/(t - 1)(2t - 2)t-1)((t - 1)/t)t.