Ist Modulo assoziativ?

Sie berechnet beide Reihenfolgen der Restoperation — links (a % b) % c und rechts a % (b % c) — und sagt Ihnen, ob sie übereinstimmen. Sie senden drei ganze Zahlen und erhalten beide Seiten des Vergleichs sowie ein schlichtes true oder false, berechnet mit Ganzzahlen beliebiger Präzision, sodass das Ergebnis für Werte jeder realistischen Größe exakt ist. Wäre eine Divisorposition null — b, c oder der Zwischenrest b % c —, wird die Anfrage mit einem klaren Fehler abgelehnt statt mit einer unerwarteten Division durch null. Es ist eine kleine Prüfung, aber sie entscheidet darüber, ob ein verketteter Modulo-Ausdruck in Ihrem Code das bedeutet, was Sie vermuten.

Warum die Klammerung bei der Restoperation wichtig ist

Addition und Multiplikation sind assoziativ: (1 + 2) + 3 ist stets gleich 1 + (2 + 3), also denkt niemand über Klammern nach. Die Restoperation bietet keine solche Garantie. Der Ausdruck a % b % c ist auf dem Papier mehrdeutig, und die meisten Programmiersprachen lösen ihn von links nach rechts auf und erzeugen (a % b) % c. Ob das der alternativen Klammerung a % (b % c) entspricht, hängt vollständig von den drei beteiligten Werten ab. Nehmen Sie a = 17, b = 5, c = 3: Die linke Klammerung ergibt (17 % 5) % 3 = 2 % 3 = 2, die rechte dagegen 17 % (5 % 3) = 17 % 2 = 1. Beide Klammerungen unterscheiden sich, Modulo ist also für dieses Tripel nicht assoziativ. Für a = 8, b = 5, c = 3 ergeben hingegen beide Seiten 0, und die Operation ist dort zufällig assoziativ. Diese Fähigkeit existiert, weil dieser Unterschied in einem Code-Review leicht zu übersehen und per Hand über einen ganzen Satz von Kandidatenparametern mühsam zu verifizieren ist: Ein einziger Aufruf klärt es deterministisch und liefert beide Zwischenwerte, sodass Sie genau sehen, wo die Klammerungen auseinanderlaufen, statt einem bloßen Booleschen Wert blind zu vertrauen.

Wie die Prüfung berechnet wird, und die Null-Divisor-Regel

Die Berechnung ist bewusst transparent. Zunächst wird jede Eingabe als Ganzzahl eingelesen — Dezimalzeichenketten und JSON-Zahlen werden beide akzeptiert, und intern wird mit Arithmetik beliebiger Präzision gearbeitet, sodass es keine Genauigkeitsgrenze bei 2⁵³ und keinerlei Rundung in der Pipeline gibt. Anschließend wird die linke Seite als (a % b) % c und die rechte Seite als a % (b % c) ausgewertet, wobei % der trunkierten Konvention folgt, die aus JavaScript, C und Java bekannt ist: Das Ergebnis übernimmt das Vorzeichen des Dividenden. Die beiden Ergebnisse werden auf exakte Gleichheit verglichen, und die Antwort wird zusammen mit beiden Seiten gemeldet. Es gibt eine Situation, in der keine Boolesche Antwort existiert: die Division durch null. In den beiden Ausdrücken treten drei Divisorpositionen auf — b in a % b, c in (a % b) % c und der Zwischenwert b % c als Divisor auf der rechten Seite. Ist b oder c null oder ergibt b % c für die gegebenen Werte zufällig null, wird die Anfrage als ungültige Eingabe abgelehnt, mit einer Meldung, die genau den fehlgeschlagenen Divisor benennt. Dieser Fehler wird niemals berechnet, Sie können Parameterbereiche also gefahrlos programmatisch abtasten. Eingaben bis zu 2048 Dezimalziffern pro Feld werden akzeptiert.

Wo sich diese Prüfung bewährt

Der häufigste Aufrufer ist jemand, der Zahlentheorie lehrt oder lernt: Assoziativitätsfragen tauchen ständig in Lehrbüchern und Aufgabensammlungen auf, und die Möglichkeit, eine Behauptung über Hunderte von Tripeln in Sekunden zu verifizieren, verwandelt eine Pflichtübung in ein Experiment. Der zweite Aufrufer ist ein Entwickler, der Hash-Bucket- oder Sharding-Logik refaktoriert, wo Ausdrücke wie h % m % n einschleichen und ihre Bedeutung je nach Auswertungsreihenfolge still ändern — die Assoziativitätsprüfung über die tatsächlichen Modulpaare in der Produktion verrät, ob eine Umschreibung sicher ist. Der dritte ist jeder, der ein Werkzeug für symbolische Mathematik oder Ausdrucksvereinfachung baut, das wissen muss, welche Umformungsregeln gültig sind, bevor es sie anwendet. Der kostenlose Rechner auf dieser Seite führt exakt denselben Code aus wie der kostenpflichtige Endpunkt — was Sie im Browser testen, erhält auch Ihre Integration. Automatisierte Aufrufe kosten $0.002 pro Anfrage ohne Aufschlag pro Einheit. Senden Sie ein JSON-Objekt mit den Feldern a, b und c; die Antwort spiegelt die Eingaben wider, meldet left und right als Dezimalzeichenketten und liefert das endgültige Urteil im Feld associative — true, wenn beide Klammerungen übereinstimmen, false, wenn nicht.