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
2. Esse é o Luiz Taxista e economista
3. Vocês são da geração Google?
4. Problema Quantas peças do dominó tem um número ímpar como resultado da soma de seus dois números?
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
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
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
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
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
11. Resolvi em 5 minutos
12. https://github.com/pantuza/domino-problem