Invariant oder kontrollierter Wechsel?

Regel. Genau drei Münzen umdrehen.

Beobachtung. Die Anzahl der Kopfseiten ändert sich um eine ungerade Zahl → die Parität wechselt bei jedem Zug.

Das ist keine Invariante im strengen Sinn – aber ein kontrollierter Wechsel: Nach gerader Zugzahl dieselbe Parität wie am Start, nach ungerader die andere.

Regel. Zu zwei Zahlen $a$ und $b$ addierst du denselben Wert $t$.

Invariante. Die Differenz $a-b$ bleibt exakt gleich – nicht nur ihre Parität.

Merke: Die stärkste einfache Invariante ist oft nützlicher als nur G/U.