Õppetund
Teooria — Stargate'i aadressi matemaatiline valijaskeem
Värava aadress on kordusteta järjestatud valik — permutatsioon. Järjekord on oluline (samad sümbolid valituna teises järjekorras annavad teise aadressi) ja ükski sümbol ei kordu, mis on täpselt juhtum, mida loendab P(n, k) = n! / (n − k)!.
Mida iga sümbol tähendab
n- rõngal saadaolevate sümbolite arv:
39. k- mitu sümbolit valitakse:
7. P(n, k)- järjestatud valikute arv,
39! / 32! = 77,519,922,480. destinations- väiksem arv,
1,987,690,320— aadressid, mis tegelikult kuhugi viivad, kui üks seitsmest on fikseeritud.
Kust valem tuleb
- Loenda valimist otse. Esimese sümboli jaoks on 39 valikut; teise jaoks 38, sest ükski sümbol ei kordu; kolmanda jaoks 37 ja nii edasi kokku seitsme valiku puhul.
- Korrutades:
39 × 38 × 37 × 36 × 35 × 34 × 33. Faktoriaalidega kirjutatult on see39! / 32!, kuna lõpuosa32!on täpselt see osa, mida ei kasutata — mis ongi ülal toodud valem,= 77,519,922,480. - Nüüd fikseeri viimane glüüf lähtepunktina ja ülejäänud 38-st on vabad vaid kuus:
P(38, 6) = 38 × 37 × 36 × 35 × 34 × 33 = 1,987,690,320. See on teine arv ja see on täpselt esimene jagatud 39-ga.
Kuidas nähtut lugeda
Kaks loendust kõrvuti, valem nende vahel. Huvitav on nende suhe: sihtkohtade arv on koguarv jagatud täpselt 39-ga, mis on aritmeetiline tunnus selle kohta, et üks seitsmest kohast on reserveeritud.
- Eeldab
- Eeldab, et ükski sümbol ei kordu ja et järjekord on oluline. Jäta esimene ära ja peaksid astendama arvu 39 seitsmenda astmeni; jäta teine ära ja loendaksid kombinatsioone, mida 39-st 7 valimisel on
7! = 5040korda vähem. - Ei kehti, kui
- Suured arvud loovad otsingust meelitava mulje. Ligi kaks miljardit aadressi kõlab nagu ammendamatu galaktika, kuid permutatsioonide loendus ei ütle midagi selle kohta, kui paljud neist on kehtivad — enamik jadasid ei viiks mitte kuhugi, täpselt nagu enamik seitsmetähelisi sõnesid pole sõnad. Võimaluste loendamine on lihtsam pool; teadmine, millised neist midagi tähendavad, on raskem pool, ja seda ei ütle ükski faktoriaal.
Ülesanne täielikult lahendatud
-
Kontrollsumma 7-sümbolilisele eelseadistusele kaaluga 17( i + 3) 8 sammu
Eelseadistus 7 glüüfi (stabiilne) valib 3, 9, 17, 21, 28, 35, 1. Paneel kaalub pesas i — alates nullist lugedes — asuvat glüüfi kaaluga 17(i + 3), liidab kokku ja taandab mooduli 97 järgi. Arvuta kontrollsumma käsitsi; seejärel otsusta, kas kahe sellise glüüfi sisestamine vales järjekorras saaks kunagi jääda märkamatuks.
-
Kirjuta kõigepealt kaalud välja, sest kõik edasine on nendega tehtav aritmeetika. Seitse pesa, seitse kaalu ja need kasvavad sammuga täpselt 17 — see korrapära ongi kogu tõestuse mootor lõpus.
-
Korruta iga glüüfi number selle pesa kaaluga ja liida need kokku. Miski pole veel moodulaarne; see on tavaline summa ja soov korral saaks arvu 17 igast liidetavast sulgude ette tuua.
-
Nüüd jaga 97-ga ja võta jääk: arvu 12 597 sisse mahtub 129 tervet 97 ning üle jääb 84. Seda näitabki ruut Kontrollsumma (mod 97) ja see on viimane arv, mille see tuletus tööriistast võtab; kõik edasine on sinu teha.
-
Siin on küsimus, millele see ruut vastata ei saa. Vaheta pesades i ja j olevad glüüfid: kõik ülejäänud summa liidetavad jäävad puutmata, seega muutub kogusumma ainult ühe suuruse võrra — need kaks glüüfi on kaalud omavahel vahetanud. Ava sulud ja kaalude vahe taandub avaldiseks 17(i − j), sest kaalud moodustavad aritmeetilise jada vahega 17.
-
Katseta seda valemit, mitte ära lihtsalt usalda seda. Pesades 0 ja 1 on 3 ja 9, seega Δ = 17(0 − 1)(9 − 3) = −102, ning −102 annab mod 97 jäägiks 92 — ennustades tulemuseks 84 + 92 = 176, mis on 79. Küsi tööriistalt samu seitset glüüfi nii, et kaks esimest on omavahel vahetatud,
?address=9,3,17,21,28,35,1, ning ruut näitab 79. -
Selleks et vahetus jääks märkamatuks, ei pea Δ olema lihtsalt väike, vaid 0 mod 97 — kontrollsumma peab uuesti jõudma väärtuseni 84. Seega peab 97 jagama avaldist 17(i − j)(vj − vi). 97 on algarv ega jaga arvu 17, ning korrutis on algarvu kordne vaid siis, kui mõni selle teguritest seda juba on: seega peab 97 jagama pesade vahet või glüüfide vahet eraldi võetuna.
-
Kumbki ei saa seda pakkuda. Kaks erinevat pesa on teineteisest kaugeimalt 8 koha kaugusel, sest ševroneid on kõige rohkem üheksa; kaks erinevat glüüfi vahemikust 1 kuni 39 erinevad teineteisest maksimaalselt 38 võrra. Mõlemad vahed on nullist erinevad ja mõlemad on väiksemad kui 97, seega Δ ei ole kunagi 0 mod 97. Ükski kahe glüüfi kohavahetus ei jää sellele kontrollsummale märkamatuks — ei selle aadressi puhul ega ühegi teise valitava aadressi puhul, sest ju üheksa ševronit hoiabki pesade vahe alla 97. Sööda tööriistale URL-i kaudu pikem aadress ja see garantii kaob esimesena.
-
Iga kohavahetuse tabamine ei tähenda aadressi täielikku tõendamist ja just siin hindab ruut end vaikselt üle. Nende sama seitsme glüüfi 5039 ülejäänud järjestusest annavad 62 samuti tulemuseks 84 — kusjuures 97 võrdse lahtri puhul oleks ootuspärane umbes 52. Umbes üks vale järjestus sajast kuvatakse õigena. See praagib välja vaid kõige sagedasema sisestusvea ega midagi enamat.
Vastus
84 — ja ükski kahe glüüfi kohavahetus ei saa seda kunagi jätta väärtusele 84. See garantii on aga piirang, mitte kontrollsummade üldine omadus: see kehtib vaid seni, kuni 97 on suurem nii pikimast pesade vahest kui ka suurimast glüüfide erinevusest. Laienda ringi 98 glüüfini ja garantii kaob kohe — nii 1, 98, 17, 21, 28, 35, 3 kui ka 98, 1, 17, 21, 28, 35, 3 annavad kontrollsummaks 35, sest nende vahe 97 hävib mooduli tõttu (arvutatud siin; tööriista ring peatub 39 juures). Just seetõttu võetaksegi IBAN-i kontrollnumbrit mod 97, mitte mod 10: vali algarv, mis on suurem kui mis tahes väljal esineda võiv erinevus, ja iga kohavahetus on sunnitud välja tulema. Tööriist arvutab kontrollsumma ega ütle midagi selle kohta, mida see tuvastab, ning näit 62 arvust 5039 on teine asi, mida see kunagi ei arvuta — see, mis ei lase sul ruutu täielikult usaldada.
-
Allikad (1)
- Ordered selections without repetition, which is what P(n, k) counts: I. Niven, "Permutations and Combinations," in Mathematics of Choice: How to Count Without Counting, 7–26. Mathematical Association of America.