Eine Problemlösetechnik, die ein Element der Konfiguration mit einem extremen Wert (Minimum, Maximum oder sonstige extremale Eigenschaft) auswählt und aus dem besonderen Status dieses Elements strukturelle Zwänge oder Widersprüche ableitet.

Prinzip

Die globale Komplexität reduzieren, indem man sich auf ein Element konzentriert, das eine gegebene Größe optimiert, und Eigenschaften der Optimalität (minimales Gegenbeispiel, maximales Kettenglied, kleinste Fläche usw.) nutzt, um Starrheit zu erzwingen oder einen Widerspruch abzuleiten.

Demonstration

Bei einem kombinatorisch-geometrischen Problem nimmt man an, ein Gegenbeispiel existiere, wählt eines mit der geringsten Punktzahl und zeigt, dass das Entfernen oder Verändern dieser minimalen Konfiguration die Minimalität widerspricht (etwa durch Konstruieren eines kleineren Gegenbeispiels), womit kein Gegenbeispiel existiert.

Fehlanwendung

Ein schlecht definierter 'Extremwert' (kein Minimum vorhanden) oder das Übergehen von Existenz-/Kompaktheitsvoraussetzungen kann Schlussfolgerungen ungültig machen; ebenso problematisch ist die Annahme, dass Extremalität Einzigartigkeit oder zusätzliche Glattheit impliziert, wenn dies nicht zutrifft.

Konsequenz

Bei korrekter Anwendung liefert sie oft kurze, entscheidende Argumente: Extremalität erzwingt monotone oder Randbedingungen, die erlaubte Operationen einschränken und verborgene Struktur oder Widersprüche offenbaren, wodurch Fragen der Existenz oder Unmöglichkeit zu handhabbaren lokalen Analysen werden.

Umkehrung

Lokale Greedy- oder iterative Verfahren, die an jedem Schritt nichtglobale, kurzsichtige Entscheidungen treffen, ohne auf eine globale extremale Auswahl zu bauen; solche Verfahren können Lösungen liefern, besitzen aber nicht die globale Zertifizierungswirkung extremaler Argumente.

Abgrenzung

Benötigt eine wohlbegründete Maßeinheit oder Kompaktheit, damit ein extremales Element existiert; weniger anwendbar, wenn Optimierung undefiniert ist, die Menge der Extrema groß und unhandlich ist oder Probleme keinen natürlichen Skalar-Ordnung besitzen.

Semantische Spannung

Spannung zu konstruktiven algorithmischen Ansätzen: Extremalargumente sind oft nichtkonstruktiv (sie beweisen Existenz oder Unmöglichkeit durch Widerspruch), während konstruktive Methoden versuchen, das Objekt explizit zu erzeugen und Minimalitätsannahmen zu vermeiden.

Synthese

Das Extremalprinzip löst Probleme, indem es ein nach einer gewählten Größe extremales Element isoliert und die durch die Extremalität erzwungene Starrheit nutzt, um die Konfiguration einzuschränken und zu einer Schlussfolgerung oder einem Widerspruch zu gelangen.