Um modelo equivalente para esse processo é o primeiro a colocar as naves espaciais em uma garrafa. Defina a contagem de naves destruídas para zero. Enumere os mísseis . Para determinar qual navio é alvo de míssil , agite bem a garrafa e puxe aleatoriamente uma nave. Com probabilidade , marque-o como destruído; caso contrário, não altere nenhuma de suas marcações. Se originalmente estava intacto e agora foi marcado como destruído, aumente a contagem de navios destruídos. Devolva este navio para a garrafa e repita.n1,2,…,mip
Esta descreve uma Cadeia Markov sobre as contagens de que vai ser executado por meio iterações. Depois que navios forem destruídos, a chance de que outro seja destruído (fazendo uma transição do estado para o estado ) terá a chance de selecionar um navio não destruído (do qual há ) vezes a chance de destruir esse navio. navio (que é ). Isso é,m i i i + 1 n - i p0,1,…,nmiii+1n−ip
Pr(i→i+1)=n−inp.
Caso contrário, a cadeia permanece no estado . O estado inicial é . Centros de interesse sobre a possibilidade de estar no estado depois iterações.i = 0 n mii=0nm
A matriz de transição dessas probabilidades, em que é a probabilidade de fazer a transição de para , diagonaliza facilmente:P i j i jPPijij
P=⎛⎝⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜1−p00⋮00p1−n−1np0⋮000n−1np1−n−2np⋱⋯⋯⋯⋯n−2np⋱0000⋯⋮1−1np0000⋮1np1⎞⎠⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟=V⎛⎝⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜100⋮000n−pn0⋮0000n−2pn⋱⋯⋯⋯⋯⋯⋱00000⋮n−(n−1)pn0000⋮0n−npn⎞⎠⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟V−1
Onde
V=⎛⎝⎜⎜⎜⎜⎜⎜⎜⎜⎜(n0)(n−10)⋮(10)(00)(n1)(n−11)⋮(11)0(n2)(n−12)⋱00⋯⋯⋱⋯⋯(nn−1)(n−1n−1)⋮00(nn)0⋮00⎞⎠⎟⎟⎟⎟⎟⎟⎟⎟⎟
é o triângulo de Pascal. O inverso é facilmente encontrado como
V−1=⎛⎝⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜000⋮0(n0)000⋮(n−1n−1)−(n1)⋯⋯⋯⋱⋯⋯00(22)⋱(−1)n−1+2(n−12)(−1)n+2(n2)0(11)−(21)⋮(−1)n−1+1(n−12)(−1)n+1(n2)(00)−(10)(20)⋮(−1)n−1+0(n−10)(−1)n+0(n0)⎞⎠⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟
Que essa matriz central (diagonal) seja escrita , para queΛ
Λjj=n−jpn.
A matriz para iterações ém
Pm=(VΛV−1)m=VΛmV−1(*)
e obviamente
(Λm)jj=Λmjj=(n−jpn)m.
Fazendo a multiplicação em encontramos∗
(Pm)0n=∑j=0min(m,n)(−1)j(nj)(n−jpn)m.(**)
Essa é a chance de estar no estado após iniciar no estado . É zero para e depois disso é vezes um polinômio de grau (com termos diferentes de zero dos graus a ), o que significa que nenhuma simplificação adicional parece possível. No entanto, quando é amplo (cerca de a ), as potências na soma podem ser aproximadas por exponenciais,n0m=0,1,…,n−1pnm−n0m−nn/p1020∗∗
(n−jpn)m=(1−jpn)m≈(e−mp/n)j,
que por sua vez pode ser somado através do Teorema Binomial, dando
(Pm)0n≈(1−e−mp/n)n.
(Quando e são grandes, isso pode ser aproximado como .)mp/nnexp(e−mp)
Para ilustrar, esta parcelas gráfico os valores correctos em azul e a vermelho em aproximação para , onde e . As diferenças são de apenas alguns por cento, no máximo.m≤100n=5p=1/3
A aproximação pode ser usada para estimar um que provavelmente destruirá todos os navios. Se você deseja que haja pelo menos uma chance de disso, escolha para quem1−εm
mp/n é amplo e
m≈n(log(n)−log(ε))/p .
Isso é obtido a partir de uma expressão de primeira ordem da série Taylor para a aproximação. Por exemplo, suponha que gostaríamos de ter chance de destruir todos os navios no exemplo da figura. Então e95%ε=0.05
m≈5(log(5)−log(0.05))/(1/3)=69.
Observe que não é muito grande, mas está chegando lá: a aproximação pode estar correta. De fato, a chance aproximada é de enquanto a chance correta é de . 95,07 % 95,77 %mp/n=69(1/3)/5=4.695.07%95.77%
Esta é uma versão modificada Coupon Problema de Colecionador em que cada cupom que é encontrado tem apenas uma chance de ser útil. O método usado aqui produz toda a distribuição de naves destruídas para qualquer : basta inspecionar a primeira linha de .m P mpmPm