Théorie > Combinatoire > Invariants et (mono)variants

Exercice 3 (9 points) (Résolu 2386 fois - 33% de réussite au premier essai)
(Résolu 2386 fois -
33% de réussite au 1er essai)

Considérons un problème où un processus consiste à répéter plusieurs fois une certaine transformation. On désire utiliser un monovariant pour prouver que le processus se terminera toujours après un nombre fini de transformations. Dans lesquelles des situations suivantes pourra-t-on toujours conclure ?

Cochez chaque proposition correcte.


Pour pouvoir répondre aux exercices, vous devez être connecté.