Sünnipäevaparadoksi uurija

ühise sünnipäeva tõenäosus grupi suuruse suhtes

Interaktiivse simulatsiooni laadimine...

Õppetund

Teooria — Sünnipäevaparadoksi uurija

Sünnipäevaprobleem küsib tõenäosust, et vähemalt kahel inimesel rühmas on sama sünnipäev. See ei ole tõenäosus, et kellegi sünnipäev kattub sinu omaga, ega puuduta ühtegi kindlat kuupäeva — see erinevus ongi kogu põhjus, miks vastus tundub intuitiivselt vale.

Mida iga sümbol tähendab

P(match)
tõenäosus, et mõnel paaril on sama sünnipäev — peamine näitaja, 50.7% kui n = 23.
P(all unique)
tõenäosus, et mitte ühelgi kahel inimesel pole sama sünnipäeva. Nende kahe summa on alati 100%: 50.7% + 49.3%.
pairs
mitu paari rühmas on, n(n−1)/2 — 23 inimese puhul on see 253, ning tõenäosust kasvatabki just paaride, mitte inimeste arv.

Kuidas nähtut lugeda

Esikohal on kaks tõenäosust, seejärel paaride arv ning siis nummerdatud selgitus. Selle all näitab valem täpselt, mida korrutati: 1 − (365/365 × 364/365 × ⋯ × 343/365) — üks tegur iga inimese kohta, lõppedes tulemusega 1 − 0.492703 = 0.507297. Iga tegur näitab tõenäosust, et järgmise inimese sünnipäev ei lange kokku ühegi juba võetud kuupäevaga.

Eeldab
Eeldab 365 võrdse tõenäosusega sünnipäeva, mis on inimeste vahel sõltumatud. Ei arvestata liigaastaid, kaksikuid ega sündide hooajalisust — tegelikus elus on need kolm eeldust valed, mistõttu on tegemist puhta mudeli, mitte demograafilise prognoosiga.
Ei kehti, kui
Ühtluse eeldus ei ole konservatiivne selles suunas, nagu võiks arvata. Tegelikud sünnikuupäevad koonduvad hooajaliselt ning igasugune kõrvalekalle ühtlusest suurendab kattuvuse võimalust — seega on 50.7% 23 inimese puhul alumine piir, mitte hinnang. Nihuta liugur väärtuseni 80 ja tõenäosus ümardub 100%-ni, kuid ei jõua selleni kunagi tegelikult: vähem kui 366 inimese korral jääb võimalus, et kattuvusi ei esine, alati alles.

paradoks peitub paarides, mitte inimestes 🖖

Paradoks kaob, kui lõpetad inimeste loendamise ja hakkad loendama paare. 23 inimese puhul on võrreldavaid sünnipäevi vaid 23, aga erinevaid paare on C(23,2) = 253 — ja igaüks neist võib anda kokkulangevuse, piisab ühest ainsast. Inimlik intuitsioon lähtub küsimusest „kui palju on minusuguseid inimesi”, mis kasvab lineaarselt, samas kui tegelikult oluline suurus — paarisvõrdluste arv — kasvab ruutsõltuvuses valemiga n(n−1)/2. Sellepärast tõuseb tõenäosuskõver nii vara järsult: juba n=23 juures on 50% ületatud ja n=57 juures üle 99%, sest ülesandele antakse O(n²) võimalust kokkulangevuseks.

miks arvutame vastupidist 🖖

Selle asemel et jälgida iga võimalikku viisi, kuidas kokkulangevus võiks tekkida, esitab tööriist palju lihtsama vastupidise küsimuse: kui suur on tõenäosus, et kõigi sünnipäevad on erinevad? Lisa inimesi ükshaaval — teine peab vältima 1 hõivatud päeva (364/365), kolmas 2 ja nii edasi —, korruta need kahanevad murrud ja lahuta tulemus 100%-st. Peamine mõte: 23 inimese juures langeb 'kõik erinevad' tõenäosus lõpuks alla poole, ja just seetõttu on 23 pöördepunkt.

sama matemaatika murrab krüptograafia 🖖

Sama loogika juhib vaikselt digitaalset turvalisust. Räsifunktsiooni murdmiseks pole ründajal harva vaja kindlat sihtmärki — piisab kahest suvalisest sisendist, mis annavad sama väljundi, ja see on täpselt 'ükskõik milline paar' probleem. Nii langeb N võimaliku väljundiga räsi sünnipäevarünnaku ohvriks juba umbes √N katse järel, mitte N järel. Seepärast pakub 256-bitine räsi vaid umbes 128 bitti kokkupõrkekindlust ning arendajad peavad pikkuse kahekordistama.

Harjutus

Kontrolli ennast

Ennusta vastust esmalt ise ja kasuta siis ülal olevaid juhtelemente. Ava lahendus alles siis, kui oled otsustanud — just see teebki sellest harjutuse.

  1. Kümme inimest annab 45 paari ja igal paaril on umbes üks võimalus 365-st kokku langeda — mis viitab arvule 45/365 = 12.3%. Paneel ütleb 11.7%. Kummale poole kiire hinnang eksib ja miks just sinnapoole?

    Näita vastust
    See ülehindab ja teeb seda alati. 45 paarivõimaluse liitmine loeb iga topeltkokkulangevuse mitu korda: see summa on sisalduvuse-välistuse rea esimene liige, mille järgmine liige lahutab. Paneel läheb hoopis ausat teed — P(kõik erinevad) = (365/365)(364/365)…(356/365) = 88.3% ja 100% − 88.3% = 11.7%. Vahe kasvab kiiresti: 23 inimese juures annab kiire summa 253/365 = 69.3% tõelise 50.7% vastu, ja niipea kui rühmas on üle 365 paari, purjetab kiire summa üle 100%, mis on kõige selgem tõend, et see polnudki kunagi tõenäosus.
  2. Lükka rühma suurus maksimumini 80. P(ühine sünnipäev) näitab 99.99% — mitte 100%. Mitu inimest on vaja, et ühine sünnipäev oleks tõesti kindel?

    Näita vastust
    366 või 367, kui lubad ka 29. veebruari. See on Dirichlet’ printsiip ja ainus tee kindluseni: 365 võimaliku kuupäeva juures ei saa 366 inimest kõik erinevad olla. Kõik sellest allpool on üksnes tõenäoline, ükskõik kui lähedale see paistab jõudvat. Liugur lõpeb 80 juures, sest just seal teeb kõver oma töö — seal on ta juba 99.99% peal ja ülejäänud 286 inimest ostavad ainult viimase sajandiku protsendist. Pane tähele, kuidas paneel lisab n = 73 juures teise kümnendkoha, selle asemel et trükkida 100%, mida ta põhjendada ei suuda.

