Bonsoir tout le monde
Je souhaiterai avoir une définition clair de l'invariant.
Une définition clair qui me permêtrer de le reconnaitre dans un algorithme.
Merci.
Cordialement
A bientôt
Version imprimable
Bonsoir tout le monde
Je souhaiterai avoir une définition clair de l'invariant.
Une définition clair qui me permêtrer de le reconnaitre dans un algorithme.
Merci.
Cordialement
A bientôt
Pour ce que j'en sais, uninvariant est quelque chose qui est sur et certain dans une boucle, sa valeur, sa plage de valeur, ...
Rebonsoir tout le monde
Pourriez vous me montrer un exemple svp.
Merci
Cordialement
A bientôt
Et bien prend un algo de tri par exemple, admettons le drapeau hollandais. Dans ta boucle, les invariants sont les indices des limites des parties. Tu es sur dans ta boucle que tu as avant le premier indice toujours la première couleur, et ainsi de suite ...
Un invariant est surtout utilisé pour prouver un algorithme, ça parait trivial mais quand on a pu arriver à trouver des invariants, ça aide ...
c est simplement commenter une boucle .
tu donnes chaque role de de chaque variable mais sans trop de blabla ainsi que ou tu en es dans la boucle après i tours ^^
voilà pour illustrer, regarde dans l'exemple du drapeau, les invariant y son t montrés
http://www.enseignement.polytechnique.fr/informatique/IF/poly/main007.html
Bonsoir tout le monde
Peut on trouver des invariants ailleur que dans les boucles.
Merci.
Cordialement
A bientôt
non par définition est un invariant explique le role poursuivit par une boucle et ses variables ;)
Peut-être que ces trois termes ne sont pas nécessaires à la fin de chacun de tes messages ? Ou alors tu pourrais les mettre dans ta signature si tu l'estimes nécessaire. Cette répétition me paraît un peu artificielle...Citation:
Envoyé par argon
Pour répondre à ta question, on peut tout à fait avoir des invariants en dehors des boucles : un invariant est simplement une propriété qui reste vrai lors d'une suite de commandes. Tu peux avoir besoin d'un invariant valable depuis l'initialisation des données jusqu'à la fin d'un programme, il t'appartient alors de vérifier sa préservation.
--
Jedaï