Une technique de résolution qui choisit un élément de la configuration présentant une valeur extrême (minimum, maximum ou autre propriété extrémale) et en déduit des contraintes structurelles ou des contradictions à partir du statut particulier de cet élément.

Principe

Réduire la complexité globale en se concentrant sur un élément qui optimise une mesure donnée et utiliser les propriétés de l'optimalité (contre-exemple minimal, élément maximal d'une chaîne, aire minimale, etc.) pour imposer de la rigidité ou obtenir une contradiction qui résout le problème.

Démonstration

Dans un problème de géométrie combinatoire, supposer l'existence d'un contre-exemple et en choisir un ayant le nombre minimal de points ; analyser comment la suppression ou la modification de cette configuration minimale contredit la minimalité (par exemple en construisant un contre-exemple plus petit), prouvant ainsi qu'aucun contre-exemple n'existe.

Mauvaise application

Choisir un 'extrême' mal défini (pas de minimum existant) ou négliger les hypothèses d'existence/compacité peut invalider les déductions ; de même, supposer que l'extrémalité entraîne unicité ou régularité supplémentaire alors que ce n'est pas le cas.

Conséquence

Une utilisation correcte donne souvent des arguments courts et décisifs : l'extrémalité impose des conditions monotones ou de bord qui limitent les opérations autorisées et révèlent une structure cachée ou une contradiction, transformant des questions d'existence ou d'impossibilité en analyses locales gérables.

Inversion

Méthodes gloutonnes ou itératives locales qui effectuent des choix myopes à chaque étape sans s'appuyer sur une sélection extrémale globale ; elles peuvent converger mais n'ont pas la propriété globale de certification des arguments extrémaux.

Limite

Nécessite une mesure bien fondée ou la compacité pour garantir l'existence d'un élément extrémal ; elle est moins applicable lorsque l'optimisation est indéfinie, lorsque l'ensemble des extrêmes est vaste et difficile à traiter, ou lorsque les problèmes manquent d'un ordre scalaire naturel.

Tension sémantique

Tension avec les approches constructives algorithmiques : les arguments extrémaux sont souvent non constructifs (ils démontrent l'existence ou l'impossibilité par contradiction), tandis que les méthodes constructives cherchent à produire l'objet explicitement et peuvent éviter les hypothèses de minimalité.

Synthèse

Le Principe Extrémal résout les problèmes en isolant un élément extrémal selon une mesure choisie et en exploitant la rigidité imposée par cette extrémalité pour contraindre la configuration et atteindre une conclusion ou une contradiction.