Eine Technik, die eine Größe, Parität, algebraische Ausdrucksform oder andere Eigenschaft identifiziert, die unter einer spezifizierten Menge erlaubter Transformationen oder Züge unverändert (invariant) bleibt, und diese Invarianz nutzt, um Unmöglichkeitsergebnisse zu beweisen, Ergebnisse zu klassifizieren oder erreichbare Konfigurationen einzuschränken.

Prinzip

Finde eine unter den Zügen konservierte oder vorzeichenbestimmte Größe; zeige, dass Anfangs- und Endzustand in dieser Größe differieren oder dass die verlangten Transformationen das Invariante verändern würden, womit die Transformation unmöglich oder die erreichbaren Zustände eingeschränkt sind.

Demonstration

Bei einem geometrischen Parkettierungs- oder beweglichen-Teile-Rätsel berechne eine Parität oder einen Restwert der orientierten Fläche, der von jedem erlaubten Zug erhalten bleibt; hat die Zielkonfiguration einen anderen Restwert, beweist das Invariante, dass sie unerreichbar ist, und stellt so eine Unmöglichkeit fest.

Fehlanwendung

Ein Invariante zu behaupten, ohne zu beweisen, dass es unter jedem erlaubten Zug erhalten bleibt, oder eine nur ungefähr erhaltene Größe zu verwenden, führt zu falschen Schlüssen; ebenso irreführend ist die Verwechslung eines Monovarianten (streng monotone Größe) mit einem erhaltenen Invarianten.

Konsequenz

Richtig identifizierte und verifizierte Invarianten liefern sofortige Sperren und klare Klassifikationen: sie reduzieren komplexe dynamische oder kombinatorische Erreichbarkeitsfragen auf einfache arithmetische oder algebraische Prüfungen.

Umkehrung

Monovarianten oder Lyapunov-ähnliche Funktionen, die sich unter Zügen streng monoton ändern und zur Anzeige von Terminierung oder Schranken dienen statt konservierter Größen; sie liefern Richtung statt Erhalt.

Abgrenzung

Voraussetzung ist, dass die erlaubten Operationen klar spezifiziert sind und man die strenge Erhaltung beweisen kann; nicht anwendbar, wenn keine nichttriviale erhaltene Größe existiert oder nur approximative/statistische Invarianten vorhanden sind.

Semantische Spannung

Spannung zu Monovarianten und Potentialfunktionen: Invarianten verbieten bestimmte Übergänge durch Erhaltung, Monovarianten zeigen Fortschritt oder Terminierung durch strikte Änderung — beide sind verwandt, dienen aber unterschiedlichen strukturellen Zwecken in Beweisen.

Synthese

Die Invariantenmethode isoliert eine streng unter erlaubten Zügen erhaltene Eigenschaft und nutzt diese Erhaltung, um Transformationen zu unterbinden, erreichbare Zustände zu klassifizieren oder Unmöglichkeitsergebnisse zu beweisen.