n jogadores vão formar um grafo com n vértices estratégia...

80
Jogos de formação de redes Jogo de conexão local: n jogadores vão formar um grafo com n vértices estratégia de cada jogador: vértices com quem se liga

Upload: others

Post on 14-Feb-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Jogos de formação de redes

Jogo de conexão local:

n jogadores vão formar um grafo com n vértices

estratégia de cada jogador: vértices com quem se liga

Page 2: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Jogos de formação de redes

Jogo de conexão local:

n jogadores vão formar um grafo com n vértices

estratégia de cada jogador: vértices com quem se liga

Dadas as escolhas dos jogadores, temos um grafo G .

Qual é o custo de G para cada jogador?

Page 3: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Jogos de formação de redes

Jogo de conexão local:

n jogadores vão formar um grafo com n vértices

estratégia de cada jogador: vértices com quem se liga

Dadas as escolhas dos jogadores, temos um grafo G .

Qual é o custo de G para cada jogador?

Custo por ligação: α > 0

Custo por distâncias:soma da distância em G a cada outro vértice

cv (G ) = α |Nv |+∑

u∈[n]

dG (u, v),

onde Nv é o conjunto de vértices a quem v se ligou.

Page 4: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Exemplo

Page 5: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Exemplo

Para α = 2, temos os seguintes custos:

vértice verde: 4 + (1 + 1 + 1 + 2 + 3) = 4 + 8 = 12

vértice azul: 4 + (1 + 1 + 1 + 1 + 2) = 4 + 6 = 10

vértice marrom: 2 + (1 + 2 + 2 + 3 + 3) = 2 + 11 = 13

Page 6: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Exemplo

Para α = 2, temos os seguintes custos:

vértice verde: 4 + (1 + 1 + 1 + 2 + 3) = 4 + 8 = 12

vértice azul: 4 + (1 + 1 + 1 + 1 + 2) = 4 + 6 = 10

vértice marrom: 2 + (1 + 2 + 2 + 3 + 3) = 2 + 11 = 13

É um equilíbrio?

Page 7: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Exemplo

Para α = 2, temos os seguintes custos:

vértice verde: 4 + (1 + 1 + 1 + 2 + 3) = 4 + 8 = 12

vértice azul: 4 + (1 + 1 + 1 + 1 + 2) = 4 + 6 = 10

vértice marrom: 2 + (1 + 2 + 2 + 3 + 3) = 2 + 11 = 13

É um equilíbrio?Não... o verde por exemplo pode melhorar...

Page 8: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Preço da anarquia

Para α < 1, o grafo completo é o único equilíbrio,e é solução ótima: o preço da anarquia é 1 para α < 1.

Suponha então que α ≥ 1.

Fabrikant, Luthra, Maneva, e Papadimitriou (2003)

Lema: Se um grafo é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Page 9: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Preço da anarquia

Para α < 1, o grafo completo é o único equilíbrio,e é solução ótima: o preço da anarquia é 1 para α < 1.

Suponha então que α ≥ 1.

Fabrikant, Luthra, Maneva, e Papadimitriou (2003)

Lema: Se um grafo é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Diâmetro: distância máxima entre dois vértices do grafo.

Page 10: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Preço da anarquia

Para α < 1, o grafo completo é o único equilíbrio,e é solução ótima: o preço da anarquia é 1 para α < 1.

Suponha então que α ≥ 1.

Fabrikant, Luthra, Maneva, e Papadimitriou (2003)

Lema: Se um grafo é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Diâmetro: distância máxima entre dois vértices do grafo.

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Page 11: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Teorema vindo do Lema

Lema: Se um grafo é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Page 12: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Teorema vindo do Lema

Lema: Se um grafo é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Prova: Pelo Lema, basta provar a primeira parte:

Page 13: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Teorema vindo do Lema

Lema: Se um grafo é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Prova: Pelo Lema, basta provar a primeira parte:que o diâmetro de um equilíbrio é no máximo 2

√α.

Page 14: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Diâmetro de um equilíbrio

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Prova: Sejam u e v tq d(u, v) > 2k para algum k ≥ 1.

