Ülesanne täielikult lahendatud
-
50 sümboliga voos libisev 3 sümboli pikkune aken 6 sammu
50 sümbolist koosnev voog moodustatakse 4 tähest A, B, C, D ning piki seda libiseb 3-sümboliline aken. See on paneeli olek pikkusega 50 ja aknaga 3. Mitu neist akendest peaks näitama mustrit, mis on juba varem esinenud? Tuletage see arv ning leidke seejärel lühim voog, mille puhul kordus on juba tõenäolisem kui võrdsed võimalused.
-
Enne kõige muu loendamist loendage aknad. 3-sümboliline aken saab alguse saada positsioonilt 1 ja igalt positsioonilt kuni arvuni 48, sest algamine positsioonilt 49 ulatuks üle lõpu. See annab 48 akent ning 48 on nimetaja, mille suhtes esitatakse iga korduste arv paneelil.
-
Nüüd loendage, millised need võiksid olla. 3 kohta, igaühes 4 tähte, seega on olemas 64 mustrit. Aknaid on vähem kui mustreid, mis tähendab, et miski ei sunni kordust esinema — Dirichlet' printsiip ei anna siin midagi ning mis tahes juhtuv on juhus.
-
Pööra küsimus ümber ja vaatle üht mustrit, näiteks ABD-d. Tõenäosus, et üks aken ei ole ABD, on 63/64. Käsitle 48 akent sõltumatute valikutena, nagu tehakse ka paneelil kuvatava keskväärtuse arvutamisel. Tõenäosus, et ABD puudub neist kõigist, on (63/64)48 = 0,4696. Seega esineb ABD vähemalt korra tõenäosusega 1 − 0,4696 = 0,5304.
-
See 0,5304 on tõenäosus iga mustri jaoks võrdselt, seega korrutage see kõigi 64-ga, et saada erinevate mustrite oodatav arv, mida voog tegelikult sisaldab.
-
Aken on kordus täpselt siis, kui selle muster on juba varem esinenud. Seega annab iga esindatud muster ühe akna, mis ei ole kordus. Lahuta akende koguarvust erinevate mustrite arv ja saad korduste arvu.
-
Teine tee selgitab, miks vastus on nii suur. Mustrite kohta küsimise asemel küsige aknapaaride kohta: mis tahes kaks akent sisaldavad samu 3 sümbolit tõenäosusega 1/64 ning proovimiseks on 1128 paari.
Vastus
48 aknast kordub 14,05 ning 17,6 oodatavat kokkulangevat paari näitab, et tulemus pole sugugi piiripealne. Arvuta paaride arvu abil tagurpidi, millal muutub korduse esinemine tõenäolisemaks kui selle puudumine. Keskväärtusega λ arv on null tõenäosusega e^(−λ) ja see tõenäosus langeb alla poole täpselt siis, kui λ = ln 2. Võrdsusta oodatav kokkulangevuste arv väärtusega ln 2: piisab juba 10 aknast ehk 12 sümboli pikkusest jadast. See on sünnipäevaparadoks, kus 365 sünnipäeva asemel on 64. Seepärast pole 50 sümboli pikkuse jada kordumine signaal, vaid ootuspärane lähtekoht. Arvesta siiski ühe mööndusega: kõrvuti akendel langeb 3 sümbolist kokku 2, mistõttu pole need kummaski arvutuses eeldatud sõltumatud valikud. Tegelik 50% piir saabub umbes ühe sümboli võrra hiljem.
-
Allikad (1)
- Insight block 3 — why AAAA clumps and ABCD does not: L. J. Guibas and A. M. Odlyzko, "String overlaps, pattern matching, and nontransitive games." Journal of Combinatorial Theory, Series A 30(2), 183–208, 1981 — the correlation polynomial that measures how a pattern overlaps a shifted copy of itself.