Stargate'i aadressi matemaatiline valijaskeem

Klõpsa valijapaneelil glüüfidel, et koostada aadress, seejärel vajuta Vali, et näha, kuidas värav iga ševroni lukustab. Matemaatikapaneel näitab, mitu järjestatud aadressi 39-sümboliline kogum suudab tekitada.

Interaktiivse simulatsiooni laadimine...

Õ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

  1. 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.
  2. Korrutades: 39 × 38 × 37 × 36 × 35 × 34 × 33. Faktoriaalidega kirjutatult on see 39! / 32!, kuna lõpuosa 32! on täpselt see osa, mida ei kasutata — mis ongi ülal toodud valem, = 77,519,922,480.
  3. 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! = 5040 korda 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.

Miks permutatsioonid, mitte kombinatsioonid? 🖖

Stargate'i aadress ei ole sümbolite hulk, vaid järjestus — ševroon 1 lukustub esimesena, ševroon 2 teisena ja nii edasi, seega samu seitset glüüfi teises järjekorras valides saadakse hoopis teine füüsiline pöörlemistee ja seriaali enda loogika järgi ka teine sihtkoht. See ongi täpselt vahe permutatsioonide ja kombinatsioonide vahel: milliseid 7 glüüfi 39-st kasutada, on kombinatoorne küsimus, kuid valimisprotsess ise on permutatsioon — antud seitset sümbolit saab ümber järjestada 7! = 5040 viisil. Just see 5040-kordne tegur teebki P(39, 7) palju suuremaks kui C(39, 7) — järjekord pole siin pisiasi, vaid kogu mehhanism, millel fiktiivne väravavõrgustik toimib.

Seitsmes glüüf tähendab 'sa asud siin' 🖖

Sarja loogikas määravad sihtkoha vaid kuus glüüfi; seitsmes on lähtepunkt — kindel sümbol, mis tähistab väravat, kust sa valid, nagu tagastusaadress ümbrikul. Seepärast näitab paneel kahte arvu: aadresside koguarvu P(39, 7) ja sihtkoha variante P(38, 6), mis jätavad lähtepunkti arvestamata. Tore tagajärg: koguarv on täpselt 39 korda suurem kui sihtkohtade arv, sest lähtepunkti võib täita ükskõik milline 39 glüüfist.

Seitse chevronit katavad galaktika napilt 🖖

Väravavõrk hõlmab Linnuteed, kus on hinnanguliselt 10¹¹ kuni 4×10¹¹ tähte. Ometi annab 7-glüüfiline aadress vaid P(39, 7) ≈ 7.75×10¹⁰ võimalust — vähem kui galaktikas tähti, nii et seitse chevronit ei suuda igale tähele oma aadressi anda. Lülita tööriist 8 chevronile ja arv kasvab teguri 32 võrra umbes 2.48×10¹²-ni, edestades lõpuks tähtede loendust. See lisachevron pole kaunistus — see teebki aadressiruumi piisavalt suureks.

Ülesanne täielikult lahendatud

  1. 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.

    1. 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.

    2. 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.

    3. 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.

    4. 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(ij), sest kaalud moodustavad aritmeetilise jada vahega 17.

    5. 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.

    6. 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(ij)(vjvi). 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.

    7. 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.

    8. 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)

Näiteülesanded

  • 7 glüüfi (stabiilne) - Standardne 7-sümboliline aadress — 6 sihtkoha sümbolit pluss lähtepunkt — on Tähevärava võrgustiku selgroog. 39 sümboli hulgast on võimalik moodustada 77,519,922,480 erinevat järjestatud aadressi: vaheta kahe sümboli asukohad ja valid hoopis teise planeedi.
  • Maa → Abydos - Esimene ekraanil valitud värava aadress: Maalt Abydosele, 1994. aasta filmis ja SG-1 pilootosas esinevale kõrbeplaneedile. Sama 7-sümboliline struktuur nagu igal standardsel aadressil — just sümbolite järjekord, mis lukustatakse chevron'ilt chevron'ile, kodeeribki tegeliku sihtkoha.
  • 8 glüüfi (kaugmaa) - Lisa 8. sümbol pikamaa-aadressi jaoks ja võimalike järjestuste arv paisub 2,480,637,519,360-ni — see on 32× suurem kui standardsel 7-sümbolilisel võrgustikul, sest iga lisanduv chevron korrutab arvu veel ühe saadaoleva sümboliga.
  • Käsitsi (6 glüüfi) - Kuus sümbolit, ilma lähtepunktita: P(39, 6) = 2 349 088 560 järjestatud aadressi. Seitsmenda ševrooni lisamisel korrutub koguarv 33-ga, mitte 39-ga. Viimane sümbol valitakse selle hulgast, mis esimesest kuuest rõngale alles jäi, ja see kahanev hulk ongi ülemisel paneelil näidatud laskuva faktoriaali kogu sisu.