Kandidaten unter jedem Zug prüfen

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

Strategie

Kandidaten unter jedem Zug prüfen

Idee: Notiere Zustand und jeden Zugtyp, schlage eine Größe $I$ vor und berechne $I(\text{nachher})-I(\text{vorher})$ . Nur wenn das für alle Züge null ist, hast du eine Invariante.

Achtung

Ein Zug reicht nicht

Ein Zahlenbeispiel kann einen Kandidaten widerlegen, aber nicht beweisen. Du brauchst die Änderungsrechnung für jeden Zugtyp.