mecanismos online - ime-uspcris/aulas/13_1_6906/mecanismosonline.pdf · mecanismos online fabio...
TRANSCRIPT
![Page 1: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/1.jpg)
Visão GeralDefinições
Resultados
Mecanismos Online
Fabio Alexandre Campos Tisovec
Instituto de Matemática e Estatística - Universidade de São Paulo
June 17, 2013
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 2: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/2.jpg)
Visão GeralDefinições
Resultados
Conteúdo
1 Visão Geral
2 Definições
3 Resultados
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 3: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/3.jpg)
Visão GeralDefinições
Resultados
Conteúdo
1 Visão Geral
2 Definições
3 Resultados
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 4: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/4.jpg)
Visão GeralDefinições
Resultados
Conteúdo
1 Visão Geral
2 Definições
3 Resultados
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 5: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/5.jpg)
Visão GeralDefinições
Resultados
1 Visão Geral
2 Definições
3 Resultados
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 6: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/6.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 7: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/7.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 8: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/8.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 9: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/9.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 10: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/10.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 11: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/11.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 12: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/12.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 13: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/13.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 14: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/14.jpg)
Visão GeralDefinições
Resultados
Caracterização do Problema
Problemas considerados:Conjunto de jogadores varia ao longo do tempo.Conjunto de possíveis decisões futuras não é conhecido apriori.
Exemplos:Venda de passagens aéreas onde compradores surgemao longo do tempo.Alocação de recursos computacionais a processos quesurgem ao longo do tempo.Leilão de espaço de anúncios em portais de busca.Alocação de tarefas dentre um grupo de trabalho cujosintegrantes mudam ao longo do tempo.Venda de produtos cuja volatilidade é maior do que aduração do leilão.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 15: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/15.jpg)
Visão GeralDefinições
Resultados
Abordagem Utilizada
O foco do estudo é no mecanismo e suas propriedades,não em como cada jogador chega em sua estratégia.Em geral, o problema é modelado como uma forma deleilão.Inicialmente inclui várias suposições e posteriormentemostra maneiras de relaxar algumas destas.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 16: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/16.jpg)
Visão GeralDefinições
Resultados
Abordagem Utilizada
O foco do estudo é no mecanismo e suas propriedades,não em como cada jogador chega em sua estratégia.Em geral, o problema é modelado como uma forma deleilão.Inicialmente inclui várias suposições e posteriormentemostra maneiras de relaxar algumas destas.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 17: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/17.jpg)
Visão GeralDefinições
Resultados
Abordagem Utilizada
O foco do estudo é no mecanismo e suas propriedades,não em como cada jogador chega em sua estratégia.Em geral, o problema é modelado como uma forma deleilão.Inicialmente inclui várias suposições e posteriormentemostra maneiras de relaxar algumas destas.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 18: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/18.jpg)
Visão GeralDefinições
Resultados
Abordagem Utilizada
O foco do estudo é no mecanismo e suas propriedades,não em como cada jogador chega em sua estratégia.Em geral, o problema é modelado como uma forma deleilão.Inicialmente inclui várias suposições e posteriormentemostra maneiras de relaxar algumas destas.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 19: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/19.jpg)
Visão GeralDefinições
Resultados
1 Visão Geral
2 Definições
3 Resultados
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 20: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/20.jpg)
Visão GeralDefinições
Resultados
Mecanismo
Dados instantes discretos de tempo T = 1,2, . . . , ummecanismo faz uma sequencia de decisões k = (k1, k2, . . . ),onde k t representa a decisão tomada no instante t .T pode ser ilimitado ou não.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 21: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/21.jpg)
Visão GeralDefinições
Resultados
Caracterização dos Jogadores
Mecanismo trata os jogadores subdividindo-os em tipos.Para cada jogador i , seja θi = (ai ,di ,wi) ∈ Θ seu tipo, onde:
Θ é o conjunto de todos os possíveis tipos de jogadores.ai representa o momento de chegada do jogador i no jogo.di representa o momento de saída do jogador i do jogo.wi representa a valoração do jogador i , e é invariante atodos os eventos que ocorrem fora do intervalo [ai ,di ].
θi define uma função de valoração vi = (θi , k [ai ,t]) ∈ R,t ∈ [ai ,di ].
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 22: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/22.jpg)
Visão GeralDefinições
Resultados
Mecanismo Online com Revelação Direta
Seja ω ∈ Ω o conjunto de eventos estocásticos queocorrem no ambiente e que não estão sub o controle nemdo mecanismo, nem dos jogadores. Seja ωt asinformações conhecidas no momento t de tais eventos,ωt ∈ Ωt ,Πt∈T Ωt = Ω.Seja θt o conjunto dos jogadores que fazem seu lance noinstante t .Seja ht = (θ1, . . . , θt ;ω1, . . . , ωt ; k1, . . . , k t−1) ∈ H t oestado do mecanismo no instante t , onde H t é o conjuntode todos os possíveis estados no instante t .Seja K (ht ) o conjunto de todas as decisões possíveis noinstante t e seja I(ht ) o conjunto de todos os jogadoresativos no instante t .
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 23: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/23.jpg)
Visão GeralDefinições
Resultados
Mecanismo Online com Revelação Direta
Um Mecanismo Online com Revelação Direta M = (π, x)restringe cada jogador a fazer um único lance informando seutipo e define uma política de decisão π = πt, t ∈ T e umapolítica de pagamento x = x t, t ∈ T , onde a decisãoπt (ht ) ∈ K (ht ) é tomada com base no estado ht e o pagamentox t
i (ht ) ∈ R é coletado de cada agente i ∈ I(ht ).
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 24: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/24.jpg)
Visão GeralDefinições
Resultados
Lances com Falsidade Limitada
Seja C(θi) ⊆ Θ o conjunto de possíveis lances do jogadori , cujo tipo real é θi .Um modelo que satisfaz lances falsos sem chegadasprematuras implica que para um jogadori ,C(θi) = θi = (ai , di , wi) : ai ≤ ai ≤ di , wi ∈W.Um modelo que satisfaz lances falsos sem saídasatrasadas implica que para um jogadori ,C(θi) = θi = (ai , di , wi) : ai ≤ di ≤ di , wi ∈W.Um modelo que satisfaz ambas as restrições é dito comrestrições razoaveis de falsidade nos lances.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 25: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/25.jpg)
Visão GeralDefinições
Resultados
Mecanismo Online à Prova de Estratégia (Induz àVerdade)
Seja θ−i = (θ1, . . . , θi−1, θi+1, . . . ).Seja pi(θ, ω) = Σt∈T x t
i .
Um mecanismo online é à prova de estratégia dado lancescom falsidade limitada se:vi(θi , π(θi , θ
′−i , ω))− pi(θi , θ
′−i , ω) ≥
vi(θi , π(θi , θ′−i , ω))− pi(θi , θ
′−i , ω),
∀θi ∈ C(θi), ∀θi ,∀θ′−i ∈ C(θ−i), ∀θ−i ,∀ω ∈ Ω.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 26: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/26.jpg)
Visão GeralDefinições
Resultados
Domínios Online de um Único Valor
Seja Li = l1i , l2i , . . . um conjunto composto por conjuntos deitems que o jogador i tem interesse.Em um domínio online de um único valor, cada jogador i édefinido por θi = (ai ,di , (ri ,Li)), ri ∈ R, onde θi define a função
de valoração vi(θi , k) =
ri , ∃j∈N, t∈[ai ,di ] | l ji⊆k t
i0, cc
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 27: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/27.jpg)
Visão GeralDefinições
Resultados
Valor Crítico
Seja Di(π(θi , θ−i , ω)) ∈ 0,1 tal que vale 1 se a política π tomaalguma decisão interessante para o jogador i , ou zero casocontrário.O valor crítico para o jogador i , dado θi = (ai ,di , (ri ,Li)), umapolítica π em um domínio de valor único e θ−i e ω fixos, édefinido como:vc(ai ,di ,Li )
(θ−i , ω) =
min r ′i | Di (π((ai ,di ,(r ′i ,Li )),θ−i ,ω))=1∞, cc
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 28: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/28.jpg)
Visão GeralDefinições
Resultados
Monotonicidade
Uma política π é monotônica se((Di(π((ai ,di , (ri ,Li)), θ−i , ω)) = 1)∧ (ri > vc
(ai ,di ,Li )(θ−i , ω))) =⇒
(Di(π((ai ,di , (r ′i ,Li)), θ−i , ω)) = 1), ∀r ′i > ri , ∀θ−i ,∀ω ∈ Ω.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 29: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/29.jpg)
Visão GeralDefinições
Resultados
1 Visão Geral
2 Definições
3 Resultados
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 30: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/30.jpg)
Visão GeralDefinições
Resultados
Lema 1
Lema 1.Dada uma política monotônica, o valor crítico do jogador iindepende do valor ri e aumenta monotonicamente emintervalos sucessivamente mais apertados de chegada e saída.
Demonstração.
Fixe θ−i , ω ∈ Ω. Assuma por contradição que a′i ≥ ai , d ′i ≤ di ,porém r ′i < ri , onde r ′i = vc
(a′i ,d′i ,Li )
(θ−i , ω) e ri = vc(ai ,di ,Li )
(θ−i , ω).Nestas condições Di(π((ai ,di , (ri ,Li)), θ−i , ω)) = 0, masDi(π((a′i ,d
′i , (ri ,Li)), θ−i , ω)) = 1, contradizendo a
monotonicidade.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 31: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/31.jpg)
Visão GeralDefinições
Resultados
Lema 1
Lema 1.Dada uma política monotônica, o valor crítico do jogador iindepende do valor ri e aumenta monotonicamente emintervalos sucessivamente mais apertados de chegada e saída.
Demonstração.
Fixe θ−i , ω ∈ Ω. Assuma por contradição que a′i ≥ ai , d ′i ≤ di ,porém r ′i < ri , onde r ′i = vc
(a′i ,d′i ,Li )
(θ−i , ω) e ri = vc(ai ,di ,Li )
(θ−i , ω).Nestas condições Di(π((ai ,di , (ri ,Li)), θ−i , ω)) = 0, masDi(π((a′i ,d
′i , (ri ,Li)), θ−i , ω)) = 1, contradizendo a
monotonicidade.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 32: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/32.jpg)
Visão GeralDefinições
Resultados
Teorema 1
Teorema 1.
É possível implementar uma política monotônica que induz àverdade em um domínio de valor único em conjuntos deinteresse conhecidos e com restrições razoaveis de falsidadenos lances.
Demonstração.
Defina a política de pagamento onde
x ti (ht ) =
vc(ai ,di ,Li )
(θ−i ,ω), se (Di (π(θi ,θ−i ,ω))=1)∧(t=di )
0, cc
Fixe θi , θ−i , ω ∈ Ω e assuma que o jogador i fala a verdade emseu lance.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 33: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/33.jpg)
Visão GeralDefinições
Resultados
Teorema 1
Teorema 1.
É possível implementar uma política monotônica que induz àverdade em um domínio de valor único em conjuntos deinteresse conhecidos e com restrições razoaveis de falsidadenos lances.
Demonstração.
Defina a política de pagamento onde
x ti (ht ) =
vc(ai ,di ,Li )
(θ−i ,ω), se (Di (π(θi ,θ−i ,ω))=1)∧(t=di )
0, cc
Fixe θi , θ−i , ω ∈ Ω e assuma que o jogador i fala a verdade emseu lance.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 34: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/34.jpg)
Visão GeralDefinições
Resultados
Teorema 1
Demonstração - caso a).
Se a política π não toma nenhuma decisão interessante para ojogador i , isto implica que vc
(ai ,di ,Li )(θ−i , ω) > ri .
Neste caso, a única forma deste jogador passar a ser alocado(receber alguma decisão interessante) é trocar seu lance paraalgum θ′i = (ai ,di , (r ′i ,Li)), r ′i > ri , porém esta alteração implicaque o jogador i terá utilidade negativa caso passe a seralocado.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 35: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/35.jpg)
Visão GeralDefinições
Resultados
Teorema 1
Demonstração - caso b).
Se a política π toma alguma decisão interessante para ojogador i , isto implica que sua utilidade é não-negativa, poisvc(ai ,di ,Li )
(θ−i , ω) ≤ ri .Além disso, pelo Lema 1 seu valor crítico e, por decorrência,sua utilidade independem de seu valor ri , portanto não épossível ao jogador i aumentar sua utilidade declarando algumθi 6= θi .
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 36: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/36.jpg)
Visão GeralDefinições
Resultados
Resultados
Lema 2.Em um domínio de valor único em conjuntos de interesseconhecidos, qualquer mecanismo online para agentesracionais necessariamente deve coletar pagamentosequivalentes aos valores críticos de cada jogador alocado.
teorema 2.Em um domínio de valor único em conjuntos de interesseconhecidos e com restrições razoaveis de falsidade nos lances,qualquer política π que induz à verdade e que não pagajogadores não alocados precisa necessariamente sermonotônica.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 37: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/37.jpg)
Visão GeralDefinições
Resultados
Resultados
Lema 2.Em um domínio de valor único em conjuntos de interesseconhecidos, qualquer mecanismo online para agentesracionais necessariamente deve coletar pagamentosequivalentes aos valores críticos de cada jogador alocado.
teorema 2.Em um domínio de valor único em conjuntos de interesseconhecidos e com restrições razoaveis de falsidade nos lances,qualquer política π que induz à verdade e que não pagajogadores não alocados precisa necessariamente sermonotônica.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 38: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/38.jpg)
Visão GeralDefinições
Resultados
Algoritmo
Considere que a cada instante de tempo há exatamente umitem à venda.Seja um lance do jogador i definido por θi = (ai , di , wi), wi ∈ R,necessariamente feito no instante t = ai .(i) A cada instante de tempo, aloque o item ao jogador nãoalocado com o maior lance, decidindo empates ao acaso.(ii) Cada jogador paga seu valor crítico no momento de suapartida.
Fabio Alexandre Campos Tisovec Mecanismos Online
![Page 39: Mecanismos Online - IME-USPcris/aulas/13_1_6906/MecanismosOnline.pdf · Mecanismos Online Fabio Alexandre Campos Tisovec Instituto de Matemática e Estatística - Universidade de](https://reader034.vdocuments.net/reader034/viewer/2022052102/603bf247b1191926591ffec7/html5/thumbnails/39.jpg)
Visão GeralDefinições
Resultados
Referências
Algorithmic Game Theory, Noam Nisan, Tim Roughgarden,Eva Tardos, Vijay V Vazirani, Cambridge University Press.
Fabio Alexandre Campos Tisovec Mecanismos Online