Seu Luiz e o problema do dominó

Durante a Python Brasiil [12] em Florianópolis, um taxista propôs um problema. Quantas peças do dominó tem um número ímpar como resultado da soma de seus dois números?
Essa palestra apresenta uma solução e uma anállise formal do problema.

Transcript

1. Seu Luiz e o problema do
   dominó
   Python Brasil [12]
   Florianópolis
   

   View Slide

2. Esse é o Luiz
   Taxista e economista
   

   View Slide

3. Vocês são da
   geração Google?
   

   View Slide

4. Problema
   Quantas peças do dominó tem
   um número ímpar como resultado
   da soma de seus dois números?
   

   View Slide

5. Como resolvemos
   1. Surtamos!
   2. Dividimos tarefas pra fazer um brute force humano
   3. Notamos um padrão
   4. Definimos uma formula
   5. Validamos se ela se aplicava para para n+1
   

   View Slide

6. Resolução formal
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   0
   1
   2
   3
   4
   5
   6
   0 1 2 3 4 5 6
   

   View Slide

7. Resolução formal
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   0
   1
   2
   3
   4
   5
   6
   0 1 2 3 4 5 6
   

   View Slide

8. Resolução formal
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   0
   1
   2
   3
   4
   5
   6
   0 1 2 3 4 5 6
   

   View Slide

9. Resolução formal
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   1 0 1 0 1 0 1
   0 1 0 1 0 1 0
   0
   1
   2
   3
   4
   5
   6
   0 1 2 3 4 5 6
   

   View Slide

10. View Slide

11. Resolvi em 5
    minutos
    

    View Slide

12. https://github.com/pantuza/domino-problem
    

    View Slide