Rencontre-ongelma

Rencontre-ongelma eli yhteensattumisongelma on todennäköisyys sille, että kun joukon A {\displaystyle A} alkiot kuvataan joukon B {\displaystyle B} alkioiksi ja joukon B {\displaystyle B} alkiot sekoitetaan satunnaiseen järjestykseen, niin kuvauksessa kaikki joukon A {\displaystyle A} alkiot saavat sekoituksessa jonkun uuden joukon B {\displaystyle B} alkion. Todennäköisyyden arvo riippuu alkioiden lukumäärästä, mutta se on asymptoottisesti vakio 1 e = 0,368 {\displaystyle {\tfrac {1}{\mathrm {e} }}=0{,}368} .

Käytännön esimerkkinä tästä ovat pikkujoulun lahjapaketit, missä juhlavieraat tuovat lahjasäkkiin lahjapaketin ja ne jaetaan takaisin lahjan tuoneiden kesken umpimähkään. Penconte-ongelmassa päätellään todennäköisyys sille, että "kukaan ei saa omaa lahjaansa takaisin".

Ongelman ratkaisu

Ratkaisu on johdettavissa käyttäen apuna joukko-opin ja todennäköisyyslaskennan kaavoja.

Olkoon lahjapaketin tuojien lukumäärä n N {\displaystyle n\in \mathbb {N} } . Sovitaan, että tapahtuma A i {\displaystyle A_{i}} sattuu, jos vieras i {\displaystyle i} saa takaisin oman lahjansa. Kysytty todennäköisyys on siis

P ( i = 1 n A i c ) {\displaystyle \mathbb {P} \left(\bigcap _{i=1}^{n}A_{i}^{\mathrm {c} }\right)} .

De Morganin lakien mukaan pätee yhtälö

i = 1 n A i c = ( i = 1 n A i ) c {\displaystyle \bigcap _{i=1}^{n}A_{i}^{\mathrm {c} }=\left(\bigcup _{i=1}^{n}A_{i}\right)^{\mathrm {c} }} .

Tämän ja komplementin todennäköisyyden kaavalla saadaan yhtälö

P ( i = 1 n A i c ) = P [ ( i = 1 n A i ) c ] = 1 P ( i = 1 n A i ) {\displaystyle \mathbb {P} \left(\bigcap _{i=1}^{n}A_{i}^{\mathrm {c} }\right)=\mathbb {P} \left[\left(\bigcup _{i=1}^{n}A_{i}\right)^{\mathrm {c} }\right]=1-\mathbb {P} \left(\bigcup _{i=1}^{n}A_{i}\right)} .

Todennäköisyyslaskennan yleinen yhteenlaskukaava on

P ( i = 1 n A i ) = k = 1 n [ ( 1 ) k 1 i 1 < < i k P ( j = 1 k A i j ) ] {\displaystyle \mathbb {P} \left(\bigcup _{i=1}^{n}A_{i}\right)=\sum _{k=1}^{n}\left[(-1)^{k-1}\sum _{i_{1}<\ldots <i_{k}}\mathbb {P} \left(\bigcap _{j=1}^{k}A_{i_{j}}\right)\right]} .

Näin ollen riittää laskea tapahtumien A 1 , , A n {\displaystyle A_{1},\ldots ,A_{n}} kaikkien kombinaatioiden leikkausten todennäköisyydet. Koska lahjojen oletetaan jakautuvan symmetrisin todennäköisyyksin, on

P ( j = 1 k A i j ) = P ( j = 1 k A j ) {\displaystyle \mathbb {P} \left(\bigcap _{j=1}^{k}A_{i_{j}}\right)=\mathbb {P} \left(\bigcap _{j=1}^{k}A_{j}\right)}

kaikilla indeksikombinaatioilla { i 1 , , i k } { 1 , , n } {\displaystyle \{i_{1},\ldots ,i_{k}\}\subset \{1,\ldots ,n\}} . Yhteenlaskukaava supistuu tällöin binomikertoimen avulla merkittynä muotoon

P ( i = 1 n A i ) = k = 1 n [ ( 1 ) k 1 ( n k ) P ( j = 1 k A j ) ] {\displaystyle \mathbb {P} \left(\bigcup _{i=1}^{n}A_{i}\right)=\sum _{k=1}^{n}\left[(-1)^{k-1}{n \choose k}\mathbb {P} \left(\bigcap _{j=1}^{k}A_{j}\right)\right]} .

Todennäköisyys, että k {\displaystyle k} ensimmäistä vierasta saavat takaisin omat lahjansa, on

P ( j = 1 k A j ) = 1 ( n k ) ! n ! = ( n k ) ! n ! {\displaystyle \mathbb {P} \left(\bigcap _{j=1}^{k}A_{j}\right)={\frac {1\cdot (n-k)!}{n!}}={\frac {(n-k)!}{n!}}} .

Kun tämä sijoitetaan yhteenlaskukaavaan, saadaan vastaus

P ( i = 1 n A i c ) = 1 k = 1 n ( ( 1 ) k 1 ( n k ) ( n k ) ! n ! ) = k = 0 n ( 1 ) k k ! {\displaystyle \mathbb {P} \left(\bigcap _{i=1}^{n}A_{i}^{\mathrm {c} }\right)=1-\sum _{k=1}^{n}\left((-1)^{k-1}{n \choose k}{\frac {(n-k)!}{n!}}\right)=\sum _{k=0}^{n}{\frac {(-1)^{k}}{k!}}} .

Tämän kaavan avulla pystytään kysytty todennäköisyys laskemaan helposti eri lukumäärän n {\displaystyle n} arvoille. Kun n {\displaystyle n} lähestyy ääretöntä, suppenee todennäköisyys eksponenttifunktion määritelmän mukaan kohti Neperin luvun käänteislukua e 1 0,367 879 {\displaystyle \mathrm {e} ^{-1}\approx 0{,}367\,879} . Summalausekkeen luonteesta johtuen suppeneminen on hyvin nopeaa, ja likiarvo 0,368 {\displaystyle 0{,}368} pätee aina, kun lahjan tuovia vieraita on vähintään kuusi.

n {\displaystyle n} todennäköisyys
2 {\displaystyle 2} 1 2 = 0 , 5 {\displaystyle {\frac {1}{2}}=0{,}5}
3 {\displaystyle 3} 1 3 0,333 {\displaystyle {\frac {1}{3}}\approx 0{,}333}
4 {\displaystyle 4} 3 8 = 0,375 {\displaystyle {\frac {3}{8}}=0{,}375}
5 {\displaystyle 5} 11 30 0,367 {\displaystyle {\frac {11}{30}}\approx 0{,}367}
6 {\displaystyle 6} 53 144 0,368 {\displaystyle {\frac {53}{144}}\approx 0{,}368}
7 {\displaystyle 7} 103 280 0,367 857 {\displaystyle {\frac {103}{280}}\approx 0{,}367\,857}
8 {\displaystyle 8} 2 119 5 760 0,367 882 {\displaystyle {\frac {2\,119}{5\,760}}\approx 0{,}367\,882}
9 {\displaystyle 9} 16 687 45 360 0,367 879 {\displaystyle {\frac {16\,687}{45\,360}}\approx 0{,}367\,879}