Ülesanded täielikult lahendatud

  1. 23 inimest ruumis ühise sünnipäevaga 5 sammu

    Mitu inimest peab ruumis olema, et ühine sünnipäev oleks tõenäosem kui selle puudumine? Tuleta see, seejärel selgita, miks 23 tundub liiga väike.

    1. Arvuta vastandsündmus. „Vähemalt üks ühine“ on ebamugav, sest kattuvus võib toimuda mitmel viisil korraga; „kõik erinevad“ on üksik puhas valikute jada.

    2. Iga uus inimene peab vältima kõiki juba võetud sünnipäevi, seega väheneb saadaolevate päevade arv iga kord ühe võrra. Korruta murrud.

    3. Lahuta ühest. Ülalolev uurija väljastab täpselt selle ja 23 on esimene n, mille korral tulemus ületab poole.

    4. Sa ei võrdle ennast lihtsalt 22 teisega: arvesse läheb iga paar ning paaride arv kasvab võrdeliselt rühma suuruse ruuduga.

    5. See ruutkasv on nähtav ligikaudses valemis: tõenäosus sõltub n² jagatusest 730-ga, seega ristumispunkt muutub nagu ruutjuur, mitte 365 murdosa.

    Vastus

    23 inimest, 50.7% tõenäosusega. Intuitsioon, mis alt vedab, on küsimuse asendamine: inimesed kujutavad ette, et "keegi jagab minu sünnipäeva", mille puhul on võrdsete võimaluste jaoks vaja 253 inimest, kui esitatud küsimus on "mis tahes kaks meist", mille puhul on 253 paari n = 23 korral. Ruutjuurest sõltuv skaalautuvus on üldine õppetund ja see on põhjus, miks räsikonfliktid tekivad umbes √N sisestuse järel, mitte N järel — sama arvutus määrab, kui pikk peab räsi olema.

  2. 50,7% reegel kahekümne kolme inimese kohta 365-päevases aastas 6 sammu

    Kakskümmend kolm inimest, 50,7 %. Arv, mille kõik meelde jätavad, on 23 — ja see on tulemuse kõige kasutum osa, sest ta kuulub 365-päevase aasta juurde ja mitte kuhugi mujale. Leia selle all olev reegel, mis kehtib ka siis, kui kalender on räsifunktsioon.

    1. Täpne vastus on korrutis: teine inimene ei lange kokku esimesega, kolmas ei lange kokku kummagagi, ja nii edasi läbi toa. Just seda korrutist paneel arvutab.

    2. Korrutistega on raske arutleda, seega logaritmi — ja kuni k on 365 kõrval väike, on iga logaritm peaaegu oma argument. Alles jääb esimese n−1 täisarvu summa.

    3. Pane tõenäosus võrduma poolega ja lahenda. Liige n² domineerib n üle, seega on vastus ruutjuur — ja see maandub poole inimese täpsusega paneeli 23 juures.

    4. Kirjuta see nüüd ilma ühegi 365-ta. Aasta polnud kunagi eriline: N võrdtõenäolise pesa korral on poolel teel punkt umbes 1,1774√N.

    5. Rakenda seda seal, kus see tegelikult hammustab. 32-bitisel räsil on 2³² pesa, mis kõlab hiiglaslikult — aga hiiglasliku arvu ruutjuur ei ole hiiglaslik.

    6. Mõõda seda ruumi suuruse vastu, millest tõmmatakse.

    Vastus

    Lävi kasvab nagu √N, mitte nagu N/2 — ja 32-bitise räsi puhul tähendab see 77 162 kirjet, 0,0018 % ruumist, enne kui kokkupõrge on tõenäolisem kui mitte. See ongi sünnipäevarünnak, ja just seepärast on 32-bitised kontrollsummad suures mahus dedupleerimiseks kasutud ning räsi pikkused valitakse bittides nii, et ruutjuur on juba sisse arvestatud. Paneeli 23 on üksainus punkt sellel kõveral. Üle kandub kõver.

Õpitee

Kui kaks asja jõuavad sama väärtuseni

Viib edasi Räsitabelid paaride loendamise argumenti ja harjumust arvutada vastandsündmust — tõenäosust, et miski ei põrku kokku.

Allikad (1)

Näiteülesanded

  • kontor n=10 - n=10 -> 11.7% tõenäosus – tundub turvaline, kuid võrdluses on juba 45 paari
  • klass n=23 - n=23 -> 50.7% tõenäosus – kuulus pöördepunkt: tõenäolisem kui mitte
  • ruum n=30 - n=30 -> 70.6% tõenäosus – tüüpilises klassis ligikaudu 2 juhul 3-st
  • saal n=57 - n=57 -> 99.0% tõenäosus – juba 57 inimesega peaaegu kindel sündmus