u

v

P

Page 15: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Diâmetro de um equilíbrio

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Prova: Sejam u e v tq d(u, v) > 2k para algum k ≥ 1.

u

v

P

Se u passar a pagar pela aresta uv ,gasta mais α e economiza nas distâncias

> (2k − 1) + (2k − 3) + · · ·+ 3 + 1 = k2.

Page 16: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Diâmetro de um equilíbrio

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Prova: Sejam u e v tq d(u, v) > 2k para algum k ≥ 1.

u

v

P

Se u passar a pagar pela aresta uv ,gasta mais α e economiza nas distâncias

> (2k − 1) + (2k − 3) + · · ·+ 3 + 1 = k2.

Se k ≥ √α, não é um equilíbrio, pois vale a pena para u.

Page 17: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Page 18: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2),pois o grafo tem que ser conexo (m ≥ n− 1).

Page 19: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2),pois o grafo tem que ser conexo (m ≥ n− 1).

Vamos mostrar que o custo social de G é O(dα n + dn2).

Page 20: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2),pois o grafo tem que ser conexo (m ≥ n− 1).

Vamos mostrar que o custo social de G é O(dα n + dn2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Page 21: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2),pois o grafo tem que ser conexo (m ≥ n− 1).

Vamos mostrar que o custo social de G é O(dα n + dn2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Resta analisar o custo das arestas de G .

Page 22: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Page 23: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Quebramos o custo das arestas em duas partes:

arestas de corte

arestas não de corte

Page 24: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Quebramos o custo das arestas em duas partes:

arestas de corte

arestas não de corte

No máximo n − 1 arestas de corte.

Page 25: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

O Lema

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Quebramos o custo das arestas em duas partes:

arestas de corte

arestas não de corte

No máximo n − 1 arestas de corte.

Então arestas de corte custam menos que α n.

Page 26: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Arestas de corte custam menos que α n.

Falta contabilizar o custo das arestas não de corte.

Page 27: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Arestas de corte custam menos que α n.

Falta contabilizar o custo das arestas não de corte.

Vamos mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Page 28: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Ótimo tem custo Ω(α n + n2).

Se G tem diâmetro d , o custo das distâncias é O(dn2).

Arestas de corte custam menos que α n.

Falta contabilizar o custo das arestas não de corte.

Vamos mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Disso segue que custo total destas arestas é O(n2d),e a prova do lema termina.

Page 29: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corteLema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Falta mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Page 30: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corteLema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Falta mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

u

v

eVe

Page 31: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corteLema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Falta mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

u

v

eVe

Note que Ve e disjunto de um Vf para f 6= e.

Page 32: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corteLema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Falta mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

u

v

eVe

Note que Ve e disjunto de um Vf para f 6= e.

Ideia da prova: mostrar uma delimitação inferior em |Ve |,que implica que não podem haver muitos tais e’s incidentes a u.

Page 33: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Falta mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

u

v

eVe

Page 34: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Falta mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

u

v

eVe

Ao remover e, a distância de u aos vértices de Ve

(e só a eles) aumenta.

Page 35: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Lema: Se um grafo G é um equilíbro com diâmetro d ,então seu custo social é O(d) vezes o custo social ótimo.

Prova: Falta mostrar que:cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

u

v

eVe

Ao remover e, a distância de u aos vértices de Ve

(e só a eles) aumenta. Aumenta de quanto?

Page 36: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Seja C um circuito de comprimento mínimo contendo e.

u

vC

e

w

Seja w o vértice mais distante de u em C .

Page 37: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Seja C um circuito de comprimento mínimo contendo e.

u

vC

e

w

Seja w o vértice mais distante de u em C .

Note que o trecho Cuw é um caminho mínimo em G ,logo tem comprimento no máximo d .

Page 38: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Seja C um circuito de comprimento mínimo contendo e.

u

vC

e

w

Seja w o vértice mais distante de u em C .

Note que o trecho Cuw é um caminho mínimo em G ,logo tem comprimento no máximo d .

Analogamente, o trecho Cvw é um caminho mínimo em G ,logo tem comprimento no máximo d .

Page 39: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Seja C um circuito de comprimento mínimo contendo e.

u

vC

e

w

Seja w o vértice mais distante de u em C .

Note que o trecho Cuw é um caminho mínimo em G ,logo tem comprimento no máximo d .

Analogamente, o trecho Cvw é um caminho mínimo em G ,logo tem comprimento no máximo d .

Assim sendo d(u, v) após a remoção de e é no máximo 2d .

Page 40: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Falta: cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

Ao remover e, a distância de u aos vértices de Ve

(e só a eles) aumenta. Aumenta de quanto?

Distância de u a v sobe para no máximo 2d .

Page 41: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Falta: cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

Ao remover e, a distância de u aos vértices de Ve

(e só a eles) aumenta. Aumenta de quanto?

Distância de u a v sobe para no máximo 2d .

Então custo de u desce de α, e sobe de no máximo 2d |Ve |.Ou seja, 2d |Ve | ≥ α e |Ve | ≥ α/2d .

Page 42: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Falta: cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

Ao remover e, a distância de u aos vértices de Ve

(e só a eles) aumenta. Aumenta de quanto?

Distância de u a v sobe para no máximo 2d .

Então custo de u desce de α, e sobe de no máximo 2d |Ve |.Ou seja, 2d |Ve | ≥ α e |Ve | ≥ α/2d .

Ve ’s são disjuntos, logo ≤ n/(α/2d) = 2dn/α = O(dn/α) Ve ’s.

Page 43: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Arestas não de corte

Falta: cada vértice paga por O(nd/α) arestas não de corte.

Para cada vértice u e cada aresta e = uv paga por u,Ve : conjunto dos w tq todo caminho mínimo de u a w usa e.

Ao remover e, a distância de u aos vértices de Ve

(e só a eles) aumenta. Aumenta de quanto?

Distância de u a v sobe para no máximo 2d .

Então custo de u desce de α, e sobe de no máximo 2d |Ve |.Ou seja, 2d |Ve | ≥ α e |Ve | ≥ α/2d .

Ve ’s são disjuntos, logo ≤ n/(α/2d) = 2dn/α = O(dn/α) Ve ’s.

Então cada vértice paga por O(nd/α) arestas não de corte.

Page 44: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Mais sobre preço da anarquia

Para α < 1, o grafo completo é o único equilíbrio,e é solução ótima: o preço da anarquia é 1 para α < 1.

Fabrikant, Luthra, Maneva, e Papadimitriou (2003)

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Page 45: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Mais sobre preço da anarquia

Para α < 1, o grafo completo é o único equilíbrio,e é solução ótima: o preço da anarquia é 1 para α < 1.

Fabrikant, Luthra, Maneva, e Papadimitriou (2003)

Teorema: O diâmetro de um equilíbrio é no máximo 2√α,

e portanto o preço da anarquia é O(√α).

Lin (2003) e independentementeAlbers, Eilts, Even-Dar, Mansour e Rodittyt (2006)

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Page 46: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Segundo resultado

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Page 47: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Segundo resultado

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Ideia da prova: Vamos usar o lema do começo da aula, ou seja,vamos mostrar que o diâmetro de um equilíbrio é O(1 + α/

√n).

Page 48: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação do diâmetro

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

Page 49: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação do diâmetro

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.

B

u

vd’

Page 50: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação do diâmetro

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.

B

u

vd’

Queremos dar uma delimitação superior para d .

Page 51: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação do diâmetro

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.

B

u

vd’

Queremos dar uma delimitação superior para d .

Para isso mostraremos uma delimitação superior e inferior para |B|.

Page 52: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação superior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.

B

u

vd’

Page 53: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação superior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.

B

u

vd’

Se v pagar por uv , a distância de v a cada vértice de B,que era pelo menos d − d ′, cai para no máximo d ′ + 1.

Page 54: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação superior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.

B

u

vd’

Se v pagar por uv , a distância de v a cada vértice de B,que era pelo menos d − d ′, cai para no máximo d ′ + 1.

Se G é um equilíbrio, α ≥ |B|(d − 2d ′ − 1) ≥ (d − 1)|B |/2.

Page 55: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Page 56: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Aw : conjunto dos vértices t 6∈ B tqAw : há caminho mínimo de u a t que deixa B por w .

B

vt

wu

Page 57: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Aw : conjunto dos vértices t 6∈ B tqAw : há caminho mínimo de u a t que deixa B por w .

B

vt

wu

Se Aw 6= ∅, então d(u,w) = d ′.

Page 58: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Aw : conjunto dos vértices t 6∈ B tqAw : há caminho mínimo de u a t que deixa B por w .

B

vt

wu

Se Aw 6= ∅, então d(u,w) = d ′.Se u pagar por uw , economiza |Aw |(d ′ − 1).

Page 59: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Aw : conjunto dos vértices t tqAw : há caminho mínimo de u a t que deixa B por w .Se u pagar por uw , economiza |Aw |(d ′ − 1).

Page 60: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Aw : conjunto dos vértices t tqAw : há caminho mínimo de u a t que deixa B por w .Se u pagar por uw , economiza |Aw |(d ′ − 1).

Logo α ≥ |Aw |(d ′ − 1).

Page 61: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Aw : conjunto dos vértices t tqAw : há caminho mínimo de u a t que deixa B por w .Se u pagar por uw , economiza |Aw |(d ′ − 1).

Logo α ≥ |Aw |(d ′ − 1).

Note que existe w tq |Aw | ≥ (n − |B |)/|B |.

Page 62: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Aw : conjunto dos vértices t tqAw : há caminho mínimo de u a t que deixa B por w .Se u pagar por uw , economiza |Aw |(d ′ − 1).

Logo α ≥ |Aw |(d ′ − 1).

Note que existe w tq |Aw | ≥ (n − |B |)/|B |.Combinando, concluímos que α ≥ (d ′ − 1)(n − |B |)/|B |.

Page 63: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Concluímos também que α ≥ (d ′ − 1)(n − |B|)/|B |.

Page 64: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Concluímos também que α ≥ (d ′ − 1)(n − |B|)/|B |.

Portanto |B|(1 + α/(d ′ − 1)) ≥ n.

Page 65: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Concluímos também que α ≥ (d ′ − 1)(n − |B|)/|B |.

Portanto |B|(1 + α/(d ′ − 1)) ≥ n.

Ou seja, |B|(d ′ − 1 + α) ≥ (d ′ − 1)n.

Page 66: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Delimitação inferior

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

Concluímos também que α ≥ (d ′ − 1)(n − |B|)/|B |.

Portanto |B|(1 + α/(d ′ − 1)) ≥ n.

Ou seja, |B|(d ′ − 1 + α) ≥ (d ′ − 1)n.

E, como α ≥ (d − 1)|B |/2 > d ′, vale que |B| ≥ n(d ′ − 1)/2α.

Page 67: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Conclusão da prova

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

E vale que |B| ≥ n(d ′ − 1)/2α. (delimitação inferior)

Page 68: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Conclusão da prova

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

E vale que |B| ≥ n(d ′ − 1)/2α. (delimitação inferior)

Então α ≥ (d − 1)|B|/2 ≥ (d − 1)n(d ′ − 1)/4α ≥ n(d ′ − 1)2/α.

Page 69: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Conclusão da prova

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

E vale que |B| ≥ n(d ′ − 1)/2α. (delimitação inferior)

Então α ≥ (d − 1)|B|/2 ≥ (d − 1)n(d ′ − 1)/4α ≥ n(d ′ − 1)2/α.

Ou seja, α2 ≥ n(d ′ − 1)2, e

Page 70: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Conclusão da prova

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

E vale que |B| ≥ n(d ′ − 1)/2α. (delimitação inferior)

Então α ≥ (d − 1)|B|/2 ≥ (d − 1)n(d ′ − 1)/4α ≥ n(d ′ − 1)2/α.

Ou seja, α2 ≥ n(d ′ − 1)2, e

d ≤ 4(d ′ + 1) ≤ 4d ′ + 4 = 4(d ′ − 1) + 8 ≤ 4α/√n + 8.

Page 71: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Conclusão da prova

Teorema: O preço da anarquia é O(1) se α = O(√n).

Em geral, o preço da anarquia é O(1 + α/√n).

Prova: Seja d = d(u, v) e d ′ = ⌊d−1

4⌋.

B: conjunto dos vértices à distância no máximo d ′ de u.Se G é um equilíbrio, α ≥ (d − 1)|B |/2. (delimitação superior)

E vale que |B| ≥ n(d ′ − 1)/2α. (delimitação inferior)

Então α ≥ (d − 1)|B|/2 ≥ (d − 1)n(d ′ − 1)/4α ≥ n(d ′ − 1)2/α.

Ou seja, α2 ≥ n(d ′ − 1)2, e

d ≤ 4(d ′ + 1) ≤ 4d ′ + 4 = 4(d ′ − 1) + 8 ≤ 4α/√n + 8.

Então o diâmetro é O(1 + α/√n) e,

do lema do começo da aula, PoA = O(1 + α/√n).

Page 72: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Jogo de conexão global

Seja G = (V ,E ) um digrafo com custo ce para cada e em E .

Page 73: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Jogo de conexão global

Seja G = (V ,E ) um digrafo com custo ce para cada e em E .

k jogadores, cada um com um par de vértices (si , ti).

Page 74: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Jogo de conexão global

Seja G = (V ,E ) um digrafo com custo ce para cada e em E .

k jogadores, cada um com um par de vértices (si , ti).

Estratégia do jogador i : caminho de si a ti em G .

Page 75: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Jogo de conexão global

Seja G = (V ,E ) um digrafo com custo ce para cada e em E .

k jogadores, cada um com um par de vértices (si , ti).

Estratégia do jogador i : caminho de si a ti em G .

custo para i do vetor de estratégias S = (P1, . . . ,Pk):

custoi (S) =∑

e∈Pi

ce

ke,

onde ke é o número de caminhos em S que usam e.

Page 76: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Jogo de conexão global

Seja G = (V ,E ) um digrafo com custo ce para cada e em E .

k jogadores, cada um com um par de vértices (si , ti).

Estratégia do jogador i : caminho de si a ti em G .

custo para i do vetor de estratégias S = (P1, . . . ,Pk):

custoi (S) =∑

e∈Pi

ce

ke,

onde ke é o número de caminhos em S que usam e.

Custo social cs(S): soma do custo das arestas em ∪iPi .

Page 77: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Problema de Steiner Generalizado

Seja G = (V ,E ) um digrafo com custo ce para cada e em E ,e pares de vértices (si , ti ), para i = 1, . . . , k .

Page 78: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Problema de Steiner Generalizado

Seja G = (V ,E ) um digrafo com custo ce para cada e em E ,e pares de vértices (si , ti ), para i = 1, . . . , k .

Problema: Encontrar um subgrafo de G de custo mínimoque contenha um caminho de si a ti , para i = 1, . . . , k .

Page 79: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Problema de Steiner Generalizado

Seja G = (V ,E ) um digrafo com custo ce para cada e em E ,e pares de vértices (si , ti ), para i = 1, . . . , k .

Problema: Encontrar um subgrafo de G de custo mínimoque contenha um caminho de si a ti , para i = 1, . . . , k .

Esse problema é NP-difícil, masé com ele que vamos comparar o custo dos equilíbrios.

Page 80: n jogadores vão formar um grafo com n vértices estratégia ...cris/aulas/17_2_6906/slides/aula09.pdf · Preço da anarquia Para α < 1, o grafo completo é o único equilíbrio,

Problema de Steiner Generalizado

Seja G = (V ,E ) um digrafo com custo ce para cada e em E ,e pares de vértices (si , ti ), para i = 1, . . . , k .

Problema: Encontrar um subgrafo de G de custo mínimoque contenha um caminho de si a ti , para i = 1, . . . , k .

Esse problema é NP-difícil, masé com ele que vamos comparar o custo dos equilíbrios.

Ou seja, o custo social ótimo do jogo é o custo da soluçãodo correspondente problema de Steiner generalizado.