TEFE

2017-2

H. Pilotto
M. Carvalho
R. Hirayama
Estudo da Probabilidade de Jogadas Repetidas
Grupo 18

Heitor Pilotto M. Eduarda Carvalho Renan Hirayama

8944752 9849010 8945325

Instituto de Fsica - USP

Prof. Zwinglio Guimares

14 de Dezembro de 2017
 Motivao

TEFE
2017-2
Paradoxo do aniversrio:
H. Pilotto
M. Carvalho
R. Hirayama

(Wikipedia)
 Objetivo

TEFE
2017-2
Generalizar o paradoxo do aniversrio para um nmero
H. Pilotto
M. Carvalho arbitrrio de D "dias"e de R "aniversariantes";
R. Hirayama
Pensando em dados, modelar FDP P(n; D, R)
 Teoria

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
Princpio da casa de pombo
H um nmero mnimo nmin e um mximo nmax de jogadas
necessrias para atingir as repeties desejadas.

No nosso caso,

nmin = R (1)
nmax = D(R 1) + 1 (2)
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto Usamos anlise combinatria para determinar P(n; D, R = 2):

M. Carvalho
R. Hirayama D=4: [de acordo com (1), nmin = R = 2]
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto Usamos anlise combinatria para determinar P(n; D, R = 2):

M. Carvalho
R. Hirayama D=4: [de acordo com (1), nmin = R = 2]
41 4
Jogada 2: 44 = 42
Na primeira jogada pode ser qualquer lado,
na segunda tem que ser o lado que caiu na primeira;
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto Usamos anlise combinatria para determinar P(n; D, R = 2):

M. Carvalho
R. Hirayama D=4: [de acordo com (1), nmin = R = 2]
41 4
Jogada 2: 44 = 42
Na primeira jogada pode ser qualquer lado,
na segunda tem que ser o lado que caiu na primeira;
432 432
Jogada 3: 444 = 43
Na primeira jogada pode ser qualquer
lado, na segunda no pode ser o lado que caiu na primeira, na
terceira tem que ser um dos lados que caram anteriormente;
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto Usamos anlise combinatria para determinar P(n; D, R = 2):

M. Carvalho
R. Hirayama D=4: [de acordo com (1), nmin = R = 2]
41 4
Jogada 2: 44 = 42
Na primeira jogada pode ser qualquer lado,
na segunda tem que ser o lado que caiu na primeira;
432 432
Jogada 3: 444 = 43
Na primeira jogada pode ser qualquer
lado, na segunda no pode ser o lado que caiu na primeira, na
terceira tem que ser um dos lados que caram anteriormente;
..
.
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto Usamos anlise combinatria para determinar P(n; D, R = 2):

M. Carvalho
R. Hirayama D=4: [de acordo com (1), nmin = R = 2]
41 4
Jogada 2: 44 = 42
Na primeira jogada pode ser qualquer lado,
na segunda tem que ser o lado que caiu na primeira;
432 432
Jogada 3: 444 = 43
Na primeira jogada pode ser qualquer
lado, na segunda no pode ser o lado que caiu na primeira, na
terceira tem que ser um dos lados que caram anteriormente;
..
.
43214 4!4
Jogada 5: 44444 = 45
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto Usamos anlise combinatria para determinar P(n; D, R = 2):

M. Carvalho
R. Hirayama D=4: [de acordo com (1), nmin = R = 2]
41 4
Jogada 2: 44 = 42
Na primeira jogada pode ser qualquer lado,
na segunda tem que ser o lado que caiu na primeira;
432 432
Jogada 3: 444 = 43
Na primeira jogada pode ser qualquer
lado, na segunda no pode ser o lado que caiu na primeira, na
terceira tem que ser um dos lados que caram anteriormente;
..
.
43214 4!4
Jogada 5: 44444 = 45
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto Usamos anlise combinatria para determinar P(n; D, R = 2):

