Schubfächer und Invarianten

Existenz und Unmöglichkeit beweisen, indem wenige Klassen Kollisionen erzwingen, Zählgrößen invariant bleiben oder ein Extremobjekt die Struktur sichtbar macht.