Arthur Merlin GamesPythonBrasil[8] Lightning Talk        @fmasanori
Arthur Merlin Games• Computational Complexity classic intro• Casar 150 donzelas com 150 cavaleiros• Colocar os 150 cavalei...
Casar 150 donzelas• Lista de parceiros “queridos”• 150! possibilidades == 10 ^ 262• Verificando uma possibilidade por  seg...
Small sample               Jessica            Fernanda           Pâmela             RenataAdriano      Bruno        Diogo ...
Merlin win!
Proof?
König theorem            jessica           Fernanda           Pâmela             RenataAdriano   Bruno       Diogo        ...
Round Table•   150 cavaleiros•   Somente vizinhos amigos•   Novamente 150! possibilidades•   Merlin vai resolver este prob...
Round Table with no fight                        Adriano    Leandro                               Bruno    Walber         ...
Problematic Round Table                        Adriano    Walber                                Bruno    Leandro          ...
Proof?
Simple obstruction is hard
Hamiltonian CircuitProbably no good caracterization
Enumeration Algorithms• Enumerar == fazer uma lista de  objetos de um determinado tipo• Algoritmos “ruins”• Mas melhor que...
Demo
fmasanori@gmail.comfacebook.com/fmasanori twitter.com/fmasanori
Upcoming SlideShare
Loading in …5
×

Arthur merlin games

721 views

Published on

Enumerations Algorithms with Python Generators. Lightning Talk at PythonBrasil[8]

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
721
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
10
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Arthur merlin games

  1. 1. Arthur Merlin GamesPythonBrasil[8] Lightning Talk @fmasanori
  2. 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. 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. 4. Small sample Jessica Fernanda Pâmela RenataAdriano Bruno Diogo Eclis Gabriel Leandro Walber No obstruction to the goal in this sample
  5. 5. Merlin win!
  6. 6. Proof?
  7. 7. König theorem jessica Fernanda Pâmela RenataAdriano Bruno Diogo Eclis Gabriel Leandro Walber Subconjunto de donzelas com “queridos” menor Obstruction to the goal == simple certificate
  8. 8. Round Table• 150 cavaleiros• Somente vizinhos amigos• Novamente 150! possibilidades• Merlin vai resolver este problema?
  9. 9. Round Table with no fight Adriano Leandro Bruno Walber Eclis Gabriel Diogo
  10. 10. Problematic Round Table Adriano Walber Bruno Leandro Diogo Gabriel Eclis
  11. 11. Proof?
  12. 12. Simple obstruction is hard
  13. 13. Hamiltonian CircuitProbably no good caracterization
  14. 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. 15. Demo
  16. 16. fmasanori@gmail.comfacebook.com/fmasanori twitter.com/fmasanori

×