Méthode de l'invariant
Période historique : XIXe - XXe siècle
Identifier la grandeur qui ne change jamais pour prouver qu'un état final est impossible à atteindre.
Contenu & Formulation mathématique
Genèse & Portée historique
Technique de raisonnement majeure en combinatoire et en informatique théorique consistant à identifier une quantité (la parité, un résidu modulaire, une fonction de Lyapunov) qui demeure inchangée au cours de toutes les transformations licites d'un système dynamique pour prouver qu'un état cible n'est jamais accessible.
Utilisée magistralement dans les Olympiades Internationales de Mathématiques, elle est aussi le fondement de la vérification formelle de programmes (invariants de boucle de Hoare).
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Méthode de l'invariant
Principe : Caractérisation de la fermeture d'un ensemble d'états accessibles par conservation d'un invariant scalaire ou booléen.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.