Arthur merlin games
0 gostou742 visualizações
O documento discute dois problemas clássicos de complexidade computacional apresentados a Merlin: (1) casar 150 donzelas com 150 cavaleiros de forma que cada um tenha um parceiro preferido e (2) colocar os 150 cavaleiros em torno da Tavola Redonda de forma que todos sejam amigos de seus vizinhos. Embora as possibilidades sejam enormes, Merlin pode resolver os problemas usando teoremas matemáticos que fornecem certificados simples quando uma solução não é possível.
![Arthur Merlin Games
PythonBrasil[8] Lightning Talk
@fmasanori](https://image.slidesharecdn.com/arthurmerlingames-121123142720-phpapp01/85/Arthur-merlin-games-1-320.jpg)
Arthur merlin games
- 1. Arthur Merlin Games PythonBrasil[8] Lightning Talk @fmasanori
- 2. Arthur Merlin Games • Computational Complexity classic intro • Casar 150 donzelas com 150 cavaleiros • Colocar os 150 cavaleiros em torno da Tavola Redonda • Dois problemas passados para Merlin
- 3. Casar 150 donzelas • Lista de parceiros “queridos” • 150! possibilidades == 10 ^ 262 • Verificando uma possibilidade por segundo temos 10 ^ 255 anos • Idade do universo == 10 ^ 22 anos • 10 ^ 79 protons no mundo • Merlin vai resolver este problema?
- 4. Small sample Jessica Fernanda Pâmela Renata Adriano Bruno Diogo Eclis Gabriel Leandro Walber No obstruction to the goal in this sample
- 5. Merlin win!
- 6. Proof?
- 7. König theorem jessica Fernanda Pâmela Renata Adriano Bruno Diogo Eclis Gabriel Leandro Walber Subconjunto de donzelas com “queridos” menor Obstruction to the goal == simple certificate
- 8. Round Table • 150 cavaleiros • Somente vizinhos amigos • Novamente 150! possibilidades • Merlin vai resolver este problema?
- 9. Round Table with no fight Adriano Leandro Bruno Walber Eclis Gabriel Diogo
- 10. Problematic Round Table Adriano Walber Bruno Leandro Diogo Gabriel Eclis
- 11. Proof?
- 12. Simple obstruction is hard
- 13. Hamiltonian Circuit Probably no good caracterization
- 14. Enumeration Algorithms • Enumerar == fazer uma lista de objetos de um determinado tipo • Algoritmos “ruins” • Mas melhor que nada • No generators in C enumeration algorithms • But Python have generators
- 15. Demo