Zum Inhalt springen
Inhaltsverzeichnis öffnen
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 mm bewahren den Rest modulo mm. Der stärkste solche Modul ist oft der ggT aller Schrittweiten. Lineare Gewichte lösen wv=0w\cdot v=0 für jeden Zugvektor vv.

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?