Kombinations-Training Strategien
Schubfachprinzip und modulare Invarianten · Abschnitt 56 von 64
Übungen
Aufgabe
Mehr Zahlen als Restklassen
Zeige: Unter beliebigen ganzen Zahlen gibt es zwei, deren Differenz durch teilbar ist.
Aufgabe
Sechs Zahlen, eine teilbare Differenz
Zeige, dass unter sechs ganzen Zahlen stets zwei eine durch 5 teilbare Differenz besitzen.
Aufgabe
Ein teilbarer Block
Finde in der Folge einen nichtleeren zusammenhängenden Block, dessen Summe durch 5 teilbar ist, und erkläre die Partialsummentechnik.
Aufgabe
Summe oder Differenz
Zeige: Unter ganzen Zahlen gibt es zwei verschiedene, deren Summe oder deren Differenz durch teilbar ist.
Aufgabe
Ein unerreichbarer Zustand
Ein Spiel startet bei der Zahl 1. In jedem Zug darf man 6 addieren oder 9 subtrahieren. Beweise, dass die Zahl 0 niemals erreicht wird.
Aufgabe
Ein modularer Gitterinvariant
Ein Läufer startet bei und darf nur um oder vorwärts gehen. Zeige, dass er den Punkt nicht erreichen kann.
Aufgabe
Eine Potenz mit Rest eins
Seien teilerfremd und . Beweise mit dem Schubfachprinzip, dass es ein mit und gibt.
Aufgabe
Der Teilbare-Block-Satz
Zeige: Unter beliebigen ganzen Zahlen gibt es einen nichtleeren zusammenhängenden Block, dessen Summe durch teilbar ist.
Zusammenfassung
Reste klassifizieren Objekte und Zustände
Als Schubfächer erzwingen Restklassen Kollisionen; als Partialsummen erzeugen sie teilbare Blöcke; als Invarianten trennen sie erreichbare von unerreichbaren Zuständen.
Checkliste
Selbstkontrolle
Zähle ich Objekte und Restfächer korrekt?
Übersetze ich gleiche Reste als Differenz?
Nutze ich Partialsummen für zusammenhängende Blöcke?
Prüfe ich jeden erlaubten Zug?
Verwechsle ich notwendige Invariantenbedingungen nicht mit Hinreichendheit?