Zum Inhalt springen
Inhaltsverzeichnis öffnen
Kapitel 1Grundlagen36 Min.

Invarianten-Grundtraining

Zustände, Züge und erhaltene Größen · Abschnitt 4 von 64

Übungen

Aufgabe

Steine zwischen zwei Schalen

Aufbau8 Min.

Ein Zug verschiebt einen Stein von einer Schale in die andere. Welche einfache Größe bleibt invariant?

Aufgabe

Ein falscher Kandidat

Aufbau9 Min.

Beim selben Schalenspiel behauptet jemand, aba-b sei invariant. Prüfe die Behauptung.

Aufgabe

Unerreichbare Gesamtzahl

Aufbau10 Min.

Aus (7,5)(7,5) werden nur Steine zwischen den Schalen verschoben. Kann (8,5)(8,5) erreicht werden?

Aufgabe

Ausgleichende Änderung

Aufbau11 Min.

Zwei ganze Zahlen dürfen in einem Zug durch (x+3,y3)(x+3,y-3) ersetzt werden. Finde eine Invariante.

Aufgabe

Alle Zugtypen prüfen

Fortgeschritten12 Min.

Erlaubt sind (x,y)(x+1,y1)(x,y)\mapsto(x+1,y-1) und (x,y)(x+2,y2)(x,y)\mapsto(x+2,y-2). Zeige eine gemeinsame Invariante.

Aufgabe

Zielvergleich

Fortgeschritten13 Min.

Start ist (2,9)(2,9), erlaubt sind die Züge aus Aufgabe 5. Kann (7,5)(7,5) erreicht werden?

Aufgabe

Notwendig, nicht hinreichend

Olympiade14 Min.8 P.

Erkläre, warum gleiche Summen von Start und Ziel beim Zug (x,y)(x+2,y2)(x,y)\mapsto(x+2,y-2) Erreichbarkeit nicht garantieren.

Aufgabe

Vollständiger Audit

Olympiade15 Min.8 P.

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.