Besoin de définition clair.

**argon** · 04/01/2006, 20h49

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** · 04/01/2006, 21h53

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** · 04/01/2006, 21h57

Rebonsoir tout le monde

Pourriez vous me montrer un exemple svp.

Merci

Cordialement

A bientôt

**PRomu@ld** · 04/01/2006, 22h04

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** · 04/01/2006, 22h08

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** · 04/01/2006, 22h08

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** · 05/01/2006, 21h38

Bonsoir tout le monde

Peut on trouver des invariants ailleur que dans les boucles.

Merci.

Cordialement

A bientôt

**Tuxico** · 05/01/2006, 22h47

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

**Jedai** · 05/01/2006, 23h37

Envoyé par argon

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ï

Besoin de définition clair.

Algorithmes et structures de données

Discussions similaires

Partager

Partager