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

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

16. fmasanori@gmail.com
facebook.com/fmasanori
twitter.com/fmasanori