On the Impact of Combinatorial Structure on Congestion...
Transcript of On the Impact of Combinatorial Structure on Congestion...
![Page 1: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/1.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
On the Impact of Combinatorial Structure onCongestion Games
Heiko Roglin
Department of Computer Science
joint work with Heiner Ackermann and Berthold Vocking
MPISeptember 25, 2006
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 2: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/2.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Definition
Congestion game Γ = (N ,R, (Σi )i∈N , (dr )r∈R)
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 3: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/3.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Definition
Congestion game Γ = (N ,R, (Σi )i∈N , (dr )r∈R)
Main Ingredients
set of playersN = 1, . . . , n
set of resourcesR = 1, . . . ,me. g., R = set of edges
Further Ingredients
set of strategies∀i ∈ N : Σi ⊆ 2R
e. g.,Σi = P ⊆ R | P path si → tidelay functions∀r ∈ R : dr : N → NEvery player wants to minimizehis delay.
Every player is faced withoptimization problem withvarying delays.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 4: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/4.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Definition
Congestion game Γ = (N ,R, (Σi )i∈N , (dr )r∈R)
Main Ingredients
set of playersN = 1, . . . , nset of resourcesR = 1, . . . ,m
e. g., R = set of edges
Further Ingredients
set of strategies∀i ∈ N : Σi ⊆ 2R
e. g.,Σi = P ⊆ R | P path si → tidelay functions∀r ∈ R : dr : N → NEvery player wants to minimizehis delay.
Every player is faced withoptimization problem withvarying delays.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 5: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/5.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Definition
Congestion game Γ = (N ,R, (Σi )i∈N , (dr )r∈R)
Main Ingredients
set of playersN = 1, . . . , nset of resourcesR = 1, . . . ,me. g., R = set of edges
s1
s2
t2
t1
Further Ingredients
set of strategies∀i ∈ N : Σi ⊆ 2R
e. g.,Σi = P ⊆ R | P path si → tidelay functions∀r ∈ R : dr : N → NEvery player wants to minimizehis delay.
Every player is faced withoptimization problem withvarying delays.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 6: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/6.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Definition
Congestion game Γ = (N ,R, (Σi )i∈N , (dr )r∈R)
Main Ingredients
set of playersN = 1, . . . , nset of resourcesR = 1, . . . ,me. g., R = set of edges
s1
s2
t2
t1
Further Ingredients
set of strategies∀i ∈ N : Σi ⊆ 2R
e. g.,Σi = P ⊆ R | P path si → tidelay functions∀r ∈ R : dr : N → NEvery player wants to minimizehis delay.
Every player is faced withoptimization problem withvarying delays.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 7: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/7.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Definition
Congestion game Γ = (N ,R, (Σi )i∈N , (dr )r∈R)
Main Ingredients
set of playersN = 1, . . . , nset of resourcesR = 1, . . . ,me. g., R = set of edges
s1
s2
t2
t1
Further Ingredients
set of strategies∀i ∈ N : Σi ⊆ 2R
e. g.,Σi = P ⊆ R | P path si → ti
delay functions∀r ∈ R : dr : N → NEvery player wants to minimizehis delay.
Every player is faced withoptimization problem withvarying delays.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 8: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/8.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Definition
Congestion game Γ = (N ,R, (Σi )i∈N , (dr )r∈R)
Main Ingredients
set of playersN = 1, . . . , nset of resourcesR = 1, . . . ,me. g., R = set of edges
s1
s2
t2
t1
1/2
2/5
1/3
2/6
3/4
Further Ingredients
set of strategies∀i ∈ N : Σi ⊆ 2R
e. g.,Σi = P ⊆ R | P path si → tidelay functions∀r ∈ R : dr : N → NEvery player wants to minimizehis delay.
Every player is faced withoptimization problem withvarying delays.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 9: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/9.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Definition
Congestion game Γ = (N ,R, (Σi )i∈N , (dr )r∈R)
Main Ingredients
set of playersN = 1, . . . , nset of resourcesR = 1, . . . ,me. g., R = set of edges
s1
s2
t2
t1
1/2
2/5
1/3
2/6
3/4
Further Ingredients
set of strategies∀i ∈ N : Σi ⊆ 2R
e. g.,Σi = P ⊆ R | P path si → tidelay functions∀r ∈ R : dr : N → NEvery player wants to minimizehis delay.
Every player is faced withoptimization problem withvarying delays.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 10: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/10.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Example
N = 1, 2, R = E , n = 2, m = 5Σ1 = set of spanning trees on blue verticesΣ2 = set of spanning trees on red vertices
1
6
1/5
3
4
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 11: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/11.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Example
N = 1, 2, R = E , n = 2, m = 5Σ1 = set of spanning trees on blue verticesΣ2 = set of spanning trees on red vertices
1
6
1/5
3
4
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 12: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/12.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Example
N = 1, 2, R = E , n = 2, m = 5Σ1 = set of spanning trees on blue verticesΣ2 = set of spanning trees on red vertices
Delay: 7Opt: 2
1
6
1/5
3
4Delay: 7Opt: 4
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 13: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/13.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Example
N = 1, 2, R = E , n = 2, m = 5Σ1 = set of spanning trees on blue verticesΣ2 = set of spanning trees on red vertices
Delay: 7Opt: 6
1
6
1/5
3
4Delay: 4Opt: 4
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 14: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/14.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Example
N = 1, 2, R = E , n = 2, m = 5Σ1 = set of spanning trees on blue verticesΣ2 = set of spanning trees on red vertices
Delay: 6Opt: 6
1
6
1/5
3
4Delay: 8Opt: 7
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 15: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/15.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Example
N = 1, 2, R = E , n = 2, m = 5Σ1 = set of spanning trees on blue verticesΣ2 = set of spanning trees on red vertices
Delay: 2Opt: 2
1
6
1/5
3
4Delay: 7Opt: 7
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 16: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/16.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Congestion Games – Example
N = 1, 2, R = E , n = 2, m = 5Σ1 = set of spanning trees on blue verticesΣ2 = set of spanning trees on red vertices
Delay: 2Opt: 2
1
6
1/5
3
4Delay: 7Opt: 7
A state S ∈ Σ1 × · · · × Σn is called pure Nash equilibrium if noplayer can improve his delay unilaterally.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 17: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/17.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Questions
Rosenthal (1973)
Every congestion game possess a pure Nash equilibrium.
Every better response sequence terminates after apseudopolynomial number of steps.
Questions
How many best responses are needed to find an equilibrium?
What is the complexity of computing equilibria?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 18: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/18.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Questions
Rosenthal (1973)
Every congestion game possess a pure Nash equilibrium.
Every better response sequence terminates after apseudopolynomial number of steps.
Questions
How many best responses are needed to find an equilibrium?
What is the complexity of computing equilibria?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 19: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/19.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
How many best responses are needed?
1 How many best responses are needed?
2 What is the complexity of finding equilibria?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 20: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/20.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Known Results
Fabrikant, Papadimitriou, Talwar (STOC 2004)
There exist network congestion games with an initial state fromwhich all better response sequences have exponential length.
Ieong, McGrew, Nudelman, Shoham, Sun (AAAI 2005)
In singleton games, all best response sequences have length atmost n2m.
Question
What about Spanning Tree congestion games?Is there a characterization which congestion games converge inpolynomial time?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 21: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/21.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Known Results
Fabrikant, Papadimitriou, Talwar (STOC 2004)
There exist network congestion games with an initial state fromwhich all better response sequences have exponential length.
Ieong, McGrew, Nudelman, Shoham, Sun (AAAI 2005)
In singleton games, all best response sequences have length atmost n2m.
Question
What about Spanning Tree congestion games?Is there a characterization which congestion games converge inpolynomial time?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 22: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/22.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Known Results
Fabrikant, Papadimitriou, Talwar (STOC 2004)
There exist network congestion games with an initial state fromwhich all better response sequences have exponential length.
Ieong, McGrew, Nudelman, Shoham, Sun (AAAI 2005)
In singleton games, all best response sequences have length atmost n2m.
Question
What about Spanning Tree congestion games?Is there a characterization which congestion games converge inpolynomial time?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 23: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/23.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Rosenthal’s Potential Function
Properties
Φ: Σ1 × · · · × Σn → Z∀S : 0 ≤ φ(S) ≤ m · n · dmax.
If one player decreases his delay by x , then also Φ decreasesby x .
Corollary
pure Nash equilibria = states in which no player can decreasethe potential Φ
After at most m · n · dmax better responses a pure Nashequilibrium is reached.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 24: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/24.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Rosenthal’s Potential Function
Properties
Φ: Σ1 × · · · × Σn → Z∀S : 0 ≤ φ(S) ≤ m · n · dmax.
If one player decreases his delay by x , then also Φ decreasesby x .
Corollary
pure Nash equilibria = states in which no player can decreasethe potential Φ
After at most m · n · dmax better responses a pure Nashequilibrium is reached.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 25: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/25.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Singleton Games
Singleton Games
Idea: Reduce delays withoutchanging the game!
equivalent delays d r (x) ≤ n ·m
r r′
dr(nr) > dr′(nr′ + 1)
2/100/120/150 1/5/10/15
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 26: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/26.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Singleton Games
Singleton Games
Idea: Reduce delays withoutchanging the game!
equivalent delays d r (x) ≤ n ·m
∀r , r ′ ∈ R, nr , nr ′ :
dr (nr ) > dr ′(nr ′ + 1)
⇐⇒ d r (nr ) > d r ′(nr ′ + 1) r r′
dr(nr) > dr′(nr′ + 1)
2/100/120/150 1/5/10/15
2/6/7/8 1/3/4/5
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 27: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/27.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Singleton Games
Singleton Games
Idea: Reduce delays withoutchanging the game!
equivalent delays d r (x) ≤ n ·m
∀r , r ′ ∈ R, nr , nr ′ :
dr (nr ) > dr ′(nr ′ + 1)
⇐⇒ d r (nr ) > d r ′(nr ′ + 1) r r′
dr(nr) > dr′(nr′ + 1)
2/100/120/150 1/5/10/15
2/6/7/8 1/3/4/5
Network Congestion Games
s t
r1 r2
r′1 r′
2 dr1(nr1) + dr2(nr2) > dr ′1(nr ′
1+ 1) + dr ′
2(nr ′
2+ 1)
s t
r1 r2
r′1 r′
2
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 28: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/28.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
What about Spanning Tree Congestion Games?
Theorem
In spanning tree congestion games all best response sequenceshave length at most n3 ·m.
In matroid congestion games all best response sequences havelength at most n2 ·m · rank.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 29: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/29.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
What about Spanning Tree Congestion Games?
Theorem
In spanning tree congestion games all best response sequenceshave length at most n3 ·m.
In matroid congestion games all best response sequences havelength at most n2 ·m · rank.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 30: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/30.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Proof
Lemma
weighted graph: G = (V ,E ,w)
Let T0 be a ST, let TOPT be a MST: w(T0) ≥ w(TOPT).
There exists sequence T0, . . . ,Tl = TOPT of STs withw(T0) ≥ w(T1) ≥ . . . ≥ w(Tl) with |Ti \ Ti−1| = 1.
3
5
3
2
4
3
1
w(T0) = 13
3
5
3
2
4
3
1
w(T3) = 9
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 31: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/31.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Proof
Lemma
weighted graph: G = (V ,E ,w)
Let T0 be a ST, let TOPT be a MST: w(T0) ≥ w(TOPT).
There exists sequence T0, . . . ,Tl = TOPT of STs withw(T0) ≥ w(T1) ≥ . . . ≥ w(Tl) with |Ti \ Ti−1| = 1.
3
5
3
2
4
3
1
w(T0) = 13
3
5
3
2
4
3
1
w(T1) = 11
3
5
3
2
4
3
1
w(T3) = 9
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 32: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/32.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Proof
Lemma
weighted graph: G = (V ,E ,w)
Let T0 be a ST, let TOPT be a MST: w(T0) ≥ w(TOPT).
There exists sequence T0, . . . ,Tl = TOPT of STs withw(T0) ≥ w(T1) ≥ . . . ≥ w(Tl) with |Ti \ Ti−1| = 1.
3
5
3
2
4
3
1
w(T0) = 13
3
5
3
2
4
3
1
w(T1) = 11
3
5
3
2
4
3
1
w(T2) = 9
3
5
3
2
4
3
1
w(T3) = 9
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 33: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/33.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Fast Convergence beyond Matroids
Theorem:
Let I be any inclusion-free non-matroid set system. Then, forevery n, there exists an n-player congestion game with thefollowing properties.
each Σi is isomorphic to I,
the delay functions are non-negative and non-decreasing, and
there is a best response sequence of length 2Ω(n).
Conclusion: The matroid property is the maximal property on theindividual players’ strategy spaces that guarantees polynomialconvergence.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 34: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/34.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Fast Convergence beyond Matroids
Theorem:
Let I be any inclusion-free non-matroid set system. Then, forevery n, there exists an n-player congestion game with thefollowing properties.
each Σi is isomorphic to I,
the delay functions are non-negative and non-decreasing, and
there is a best response sequence of length 2Ω(n).
Conclusion: The matroid property is the maximal property on theindividual players’ strategy spaces that guarantees polynomialconvergence.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 35: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/35.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Proof Idea for Exponential Convergence
Because of the non-matroid property, one can show:
1-2-exchange property
There exist three resources a, b, c with the property that, if thedelays of the other resources are chosen appropriately, an optimalsolution of I contains
d(a) < d(b) + d(c) ⇒ a ∈ OPT and b, c /∈ OPT,
d(a) > d(b) + d(c) ⇒ a /∈ OPT and b, c ∈ OPT.
Using this property one can interweave the strategy spaces in theform of a counter that yields a best response sequence of length2Ω(n).
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 36: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/36.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Proof Idea for Exponential Convergence
Because of the non-matroid property, one can show:
1-2-exchange property
There exist three resources a, b, c with the property that, if thedelays of the other resources are chosen appropriately, an optimalsolution of I contains
d(a) < d(b) + d(c) ⇒ a ∈ OPT and b, c /∈ OPT,
d(a) > d(b) + d(c) ⇒ a /∈ OPT and b, c ∈ OPT.
Using this property one can interweave the strategy spaces in theform of a counter that yields a best response sequence of length2Ω(n).
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 37: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/37.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
What is the complexity of finding equilibria?
1 How many best responses are needed?
2 What is the complexity of finding equilibria?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 38: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/38.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
PLS
Local Search Problem Π
set of instances IΠ
for I ∈ IΠ: set of feasible solutions F(I )
for I ∈ IΠ: objective function c : F(I ) → Zfor I ∈ IΠ and S ∈ F(I ): neighborhood N (S , I ) ⊆ F(I )
PLS
Π is in PLS if polynomial time algorithms exists for
finding initial feasible solution S ∈ F(I ),
computing the objective value c(S),
finding a better solution in the neighborhood N (S , I ) if S isnot locally optimal.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 39: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/39.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
PLS
Local Search Problem Π
set of instances IΠ
for I ∈ IΠ: set of feasible solutions F(I )
for I ∈ IΠ: objective function c : F(I ) → Zfor I ∈ IΠ and S ∈ F(I ): neighborhood N (S , I ) ⊆ F(I )
PLS
Π is in PLS if polynomial time algorithms exists for
finding initial feasible solution S ∈ F(I ),
computing the objective value c(S),
finding a better solution in the neighborhood N (S , I ) if S isnot locally optimal.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 40: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/40.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
PLS-reductions
PLS-reduction
Polynomial-time computablefunction f : IΠ1 → IΠ2 .
Polynomial-time computablefunction (S2 ∈ F(f (I )))g : S2 7→ S1 ∈ F(I )
S2 locally optimal ⇒ g(S2)locally optimal.
Π1
IΠ1 IΠ2
Π2
f
F(I) F(f (I))g
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 41: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/41.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
PLS-reductions
PLS-reduction
Polynomial-time computablefunction f : IΠ1 → IΠ2 .
Polynomial-time computablefunction (S2 ∈ F(f (I )))g : S2 7→ S1 ∈ F(I )
S2 locally optimal ⇒ g(S2)locally optimal.
Π1
IΠ1 IΠ2
Π2
f
F(I) F(f (I))g
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 42: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/42.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
MaxCut
Schaffer, Yannakakis (1991)
Finding a locally optimal cut is PLS-complete.
Congestion Games are in PLS
objective function = Rosenthal’s potential function
S ′ ∈ N (S) if S ′ is obtained from S by better response ofsome player
Fabrikant, Papadimitriou, Talwar (STOC 2004)
Finding a pure Nash equilibrium in network congestion games isPLS-complete.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 43: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/43.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
MaxCut
Schaffer, Yannakakis (1991)
Finding a locally optimal cut is PLS-complete.
Congestion Games are in PLS
objective function = Rosenthal’s potential function
S ′ ∈ N (S) if S ′ is obtained from S by better response ofsome player
Fabrikant, Papadimitriou, Talwar (STOC 2004)
Finding a pure Nash equilibrium in network congestion games isPLS-complete.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 44: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/44.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
MaxCut
Schaffer, Yannakakis (1991)
Finding a locally optimal cut is PLS-complete.
Congestion Games are in PLS
objective function = Rosenthal’s potential function
S ′ ∈ N (S) if S ′ is obtained from S by better response ofsome player
Fabrikant, Papadimitriou, Talwar (STOC 2004)
Finding a pure Nash equilibrium in network congestion games isPLS-complete.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 45: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/45.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Threshold Congestion Games
Threshold Congestion Games
R = Rin∪Rout. Every player i has two strategies:
in: an arbitrary subset Si ⊆ Rin
out: ri for a unique resource ri ∈ Rout with fixed delay, theso-called threshold ti
2-threshold games
Each resource r ∈ Rin is contained in the strategies of exactly twoplayers.
Theorem
2-threshold congestion games are PLS-complete.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 46: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/46.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Threshold Congestion Games
Threshold Congestion Games
R = Rin∪Rout. Every player i has two strategies:
in: an arbitrary subset Si ⊆ Rin
out: ri for a unique resource ri ∈ Rout with fixed delay, theso-called threshold ti
2-threshold games
Each resource r ∈ Rin is contained in the strategies of exactly twoplayers.
Theorem
2-threshold congestion games are PLS-complete.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 47: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/47.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Threshold Congestion Games
Threshold Congestion Games
R = Rin∪Rout. Every player i has two strategies:
in: an arbitrary subset Si ⊆ Rin
out: ri for a unique resource ri ∈ Rout with fixed delay, theso-called threshold ti
2-threshold games
Each resource r ∈ Rin is contained in the strategies of exactly twoplayers.
Theorem
2-threshold congestion games are PLS-complete.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 48: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/48.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Reduction
s1
s2
s3
s4
t1 t2 t3 t4
r2,3 ∈ S2 ∪ S3
Theorem
Network congestion games are PLS-complete for (un)directednetworks with linear delay functions.
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 49: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/49.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Conclusions and Open Questions
1-2-exchanges ⇒ exponentially long best response sequences
1-k-exchanges ⇒ PLS-completeness
Threshold Congestion Games are a good starting point forPLS-reductions.
Open Questions
Are 1-2-exchanges sufficient to construct a state from whichevery best response sequence is exponentially long?
How large has k to be in order to prove PLS-completeness?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 50: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/50.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Conclusions and Open Questions
1-2-exchanges ⇒ exponentially long best response sequences
1-k-exchanges ⇒ PLS-completeness
Threshold Congestion Games are a good starting point forPLS-reductions.
Open Questions
Are 1-2-exchanges sufficient to construct a state from whichevery best response sequence is exponentially long?
How large has k to be in order to prove PLS-completeness?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games
![Page 51: On the Impact of Combinatorial Structure on Congestion Gamescourses.cs.washington.edu/.../07sp/CongestionGames.pdf · On the Impact of Combinatorial Structure on Congestion Games](https://reader035.fdocuments.us/reader035/viewer/2022070908/5f8ad894635fb77f1071b5b4/html5/thumbnails/51.jpg)
How many best responses are needed?What is the complexity of finding equilibria?
Thank you!
Questions?
Heiko Roglin On the Impact of Combinatorial Structure on Congestion Games