M. Carvalho
R. Hirayama D=4: [de acordo com (1), nmin = R = 2]
41 4
Jogada 2: 44 = 42
Na primeira jogada pode ser qualquer lado,
na segunda tem que ser o lado que caiu na primeira;
432 432
Jogada 3: 444 = 43
Na primeira jogada pode ser qualquer
lado, na segunda no pode ser o lado que caiu na primeira, na
terceira tem que ser um dos lados que caram anteriormente;
..
.
43214 4!4
Jogada 5: 44444 = 45
(n 1) 4!
P(n; 4, 2) = (3)
(4 + 1 n)! 4n
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama Usamos anlise combinatria para determinar P(n; D, R = 2):
D=6:
6 1 6
Jogada 2: 6 6 = 62
6 51 651
Jogada 3: 6 6 6 = 63
..
.
654321 6!6
Jogada 7: 663666 = 67
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama Usamos anlise combinatria para determinar P(n; D, R = 2):
D=6:
6 1 6
Jogada 2: 6 6 = 62
6 51 651
Jogada 3: 6 6 6 = 63
..
.
654321 6!6
Jogada 7: 663666 = 67
(n 1) 6!
P(n; 6, 2) = (4)
(6 + 1 n)! 6n
 Teoria
Anlise combinatria

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

De (3) e (4), razovel inferir que, para R = 2, temos

(n 1) D!
P(n; D, 2) = (5)
(1 + D n)! D n

Porm precisamos confirmar esse modelo. Para isso, fazemos

primeiramente uma simulao, seguida de um experimento real.
 Ilustrao

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Jogamos o dado de D lados n vezes at repetir algum lado R

vezes:
Vdeo no YouTube
 Simulao
Explicao

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
Nosso programa consiste em criar um vetor com D zeros e
sortear um inteiro aleatrio entre 0 e D. A posio sorteada
incrementada em 1 e o programa checa se algum elemento do
vetor vale R. No caso afirmativo, a simulao acaba e comea
outro jogo, guardando n, a soma de todos os elementos do
vetor. No caso negativo, ocorre outra iterao.
Chamamos a ateno para o fato de que o programa no
necessita que R = 2, auxiliando na generalizao.
 Simulao
Exemplo

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Nesse exemplo, D = 6, R = 2 e n = 4.
 Simulao
Confirmao da anlise terica

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

 
 T S 
|z| =   = 0.81
mS 
 Simulao
Confirmao da anlise terica

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

|z| = 0.03
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

At ento, usamos 105 simulaes de jogos para fazer os

histogramas anteriores. Porm isso toma muito tempo...
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

At ento, usamos 105 simulaes de jogos para fazer os

histogramas anteriores. Porm isso toma muito tempo...
Quando parar o programa?
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

At ento, usamos 105 simulaes de jogos para fazer os

histogramas anteriores. Porm isso toma muito tempo...
Quando parar o programa?
Podemos analisar como a mdia de um histograma evolui para
determinar um nmero suficiente de simulaes (cada tipo de
marcador representa um histograma independente).
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Vemos que para ambos os casos, algo em torno de 1000

simulaes seriam suficientes. Por segurana, usamos
Nsim = 104 daqui para frente.
Ademais, podemos usar isso para obter a valiosa informao de
quando razovel parar de jogar o dado num experimento real.
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
interessante notar que a disperso dos grficos de evoluo
das mdias simplesmente o desvio-padro da mdia,
1
m
Nsim

Podemos visualizar esse efeito olhando como o histograma das

mdias - que tende a uma gaussiana, pelo TCL - se estreita
com o nmero de simulaes usados no clculo de cada mdia.
 Simulao
Evoluo e convergncia

TEFE
2017-2 Vdeo da evoluo
H. Pilotto
M. Carvalho
R. Hirayama
 Simulao
Evoluo e convergncia

TEFE
2017-2 Vdeo da evoluo
H. Pilotto
M. Carvalho
R. Hirayama
 Simulao
Evoluo e convergncia

TEFE
2017-2 Vdeo da evoluo
H. Pilotto
M. Carvalho
R. Hirayama
 Experimento

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Com a anlise anterior, podemos considerar que simulao e

teoria so compatveis. Porm queremos verificar que a
realidade aceita nosso modelo. Para tal, fizemos o experimento
fisicamente para o caso D = 6.
 Experimento
Mtodo para D=6, R=2

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Ao invs de jogar um dado at nmax vezes, podemos ordenar

