1 transparent par page - Montefiore

Variables dérivées
Définition : Une variable dérivée pour une machine M = (Q, QO, δ) est
une fonction f : Q → S où S est un ensemble quelconque (typiquement
N).
Une variable dérivée est aussi appelée un variant ou une fonction
potentielle.
Exemple : La coordonnée x du robot ou le nombre d’inversions du
taquin,
Définition : Une variable dérivée f : Q → R est strictement décroissante
si et seulement si q → q ′ ∈ δ implique f (q ′ ) < f (q). Elle est faiblement
décroissante si et seulement si q → q ′ ∈ δ implique f (q ′ ) ≤ f (q).
102