Discussion :

[argon]

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

[PRomu@ld]

Pour ce que j'en sais, uninvariant est quelque chose qui est sur et certain dans une boucle, sa valeur, sa plage de valeur, ...

[argon]

Rebonsoir tout le monde

Pourriez vous me montrer un exemple svp.

Merci

Cordialement

A bientôt

[PRomu@ld]

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 ...

[Tuxico]

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 ^^

[PRomu@ld]

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

[argon]

Bonsoir tout le monde

Peut on trouver des invariants ailleur que dans les boucles.

Merci.

Cordialement

A bientôt

[Tuxico]

non par définition est un invariant explique le role poursuivit par une boucle et ses variables

[Jedai]

Merci.

Cordialement

A bientôt

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...

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ï