Lektion
Die Theorie — Stargate-Adress-Mathewähler
Eine Gate-Adresse ist eine geordnete Auswahl ohne Wiederholung — eine Permutation. Die Reihenfolge spielt eine Rolle (dieselben gewählten Symbole in einer anderen Reihenfolge ergeben eine andere Adresse) und kein Symbol wiederholt sich — genau diesen Fall berechnet P(n, k) = n! / (n − k)!.
Was die einzelnen Symbole bedeuten
n- die Anzahl der auf dem Ring verfügbaren Symbole:
39. k- wie viele gewählt werden:
7. P(n, k)- die Anzahl der geordneten Auswahlen,
39! / 32! = 77,519,922,480. destinations- die kleinere Anzahl,
1,987,690,320— Adressen, die tatsächlich irgendwohin führen, sobald eines der sieben Symbole vergeben ist.
Woher die Formel kommt
- Zähle den Wählvorgang direkt. Für das erste Symbol gibt es 39 Möglichkeiten; für das zweite 38, da sich kein Symbol wiederholt; für das dritte 37, und so weiter für sieben Auswahlen.
- Durch Multiplikation:
39 × 38 × 37 × 36 × 35 × 34 × 33. Mit Fakultäten geschrieben ist das39! / 32!, da die nachfolgende32!genau der nicht genutzte Teil ist — was der oben gezeigten Formel entspricht,= 77,519,922,480. - Lege nun die letzte Glyphe als Ursprungspunkt fest, sodass von den verbleibenden 38 nur noch sechs frei wählbar sind:
P(38, 6) = 38 × 37 × 36 × 35 × 34 × 33 = 1,987,690,320. Das ist die zweite Zahl, und sie entspricht genau der ersten geteilt durch 39.
So liest du, was du siehst
Zwei Anzahlen nebeneinander mit der Formel dazwischen. Das Interessante ist ihr Verhältnis: Die Anzahl der Zieladressen ist die Gesamtzahl geteilt durch genau 39, was die arithmetische Signatur dafür ist, dass einer der sieben Plätze reserviert wurde.
- Setzt voraus
- Dass sich kein Symbol wiederholt und dass die Reihenfolge eine Rolle spielt. Lässt man das Erste weg, würde man stattdessen 39 in die siebte Potenz erheben; lässt man das Zweite weg, würde man Kombinationen zählen, was für 7 von 39 um den Faktor
7! = 5040kleiner ist. - Versagt, wenn
- Große Zahlen schmeicheln einer Suche. Fast zwei Milliarden Adressen klingen nach einer unerschöpflichen Galaxie, aber eine Permutationsanzahl sagt nichts darüber aus, wie viele davon gültig sind — die meisten Sequenzen würden nirgendwohin führen, genau wie die meisten Zeichenketten aus sieben Buchstaben keine Wörter sind. Das Zählen der Möglichkeiten ist die leichte Hälfte; zu wissen, welche eine Bedeutung haben, ist die schwere Hälfte — und das verrät einem keine Fakultät.
Aufgabe vollständig gelöst
-
Prüfsumme für ein 7-Glyphen-Preset, gewichtet mit 17( i + 3) 8 Schritte
Die Voreinstellung 7 Glyphen (stabil) wählt 3, 9, 17, 21, 28, 35, 1. Das Bedienfeld gewichtet die Glyphe in Slot i — von Null an gezählt — mit 17(i + 3), addiert und reduziert mod 97. Berechnen Sie die Prüfsumme von Hand; entscheiden Sie dann, ob das Wählen zweier dieser Glyphen in vertauschter Reihenfolge jemals unbemerkt bleiben könnte.
-
Schreiben Sie die Gewichte zuerst auf, denn alles Folgende ist Arithmetik mit ihnen. Sieben Slots, sieben Gewichte, und sie steigen in Schritten von genau 17 an — diese Regelmäßigkeit ist der gesamte Motor des Beweises am Ende.
-
Multiplizieren Sie jede Glyphennummer mit dem Gewicht ihres Slots und addieren Sie. Noch ist nichts modular; dies ist eine gewöhnliche Summe, und die 17 könnte auf Wunsch aus jedem Term ausgeklammert werden.
-
Teilen Sie nun durch 97 und behalten Sie den Rest: 129 ganze 97er passen in 12.597 und lassen 84 übrig. Das ist es, was die Kachel Prüfsumme (mod 97) anzeigt, und es ist der letzte Wert, den diese Herleitung aus dem Werkzeug übernimmt; alles Folgende gehört Ihnen.
-
Hier ist die Frage, die die Kachel nicht beantworten kann. Vertauschen Sie die Glyphen in den Slots i und j: Jeder andere Term der Summe bleibt unberührt, sodass sich die Gesamtsumme nur um einen einzigen Betrag ändert — die beiden Glyphen haben ihre Gewichte getauscht. Löst man dies auf, reduziert sich die Differenz der Gewichte auf 17(i − j), da die Gewichte eine arithmetische Folge mit der gemeinsamen Differenz 17 bilden.
-
Testen Sie diese Formel, anstatt ihr zu vertrauen. Die Slots 0 und 1 enthalten 3 und 9, sodass Δ = 17(0 − 1)(9 − 3) = −102 gilt, und −102 lässt den Rest 92 mod 97 — was 84 + 92 = 176 vorhersagt, was 79 entspricht. Übergeben Sie dem Werkzeug dieselben sieben Glyphen mit vertauschten ersten beiden,
?address=9,3,17,21,28,35,1, und die Kachel zeigt 79 an. -
Damit eine Vertauschung unbemerkt bleibt, muss Δ nicht nur klein, sondern null mod 97 sein — die Prüfsumme muss wieder bei 84 landen. Also muss 97 das Produkt 17(i − j)(vj − vi) teilen. 97 ist eine Primzahl und teilt 17 nicht, und ein Produkt ist nur dann ein Vielfaches einer Primzahl, wenn dies bereits auf einen seiner Faktoren zutrifft: Also muss 97 den Slot-Abstand oder den Glyphen-Abstand für sich genommen teilen.
-
Keines von beiden kann dies liefern. Zwei verschiedene Slots sind höchstens 8 voneinander entfernt, da es höchstens neun Chevrons gibt; zwei verschiedene Glyphen aus dem Bereich 1 bis 39 unterscheiden sich um höchstens 38. Beide Abstände sind ungleich null und beide sind kleiner als 97, sodass Δ niemals 0 mod 97 ist. Keine Transposition zweier Glyphen ist für diese Prüfsumme unsichtbar — nicht für diese Adresse und nicht für irgendeine Adresse, die man wählen kann, denn neun Chevrons halten den Slot-Abstand unter 97. Übergeben Sie dem Werkzeug eine längere Adresse über die URL, und diese Garantie ist das Erste, was entfällt.
-
Das Erkennen jeder Transposition ist nicht dasselbe wie das Zertifizieren der Adresse, und hier verkauft sich die Kachel stillschweigend zu gut. Von den 5.039 anderen Anordnungen derselben sieben Glyphen ergeben 62 ebenfalls 84 — während 97 gleich große Klassen etwa 52 ergeben würden. Ungefähr eine falsche Reihenfolge von hundert wird als korrekt gelesen. Sie weist die häufigste Fehlwahl zurück und nicht mehr.
Antwort
84 — und keine Vertauschung zweier Glyphen kann sie jemals bei 84 belassen. Diese Garantie ist jedoch eine Schranke, keine Eigenschaft von Prüfsummen: Sie gilt nur, solange 97 größer ist als sowohl der größte Slot-Abstand als auch die größte Glyphendifferenz. Erweitert man den Ring auf 98 Glyphen, bricht sie sofort zusammen — 1, 98, 17, 21, 28, 35, 3 und 98, 1, 17, 21, 28, 35, 3 ergeben beide die Prüfsumme 35, da ihr Abstand von 97 durch den Modul ausgelöscht wird (hier berechnet; der Ring des Werkzeugs endet bei 39). Genau deshalb werden IBAN-Prüfziffern mod 97 statt mod 10 berechnet: Wählt man eine Primzahl, die größer ist als alles, worum sich das Feld verändern kann, wird jede Transposition erzwungen sichtbar. Das Werkzeug berechnet die Prüfsumme und sagt nichts darüber aus, was sie erfasst, und die Zahl 62 von 5.039 ist das Zweite, was es nie berechnet — jenes, das einen davon abhält, der Kachel zu vertrauen.
-
Quellen (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.