Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Seu Luiz e o problema do dominó

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.

Gustavo Pantuza

May 06, 2017
Tweet

More Decks by Gustavo Pantuza

Other Decks in Programming

Transcript

  1. Problema Quantas peças do dominó tem um número ímpar como

    resultado da soma de seus dois números?
  2. 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
  3. 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
  4. 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
  5. 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
  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