Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... ·...
Transcript of Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... ·...
![Page 1: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/1.jpg)
Teoria dos jogos Algorítmica eOtimização Combinatória
Atol Fortin de OliveiraOrientadora: Cristina Gomes Fernandes
Instituto de Matemática e EstatísticaUniversidade de São Paulo
Trabalho de Conclusão de Curso - 2009
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 2: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/2.jpg)
Problemas estudados
Casamentos estáveisLeilões para publicidade associada à buscaAlocação de bens indivisívei*Leilões combinatórios *
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 3: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/3.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Conteúdo
1 Casamentos estáveisProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
2 Leilões para publicidade associada à buscaProblemaDefiniçõesIdeia do algoritmo
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 4: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/4.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Casamentos estáveis
Dados um conjunto H de homens e um conjunto de Mmulheres de tamanho n.Dada uma ordem de preferência de cada pessoa parapessoas do outro grupo.Queremos encontrar um casamento estável entre H e M.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 5: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/5.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Conteúdo
1 Casamentos estáveisProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
2 Leilões para publicidade associada à buscaProblemaDefiniçõesIdeia do algoritmo
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 6: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/6.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Ordem de preferência
Notação : h1 �m h2
Então, para toda mulher m de M temos sua ordem depreferência sobre os homens de H:h1 �m h2 �m h3 �m · · · �m hi �m · · · �m hn.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 7: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/7.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Estabilidade - Par bloqueador
Um grupo de casamentos é estável se não existe um parbloqueador.Um par (h1, m2) é bloqueador em uma determinadaalocação se existem dois casais (h1, m1) e (h2, m2) tal que:m2 �h1 m1 e h1 �m2 h2
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 8: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/8.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Exemplo de um grupo de casamentos
Considerando as seguintes ordens de preferência
h1: m2 �h1 m1 �h1 m3h2: m1 �h2 m3 �h2 m2h3: m1 �h3 m2 �h3 m3m1: h1 �m1 h3 �m1 h2m2: h3 �m2 h1 �m2 h2m3: h1 �m3 h3 �m3 h2
O grupo de casamentos (h1, m1), (h2, m2), (h3, m3) não éestável.Temos o par bloqueador (h1, m2).
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 9: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/9.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Conteúdo
1 Casamentos estáveisProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
2 Leilões para publicidade associada à buscaProblemaDefiniçõesIdeia do algoritmo
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 10: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/10.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Algoritmo
Vamos ver apenas uma ideia do algoritmo da PropostaMasculina.
Algum homem solteiro faz uma prosposta à mulher demaior preferência que ainda não o rejeitou.A mulher que recebe a prosposta decide se preferecontinuar com seu atual marido, ou se aceita a novaproposta.O algoritmo termina quando não existem mais homenssolteiros.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 11: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/11.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Simulando para o exemplo
h1: m2 �h1 m1 �h1 m3h2: m1 �h2 m3 �h2 m2h3: m1 �h3 m2 �h3 m3m1: h1 �m1 h3 �m1 h2m2: h3 �m2 h1 �m2 h2m3: h1 �m3 h3 �m3 h2
Começamos com a alocação vazia (h1, ∗), (h2, ∗), (h3, ∗).
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 12: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/12.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Simulando para o exemplo
h1: m2 �h1 m1 �h1 m3h2: m1 �h2 m3 �h2 m2h3: m1 �h3 m2 �h3 m3m1: h1 �m1 h3 �m1 h2m2: h3 �m2 h1 �m2 h2m3: h1 �m3 h3 �m3 h2
O homem h1 faz proposta à mulher m2 que o aceita. Temos aalocação (h1, m2), (h2, ∗), (h3, ∗).
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 13: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/13.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Simulando para o exemplo
h1: m2 �h1 m1 �h1 m3h2: m1 �h2 m3 �h2 m2h3: m1 �h3 m2 �h3 m3m1: h1 �m1 h3 �m1 h2m2: h3 �m2 h1 �m2 h2m3: h1 �m3 h3 �m3 h2
O homem h2 faz proposta à mulher m1 que o aceita. Temos aalocação (h1, m2), (h2, m1), (h3, ∗).
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 14: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/14.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Simulando para o exemplo
h1: m2 �h1 m1 �h1 m3h2: m1 �h2 m3 �h2 m2h3: m1 �h3 m2 �h3 m3m1: h1 �m1 h3 �m1 h2m2: h3 �m2 h1 �m2 h2m3: h1 �m3 h3 �m3 h2
O homem h3 faz proposta à mulher m1 que o aceita, rejeitandoo homem h2. Temos a alocação (h1, m2), (h2, ∗), (h3, m1).
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 15: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/15.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Simulando para o exemplo
h1: m2 �h1 m1 �h1 m3h2: m1 �h2 m3 �h2 m2h3: m1 �h3 m2 �h3 m3m1: h1 �m1 h3 �m1 h2m2: h3 �m2 h1 �m2 h2m3: h1 �m3 h3 �m3 h2
O homem h2 faz proposta à mulher m3 que o aceita. Temos aalocação (h1, m2), (h2, m3), (h3, m1), chegando ao fim doalgoritmo.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 16: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/16.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Conteúdo
1 Casamentos estáveisProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
2 Leilões para publicidade associada à buscaProblemaDefiniçõesIdeia do algoritmo
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 17: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/17.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Propriedades
O algoritmo encontra uma solução em tempo O(n2).A solução encontrada é um grupo de casametos estável.O algoritmo encontra um grupo de casamentos ótimopara os homens.O algoritmo é à prova de estratégia para os homens.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 18: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/18.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Ótimo masculino
O algoritmo encontra um grupo de casamentos X ótimopara os homens.Ou seja, não existe um grupo de casamentos Y estável talque Y (h) �h X (h), para todo h ∈ H.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 19: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/19.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
Prova de estratégia
E também, o algoritmo é à prova de estratégia para oshomens.Ou seja, nenhum homem pode se beneficiar ao declararum ordem de preferência que não seja sua realpreferência.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 20: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/20.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesIdeia do algoritmo
Conteúdo
1 Casamentos estáveisProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
2 Leilões para publicidade associada à buscaProblemaDefiniçõesIdeia do algoritmo
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 21: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/21.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesIdeia do algoritmo
Leilões para publicidade associada à busca
Problema do google.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 22: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/22.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesIdeia do algoritmo
Leilões para publicidade associada à busca
Dado um conjunto I de compradores de tamanho n.Dado um conjunto J de itens de tamanho k .Dados preços mínimos ri,j .Dados valores ideais vi,j .Dados preços máximos mi,j .Queremos encontrar uma alocação ótima de itens aoscompradores.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 23: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/23.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesIdeia do algoritmo
Conteúdo
1 Casamentos estáveisProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
2 Leilões para publicidade associada à buscaProblemaDefiniçõesIdeia do algoritmo
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 24: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/24.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesIdeia do algoritmo
Alocação ótima
Uma alocação é ótima se não existe nenhuma outraalocação que deixe todos os compradores mais felizes.(sem piorar a satisfação de nenhum deles)
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 25: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/25.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesIdeia do algoritmo
Conteúdo
1 Casamentos estáveisProblemaDefiniçõesAlgoritmo para encontrar uma solução estávelPropriedades
2 Leilões para publicidade associada à buscaProblemaDefiniçõesIdeia do algoritmo
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 26: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/26.jpg)
Casamentos estáveisLeilões para publicidade associada à busca
ProblemaDefiniçõesIdeia do algoritmo
Ideia do algoritmo
O algoritmo consiste em encontrar caminhos alternantesde peso mínimo em um grafo bipartido definido peloscompradores e pelos itens.O algoritmo é polinomial em n e k .O algoritmo encontra uma solução ótima.O algoritmo é à prova de estratégia.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória
![Page 27: Teoria dos jogos Algorítmica e Otimização Combinatóriaatol/mac499/ic/teoria_dos_jogos/... · 2010-03-11 · Teoria dos jogos Algorítmica e Otimização Combinatória Atol Fortin](https://reader030.fdocument.pub/reader030/viewer/2022040610/5ece378dad894a6137715b3c/html5/thumbnails/27.jpg)
Conclusão
Finalizando
Os algoritmos foram implementados e as propriedadesgarantidas por eles foram testadas e confirmadas, dentrodo possível.Ainda falta concluir algumas provas.Podemos estudar as variantes e extensões de cadaproblema.
Atol Fortin de Oliveira Teoria dos jogos Algorítmica e Otimização Combinatória