Werden mehr als $k$ Objekte auf $k$ Schubfächer verteilt, enthält mindestens ein Fach zwei Objekte.

Klassen so wählen, dass jede gemeinsame Belegung automatisch die gesuchte Beziehung erzeugt.

Nimmt man an, jedes Fach bleibe unter einer Höchstbelegung, erhält man eine obere Schranke für die Gesamtzahl der Objekte.

$N$ Objekte in $k$ Fächern erzwingen ein Fach mit mindestens $\lceil N/k\rceil$ Objekten.

Um in einem von $k$ Fächern mindestens $r$ Objekte zu erzwingen, genügen und benötigen wir im Allgemeinen $k(r-1)+1$ Objekte.

Eine möglichst gleichmäßige Verteilung konstruiert den letzten Fall, in dem die gewünschte Kollision noch vermieden werden kann.

Jede ganze Zahl nach ihrem eindeutigen Rest modulo $m$ in eines von genau $m$ Fächern legen.

Aus $a\equiv b\pmod m$ folgt unmittelbar $m\mid a-b$; so wird eine Restkollision zur verlangten Paarbeziehung.

Das verallgemeinerte Schubfachprinzip liefert unter $N$ Zahlen mindestens $\lceil N/m\rceil$ mit demselben Rest modulo $m$.

Aus einer Folge $a_1,\ldots,a_n$ die Summen $S_j=a_1+\cdots+a_j$ bilden; ihre Differenz ist die Summe eines zusammenhängenden Blocks.

Unter $n$ Präfixsummen modulo $n$ liefert entweder eine den Rest 0 oder zwei liegen in denselben der nur $n-1$ Nichtnullfächer.

$N$ geordnete Punkte in einem Intervall erzeugen $N-1$ Nachbarlücken; ihre Summe ist höchstens die Intervalllänge.

Das Gesamtintervall in gleich lange Teilintervalle zerlegen; zwei Zahlen im selben Fach haben höchstens dessen Länge als Abstand.

Gleichmäßig verteilte Punkte zeigen häufig, dass die garantierte kleinste Lücke nicht verbessert werden kann.

Quadrate oder Würfel in kongruente kleine Zellen teilen und Punkte als Objekte auf diese Zellen verteilen.

Der größte Abstand zweier Punkte einer Rechteck- oder Würfelzelle ist die Raumdiagonale.

Halboffene Zellen oder eine feste Tie-Break-Regel machen aus einer geometrischen Überdeckung echte disjunkte Schubfächer.

$2^n$ Teilmengen als Objekte und ihre möglichen Summen als Fächer betrachten; mehr Teilmengen als Werte erzwingen gleiche Summen.

Zwischen den ganzzahligen Grenzen $a$ und $b$ liegen einschließlich beider Enden genau $b-a+1$ mögliche Werte.

Aus zwei summengleichen Teilmengen den gemeinsamen Schnitt entfernen; die verbleibenden Teile sind disjunkt und weiterhin summengleich.

Binärgewichte $1,2,4,\ldots$ besitzen paarweise verschiedene Teilmengensummen und zeigen, wann ein Summenkollisionssatz nicht verbessert werden kann.

Teilmengen einer $n$-elementigen Grundmenge besitzen nur die $n+1$ möglichen Größen $0,1,\ldots,n$.

Die $2^n$ Teilmengen zerfallen in $2^{n-1}$ disjunkte Paare $\{A,A^c\}$.

Eine umkehrbare Operation ohne Fixpunkte – etwa das Umschalten eines festen Elements – zerlegt alle Objekte in Zweierfächer.

Aus der Gradsumme $2e$ folgt, dass ein Graph mit $n$ Knoten einen Knoten vom Grad mindestens $\lceil2e/n\rceil$ besitzt.

In einem einfachen $n$-Knoten-Graphen können Grad 0 und Grad $n-1$ nicht gleichzeitig auftreten; daher bleiben höchstens $n-1$ Gradfächer.

Gegenüber einer festen $m$-elementigen Knotenmenge besitzt jeder andere Knoten eine von höchstens $2^m$ möglichen Nachbarschaften.

An einem Knoten erzwingt die häufigere Kantenfarbe eine große gleichfarbige Nachbarschaft; deren innere Kanten schließen das Argument.

Geordnete Kreispunkte erzeugen ebenso viele zyklische Winkel- oder Bogenlücken, deren Summe genau ein Vollkreis ist.

Schmale Sektoren dienen als Fächer; Radius und Öffnungswinkel begrenzen den Durchmesser jedes Sektors.

Ein Dreieck in $n^2$ ähnliche Teildreiecke oder ein Rechteck in $mn$ Zellen teilen und deren Durchmesser berechnen.

Jedem Folgenglied die Längen der längsten dort endenden wachsenden und fallenden Teilfolge zuordnen.

$(r-1)(s-1)+1$ verschiedene Folgenglieder erzwingen eine wachsende Teilfolge der Länge $r$ oder eine fallende der Länge $s$.

Absteigende Blöcke mit von Block zu Block wachsenden Wertebereichen vermeiden gleichzeitig zu lange wachsende und fallende Teilfolgen.

$N$ Objekte mit $k$ Farben enthalten mindestens $\lceil N/k\rceil$ Objekte derselben Farbe.

Ein Wort über $k$ Symbolen besitzt nur $k^m$ mögliche Teilwörter der Länge $m$; mehr Fenster erzwingen eine Wiederholung.

Eine Entwicklung mit höchstens $M$ Zuständen besucht unter $M+1$ Zeitpunkten einen Zustand zweimal.

Jede positive ganze Zahl eindeutig als $2^k u$ mit ungeradem $u$ schreiben und Zahlen nach ihrem ungeraden Kern gruppieren.

Bei gleichem ungeradem Kern sind $2^a u$ und $2^b u$ vergleichbar: Für $a\le b$ teilt die erste Zahl die zweite.

Die obere Hälfte $\{n+1,\ldots,2n\}$ enthält $n$ Zahlen, von denen keine verschiedene eine andere teilt.

Eine globale Inzidenzzahl durch Doppelzählung bestimmen und anschließend mit dem verallgemeinerten Schubfachprinzip auf ein stark belastetes Objekt schließen.

Ein größtes, kleinstes oder randständiges Objekt reduziert die möglichen Beziehungen und macht eine passende Klassifikation sichtbar.

Jeden Übergang einer kombinierten Lösung als eigene Implikation prüfen: Vorverarbeitung, Fächer, Kollision und Zielübersetzung.

Zielbeziehung, Objekte, mögliche Signaturen und erforderliche Schwelle vor jeder Rechnung explizit bestimmen.

Eine Lösung auf eindeutige Zuordnung, korrekte Fachzahl, strikte Schwelle, Zielübersetzung und gegebenenfalls Schärfe prüfen.

Unter Zeitdruck Aufgaben nach sichtbaren Fächern sichten, sichere Punkte vollständig schreiben und Syntheseaufgaben mit einem abschließenden Audit kontrollieren.