previamente nmax 1 dados distinguveis e jogar todos de uma
vez, o que economiza tempo. O "1"se deve ao fato de que, se
no repetiu at o (nmax 1)-simo dado, o prximo com
certeza repetiria, de acordo com (2).
No caso de D = 6, R = 2, precisamos de 6 dados, que foram
ordenados:
 Experimento
Mtodo para D=6, R=2

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Vdeo do lanamento
 Experimento
Resultado

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

|z| = 0.48; 2 = 4.4

 Experimento
Resultado

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
Ambos teste-z e teste de 2 (o NGL simplesmente o nmero
de bins no-nulos, pois no h ajuste) assumem valores dentro
do esperado, mostrando que simulao e experimento - e por
consequncia teoria - so compatveis, ou seja, o modelo (5)
adequado.
|z| = 0.48; 2 = 4.4
Deste modo, podemos usar a simulao para prever as
distribuies para outros Ds, comparando com o resultado do
modelo nos pontos vermelhos.
 Simulao
Para outros Ds

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
 Simulao
Para outros Ds

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
 Simulao
Para outros Ds

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Tabela: Valores de z para R=2

D 4 6 8 10 12 20 100 365
z 0.81 0.03 1.6 0.16 1.3 0.7 1.5 0.7
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Podemos confiar que todos os histogramas do slide anterior so

representativos, pois olhando para a evoluo das mdias com
D = 365, vemos que em Nsim = 104 o programa j convergiu.
Intuitivamente, para Ds menores, seriam necessrias ainda
menos simulaes.
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
 Prximo passo
Outros Rs

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Em seguida, desejamos generalizar (5) para um nmero maior

de repeties. Como a anlise combinatria necessria muito
trabalhosa e complicada, podemos extrapolar o programa,
aproveitando da boa concordncia encontrada anteriormente.
Fixando D = 6 por simplicidade:
 Simulao
Para outros Rs

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Novamente, os histogramas mostrados so confiveis em

Nsim = 104 :
 Simulao
Evoluo e convergncia

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
 Experimento
Mtodo para D=2, R=3 e 4

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Para confirmar a validade do programa para Rs diferentes,

testamos o caso de 3 e 4 repeties com um "dado"de 2 lados.
No caso, usamos pedaos de papel enumerados, em preto de
um lado e vermelho do outro, para distino, semelhante ao
experimento anterior com os dados, fazendo 1000 jogos.
Como as jogadas so independentes, num mesmo lanamento
anotamos o resultado de R = 3 e R = 4.
 Experimento
Mtodo para D=2, R=3 e 4

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Neste caso, para R = 3 n = 5 e para R = 4 n = 7.

 Experimento
Resultados

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

|z| = 1.1; 2 = 2.9

 Experimento
Resultados

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

|z| = 0.4; 2 = 1.0

 Experimento
Concluses

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Os histogramas indicam uma boa adequao do programa,

portanto adquirimos confiana para us-lo para prever qualquer
situao que possa ser formulada deste modo. Por exemplo,
podemos resgatar o grfico do paradoxo do aniversrio,
encontrado na Wikipedia.
 Aplicaes
Retorno aos aniversrios

TEFE
2017-2
Um ano = D = 365
H. Pilotto
M. Carvalho
R. Hirayama
 Aplicaes
Finais da NBA

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Outra aplicao interessante so as finais da NBA, em que dois

times fazem um "melhor de 7", ou seja, quem vencer mais
jogos dentre os 7 vence. Isso anlogo ao caso D = 2, R = 4
do nosso modelo:
 Aplicaes
Finais da NBA

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

(Dados do Ticketcity )
 Uma possvel extenso

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama
Existe alguma distribuio analtica que descreve bem a
pdf genrica P(n; D, R)?
Algo sugerido para extenso do trabalho testar algumas
distribuies que se comportam de maneira semelhante,
variando seus parmetros, e comparando-os com os valores
respectivos de D e R, o que possvel fazer usando o
programa. Isso pode ser usado para obter uma previsibilidade
mais rpida dos resultados, j que a computao para valores
altos de D e R toma um tempo consideravelmente grande.
 TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Obrigado!
 Extra

TEFE
2017-2

H. Pilotto
M. Carvalho
R. Hirayama

Visualizao do TCL em ao: Bem legal

Programa em C++ usado no trabalho (sinta-se livre para

modificar, est um pouco obsoleto): Cdigo