Invarianten-Grundtraining
Zustände, Züge und erhaltene Größen · Abschnitt 4 von 64
Übungen
Aufgabe
Steine zwischen zwei Schalen
Ein Zug verschiebt einen Stein von einer Schale in die andere. Welche einfache Größe bleibt invariant?
Aufgabe
Ein falscher Kandidat
Beim selben Schalenspiel behauptet jemand, sei invariant. Prüfe die Behauptung.
Aufgabe
Unerreichbare Gesamtzahl
Aus werden nur Steine zwischen den Schalen verschoben. Kann erreicht werden?
Aufgabe
Ausgleichende Änderung
Zwei ganze Zahlen dürfen in einem Zug durch ersetzt werden. Finde eine Invariante.
Aufgabe
Alle Zugtypen prüfen
Erlaubt sind und . Zeige eine gemeinsame Invariante.
Aufgabe
Zielvergleich
Start ist , erlaubt sind die Züge aus Aufgabe 5. Kann erreicht werden?
Aufgabe
Notwendig, nicht hinreichend
Erkläre, warum gleiche Summen von Start und Ziel beim Zug Erreichbarkeit nicht garantieren.
Aufgabe
Vollständiger Audit
Formuliere eine Checkliste, mit der eine behauptete Invariante geprüft wird.
Zusammenfassung
Das nimmst du mit
Du modellierst Prozesse sauber, prüfst Invariantenkandidaten und erkennst Unmöglichkeit durch Start-Ziel-Vergleich.