Kapitel 2Aufbau27 Min.
Gewichtete lineare Invarianten
Parität, Restklassen und lineare Invarianten · Abschnitt 7 von 64
Beweis
Gewichtete lineare Invarianten
Änderungen um gerade Zahlen bewahren die Parität. Änderungen um Vielfache von bewahren den Rest modulo . Der stärkste solche Modul ist oft der ggT aller Schrittweiten. Lineare Gewichte lösen für jeden Zugvektor .
Checkliste
Kurzer Audit
Ist die Größe für jeden Zustand eindeutig?
Sind alle Zugtypen erfasst?
Ist jede Änderungsrechnung null?
Folgerst du aus gleichen Werten nicht vorschnell Erreichbarkeit?