Sy Friedman

2014-01-10T16:39:20Z

86.177.250.165: /* Biography */ Improved grammar

The '''Price of Anarchy''' ('''PoA''') <ref name="Papadimitriou">E. Koutsoupias, C. H. Papadimitriou [http://www.cs.berkeley.edu/~christos/nash.ps ''Worst-case equilibria''], STACS 99</ref> is a concept in [[game theory]] that measures how the [[Economic_efficiency|efficiency]] of a system degrades due to selfish behavior of its agents. It is a general notion that can be extended to diverse systems and notions of efficiency. For example, consider the system of transportation of a city and many agents trying to go from some initial location to a destination. Let efficiency in this case mean the average time for an agent to reach the destination. In the 'centralized' solution, a central authority can tell each agent which path to take in order to minimize the average travel time. In the 'decentralized' version, each agent chooses its own path. The Price of Anarchy measures the ratio between average travel time in the two cases.

Usually the system is modeled as a [[Game Theory|game]] and the efficiency is some function of the outcomes (e.g. maximum delay in a network, congestion in a transportation system, social welfare in an auction, ...). Different concepts of equilibrium can be used to model the selfish behavior of the agents, among which the most common is the [[Nash equilibrium]]. Different flavors of Nash equilibrium lead to variations of the notion of Price of Anarchy as '''Pure Price of Anarchy''' (for deterministic equilibria), '''Mixed Price of Anarchy''' (for randomized equilibria), '''Bayes-Nash Price of Anarchy''' (for games with incomplete information), ... Other notions, other than Nash equilibria, lead to variations of the concept, as the '''Price of Sinking'''.<ref name="Mirrokni">M. Goemans, V. Mirrokni, A. Vetta, ''[http://people.csail.mit.edu/mirrokni/sink.ps Sink equilibria and convergence]'', FOCS 05</ref>

The term Price of Anarchy was first used by Koutsoupias and Papadimitriou,<ref name="Papadimitriou" /> but the idea of measuring inefficiency of equilibrium is older.<ref name="Dubey">P. Dubey. Inefficiency of Nash equilibria. Math. Operat. Res., 11(1):1–8, 1986</ref> The concept in its current form was designed to be the analogue of the 'approximation ratio' in an [[approximation algorithm]] or the 'competitive ratio' in an [[online algorithm]]. This is in the context of the current trend of analyzing games using algorithmic lenses ([[algorithmic game theory]]).

==Mathematical definition==
Consider a [[game]] <math>G=(N,S,u)</math>, defined by a set of players <math>N</math>, strategy sets <math>S_i</math> for each player and utilities <math>u_i: S \rightarrow \mathbb{R}</math> (where <math>S = S_1 \times ... \times S_n</math> also called set of outcomes). We can define a measure of efficiency of each outcome which we call welfare function <math>W: S \rightarrow \mathbb{R}</math>. Natural candidates include the sum of players utilities (utilitarian objective) <math>W(s) = \sum_{i \in N} u_i(s),</math> minimum utility (fairness or egalitarian objective) <math>W(s) = \min_{i \in N} u_i(s),</math> ..., or any function that is meaningful for the particular game being analyzed and is desirable to be maximized.

We can define a subset <math>E \subseteq S</math> to be the set of strategies in equilibrium (for example, the set of [[Nash equilibria]]). The Price of Anarchy is then defined as the ratio between the 'worst equilibrium' and the optimal 'centralized' solution:

<math>PoA = \frac{\max_{s \in S} W(s)}{\min_{s \in E} W(s)}</math>

Following the convention in approximation algorithms, if the function measure efficiency is, instead of a 'welfare' we want to 'maximize', a 'cost function' <math> C : S \rightarrow \mathbb{R} </math> we want to 'minimize' (delay in a network, for example) we use:

<math>PoA = \frac{\max_{s \in E} C(s)}{\min_{s \in S} C(s)}</math>

A related notion is that of the '''Price of Stability''' ('''PoS''') which measures the ratio between the 'best equilibrium' and the optimal 'centralized' solution:

<math>PoS = \frac{\max_{s \in S} W(s)}{\max_{s \in E} W(s)}</math>

or in the case of cost functions:

<math>PoS = \frac{\min_{s \in E} C(s)}{\min_{s \in S} C(s)}</math>

We know that <math>1 \leq PoS \leq PoA</math> by the definition. It is expected that the loss in efficiency due to game-theoretical constraints is somewhere between 'PoS' and 'PoA'.

== Examples ==

=== Prisoner's dilemma ===

Consider the 2x2 game called [[prisoner's dilemma]], given by the following payoff matrix:

{| class="wikitable"
|
!scope="col" style="color: #900"|Cooperate
!scope="col" style="color: #900"|Defect
|-
!scope="row" style="color: #009"|Cooperate
|1, 1
|7, 0
|-
!scope="row" style="color: #009"|Defect
|0, 7
|5, 5
|}

and let the cost function be <math>C(s_1, s_2) = u_1(s_1,s_2) + u_2(s_1,s_2).</math> Now, the minimum cost function would be when both players cooperate and the resulting cost is <math>1+1 = 2</math>, however the only [[Nash equilibrium]] occurs when both defect the cost in such a situation is <math>5 + 5 = 10,</math> so the Price of Anarchy of this game will be <math>10/2 = 5</math>.

=== Job scheduling ===

A more natural example is the one of '''job scheduling'''. There are <math>N</math> players and each of them has a job to run. They can choose one of <math>M</math> machines to run the job. The Price of Anarchy compares the situation where the selection of machines is guided/directed centrally to the situation where each player chooses the machine that will make its job run fastest.

Each machine has a speed <math>s_1,\ldots,s_M>0.</math> Each job has a weight <math>w_1,\ldots,w_N>0.</math>
A player picks a machine to run his or her job on. So, the strategies of each player are <math>A_i=\{1,2,\ldots,M\}.</math> Define the ''load'' on machine <math>j</math> to be:

:<math>L_j(a)=\frac{\sum_{i:a_i=j} w_i}{s_j}.</math>

The cost for player <math>i</math> is <math>c_i(a)=L_{a_i}(a),</math> i.e., the load of the machine they chose. We consider the egalitarian cost function <math>\mbox{MS}(a)=\max_j L_j(a)</math>, here called the ''[[makespan]].''

We consider two concepts of equilibrium: pure Nash and [[Mixed_strategy#Mixed_strategy|mixed Nash]]. It should be clear that mixed PoA ≥ pure PoA, because any pure Nash equilibrium is also a mixed Nash equilibrium (this inequality can be strict: e.g. when <math>N=2</math>, <math>w_1=w_2=1</math>, <math>M=2</math>, and <math>s_1=s_2=1</math>, the mixed strategies <math>\sigma_1=\sigma_2=(1/2,1/2)</math> achieve an average makespan of 1.5, while any pure-strategy PoA in this setting is <math>\leq 4/3</math>). First we need to argue that there exist pure Nash equilibria.

'''Claim'''. For each job scheduling game, there exists at least one pure-strategy Nash equilibrium.

'''Proof'''. We would like to take a socially optimal action profile <math>a^*</math>. This would mean simply an action profile whose makespan is minimum. However, this will not be enough. There may be several such action profiles leading to a variety of different loads distributions (all having the same maximum load). Among these, we further restrict ourselves to one that has a minimum second-largest load. Again, this results in a set of possible load distributions, and we repeat until the <math>M</math>th-largest (i.e., smallest) load, where there can only be one distribution of loads (unique up to permutation). This would also be called the ''lexicographic'' smallest sorted load vector.

We claim that this is a pure-strategy Nash equilibrium. Reasoning by contradiction, suppose that some player <math>i</math> could strictly improve by moving from machine <math>j</math> to machine <math>k</math>. This means that the increased load of machine <math>k</math> after the move is still smaller than the load of machine <math>j</math> before the move. As the load of machine <math>j</math> must decrease as a result of the move and no other machine is affected, this means that the new configuration is guaranteed to have reduced the <math>j</math>th-largest (or higher ranked) load in the distribution. This, however, violates the assumed lexicographic minimality of <math>a</math>.
''' ''Q.E.D.'' '''

'''Claim'''. For each job scheduling game, the pure PoA is at most <math>M</math>.

'''Proof'''. It is easy to upper-bound the welfare obtained at any mixed-strategy Nash equilibrium <math>\sigma</math> by

:<math>w(\sigma) \leq \frac{\sum_i{w_i}}{\max_j{s_j}}.</math>

Consider, for clarity of exposition, any pure-strategy action profile <math>a</math>: clearly

:<math>w(a) \geq \frac{\sum_i{w_i}}{\sum_j{s_j}} \geq \frac{\sum_i{w_i}}{M \cdot \max_j{s_j}}.</math>

Since the above holds for the social optimum as well, comparing the ratios <math>w(\sigma)</math> and <math>w(a)</math> proves the claim. ''' ''Q.E.D'' '''

=== Selfish Routing ===

==== Braess' paradox ====

{{Main| Braess's paradox}}

Consider a road network in which a fixed number of drivers need to move from a common source to a common destination; assume that each driver chooses its route selfishly, and that the time to traverse a road depends linearly on the number of drivers choosing that road.

We can formalize this setting as a routing problem in a directed, connected graph <math>G=(V, E)</math>, in which we want to send one unit of flow from a source node <math>s \in V</math> to a destination node <math>t \in V</math> (imagine the flow to be composed of the travel decisions of the different drivers). In particular, let the flow be a function <math>f: E \mapsto \Re</math> assigning to each edge a non-negative real number, and consider the set of linear functions <math>L = \{ l_e(f_e) = a \cdot f_e + b \; | \; e \in E, \; a \geq 0, \; b \geq 0\}</math> that map the flow traversing each edge to the latency to traverse the edge. Let's also define the social welfare of a flow <math>f</math> as <math>w(f) = \sum_e{f_e \cdot l_e(f_e)}</math>

Consider the example in the figure: if the dashed road is not available, the mixed-strategy Nash equilibrium happens when each player chooses the top route and the bottom route with the same probability: this equilibrium has [[social cost]] 1.5, and it takes 1.5 units of time to each driver to go from <math>s</math> to <math>t</math>. Hoping to improve the performance of the network, a legislator could decide to make the dashed, low-latency edge available to the drivers: in this case, the only Nash equilibrium would happen when every driver uses the new road, therefore the [[social cost]] would increase to 2 and now it would take 2 units of time to each player to go from <math>s</math> to <math>t</math>.

Hence, the uncommon result of denying access to the fastest road by central control to be beneficial to the public in some cases.

==== Generalized routing problem ====

The routing problem introduced in the Braess' paradox can be generalized to many different flows traversing the same graph at the same time.

'''Definition (Generalized flow)'''. Let <math>G=(V, E)</math>, <math>L</math> and <math>w</math> be as defined above, and suppose that we want to route the quantities <math>R = \{ r_1, r_2, \dots, r_k, \; | \; r_i > 0\}</math> through each distinct pair of nodes in <math>\Gamma = \{(s_1,t_1), (s_2,t_2), \dots, (s_k,t_k) \} \subseteq (V \times V)</math>.
A ''flow'' <math>f_{\Gamma, R}</math> is defined as an assignment <math>p \mapsto \Re</math> of a real, nonnegative number to each ''path'' <math>p</math> going from <math>s_i</math> to <math>t_i</math> <math>\in \Gamma</math>, with the constraint that

:<math>\sum_{p: \, s_i \rightarrow t_i}{f_p} = r_i \; \; \forall (s_i,t_i) \in \Gamma.</math>

The flow traversing a specific edge of <math>G</math> is defined as

:<math>f_{e,\Gamma, R}=\sum_{p: \, e \in p}{f_p}.</math>

For succinctness, we write <math>f_e</math> when <math>\Gamma,R</math> are clear from context.

'''Definition (Nash-equilibrium flow)'''. A flow <math>f_{\Gamma, R}</math> is a ''Nash-equilibrium flow'' iff <math>\forall (s_i, t_i) \in \Gamma</math> and <math>\forall p, q</math> from <math>s_i</math> to <math>t_i</math>

:<math>f_{p}>0 \Rightarrow \sum_{e \in p}{l_e(f_e)} \leq \sum_{e \in q}{l_e(f_e)}.</math>

This definition is closely related to what we said about the support of mixed-strategy Nash equilibria in normal-form games.

'''Definition (Conditional welfare of a flow)'''. Let <math>f_{\Gamma, R}</math> and <math>f_{\Gamma, R}^{*}</math> be two flows in <math>G</math> associated with the same sets <math>\Gamma</math> and <math>R</math>. In what follows, we will drop the subscript to make the notation clearer. Assume to fix the latencies induced by <math>f</math> on the graph: the ''conditional welfare'' of <math>f^{*}</math> with respect to <math>f</math> is defined as
:<math>w^{f}(f^{*}) = \sum_{e \in E}{f^{*}_e \cdot l_{e}(f_{e})}</math>

'''Fact 1'''. Given a Nash-equilibrium flow <math>f</math> and any other flow <math>f^{*}</math>, <math>w(f) = w^{f}(f) \leq w^{f}(f^{*})</math>.

'''Proof (By contradiction)'''. Assume that <math>w^{f}(f^{*}) < w^{f}(f)</math>. By definition,
:<math>\sum_{i=1}^{k} \sum_{p: s_i \rightarrow t_i} f_p^{*} \cdot \sum_{e \in p} l_e(f_e) < \sum_{i=1}^{k} \sum_{p: s_i \rightarrow t_i} f_p \cdot \sum_{e \in p} l_e(f_e)</math>.
Since <math>f</math> and <math>f^{*}</math> are associated with the same sets <math>\Gamma, R</math>, we know that

:<math>\sum_{p: s_i \rightarrow t_i}f_p = \sum_{p: s_i \rightarrow t_i} f_p^{*} = r_i \; \; \forall i.</math>

Therefore, there must be a pair <math>(s_i, t_i)</math> and two paths <math>p, q</math> from <math>s_i</math> to <math>t_i</math> such that <math>f_p^{*} > f_p</math>, <math>f_q^{*} < f_q</math>, and

:<math>\sum_{e \in p}l_e(f_e) < \sum_{e \in q}l_e(f_e).</math>

In other words, the flow <math>f^{*}</math> can achieve a lower welfare than <math>f</math> only if there are two paths from <math>s_i</math> to <math>t_i</math> having different costs, and if <math>f^{*}</math> reroutes some flow of <math>f</math> from the higher-cost path to the lower-cost path. This situation is clearly incompatible with the assumption that <math>f</math> is a Nash-equilibrium flow.
''' ''Q.E.D.'' '''

Note that Fact 1 does not assume any particular structure on the set <math>L</math>.

'''Fact 2'''. Given any two real numbers <math>x</math> and <math>y</math>, <math>x \cdot y \leq x^2 + y^{2}/4</math>.

'''Proof'''. This is another way to express the true inequality <math>(x-y/2)^2 \geq 0</math>.
''' ''Q.E.D.'' '''

'''Theorem'''. The pure PoA of any generalized routing problem <math>(G, L)</math> with linear latencies is <math>\leq 4/3</math>.

'''Proof'''. Note that this theorem is equivalent to saying that for each Nash-equilibrium flow <math>f</math>, <math>w(f) \leq (4/3) \cdot \min_{f^{*}} \{ w(f^{*}) \}</math>, where <math>f^{*}</math> is any other flow. By definition,

:<math>w^{f}(f^{*}) = \sum_{e \in E} f_e^{*}(a_e \cdot f_e + b_e)</math>

:<math>= \sum_{e}(a_{e}f_{e}f_{e}^{*}) + \sum_{e \in E}f_e^{*}b_e.</math>

By using Fact 2, we have that

:<math>w^{f}(f^{*}) \leq \sum_{e \in E} \left( a_e \cdot \left( (f_e^{*})^2 + (f_e)^{2}/4 \right) \right) + \sum_{e \in E} f_e^{*} \cdot b_e</math>

:<math>= \left( \sum_{e \in E} a_e(f_e^{*})^2 + f_e^{*}b_e \right) + \sum_{e \in E} a_{e}(f_e)^{2}/4</math>

:<math>\leq w(f^{*}) + \frac{w(f)}{4},</math>

since

:<math>(1/4) \cdot w(f) = (1/4) \cdot \sum_{e \in E}f_e(a_{e}f_{e}+b_{e})</math>

:<math>= (1/4) \cdot \sum_{e \in E}(f_{e})^2 + \underbrace{(1/4) \cdot \sum_{e \in E}f_{e}b_{e}}_{\geq 0}.</math>

We can conclude that <math>w^{f}(f^{*}) \leq w(f^{*}) + w(f)/4</math>, and prove the thesis using Fact 1.
''' ''Q.E.D.'' '''

Note that in the proof we have made extensive use of the assumption that the functions in <math>L</math> are linear. Actually, a more general fact holds.

'''Theorem'''. Given a generalized routing problem with graph <math>G</math> and polynomial latency functions of degree <math>d</math> with nonnegative coefficients, the pure PoA is <math>\leq d+1</math>.

Note that the PoA can grow with <math>d</math>. Consider the example shown in the following figure, where we assume unit flow: the Nash-equilibrium flows have social welfare 1; however, the best welfare is achieved when <math>x=1-1/{\sqrt{d+1}}</math>, in which case

:<math>w = \left( 1-\frac{1}{\sqrt{d+1}} \right)^d \cdot \left( 1-\frac{1}{\sqrt{d+1}} \right) + 1 \cdot \frac{1}{\sqrt{d+1}}</math>

:<math>=\left(\left( 1-\frac{1}{\sqrt{d+1}} \right)^{\sqrt{d+1}}\right)^\sqrt{d+1}+\frac{1}{\sqrt{d+1}}</math>

:<math>\leq e^{-\sqrt{d+1}} + \frac{1}{\sqrt{d+1}}.</math>

This quantity tends to zero when <math>d</math> tends to infinity.

==See also==
* [[Tragedy of the commons]]

==References==
<references />
* {{cite book |chapter=Introduction to the Inefficiency of Equilibria | editors=[[Noam Nisan]], [[Tim Roughgarden]], [[Eva Tardos]], and. [[Vijay Vazirani]] |title=[[Algorithmic Game Theory]] |publisher=[[Cambridge University Press]] |year=2007 |isbn=0-521-87282-0 }}
* {{cite book | authors=[[Tim Roughgarden]] |title=Selfish routing and the price of anarchy |publisher=[[MIT Press]] |year=2005 |isbn=0-262-18243-2 }}

== Further reading ==
* Fabio Cunial, Price of anarchy. [https://wiki.cc.gatech.edu/theory/index.php/Price_of_anarchy]

{{DEFAULTSORT:Price Of Anarchy}}
[[Category:Game theory]]

formulasearchengine - User contributions [en]

Sy Friedman