Une technique qui identifie une quantité, une parité, une expression algébrique ou une autre caractéristique qui reste inchangée (invariante) sous un ensemble spécifié de transformations ou déplacements permis, et utilise cette invariance pour prouver des impossibilités, classer des issues ou restreindre les configurations atteignables.

Principe

Trouver une mesure conservée ou à signe défini sous les déplacements du problème ; montrer que l'état initial et l'état final diffèrent pour cette mesure ou que les transformations requises changeraient l'invariant, prouvant ainsi l'impossibilité de la transformation ou contraignant les états atteignables.

Démonstration

Dans un pavage géométrique ou un casse-tête de pièces mobiles, calculer une parité ou un résidu d'aire orientée qui est préservé par chaque mouvement légal ; si la configuration cible a un résidu différent, l'invariant prouve qu'elle est inatteignable, établissant une impossibilité.

Mauvaise application

Déclarer un invariant sans démontrer qu'il est préservé par chaque mouvement autorisé, ou utiliser une quantité seulement approximativement préservée, conduit à des conclusions erronées ; de même, confondre un monovariant (quantité strictement monotone) avec un invariant préservé dénature l'argument.

Conséquence

Une fois correctement identifié et vérifié, un invariant fournit des obstructions immédiates et des classifications nettes : il réduit des problèmes de décidabilité dynamique ou combinatoire complexes à de simples vérifications arithmétiques ou algébriques.

Inversion

Les monovariants ou fonctions de type Lyapunov qui changent de façon monotone sous les déplacements et servent à montrer terminaison ou bornes plutôt que des quantités conservées ; ils fournissent une directionnalité au lieu de la conservation.

Limite

Nécessite que les opérations permises soient précisément spécifiées et qu'on puisse prouver rigoureusement la préservation ; elle n'est pas applicable s'il n'existe aucune quantité conservée non triviale ou lorsque seules des invariants approximatifs ou statistiques tiennent.

Tension sémantique

Tension avec les monovariants et fonctions de potentiel : les invariants interdisent certaines transitions par conservation, tandis que les monovariants montrent progression ou terminaison par changement strict — les deux sont apparentés mais remplissent des rôles structurels différents dans les preuves.

Synthèse

La Méthode des Invariants isole une caractéristique rigoureusement conservée sous les mouvements permis et exploite cette conservation pour bloquer des transformations, classer les états atteignables ou établir des impossibilités.