[Hoare] qq à une méthode pour trouver rapidement l'invariant?

qq à une méthode pour trouver rapidement l'invariant? [Hoare] - Algo - Programmation

Marsh Posté le 28-11-2002 à 00:42:52    

Cf. title
 
Car moi perso je galère pas mal... alors chai po vs avez ptet une recette de cuisine à me filer... :sweat:


---------------
[:roco] Un chtit café et hop ça repart !
Reply

Marsh Posté le 28-11-2002 à 00:42:52   

Reply

Marsh Posté le 28-11-2002 à 01:11:40    

ca depend de l'algo... tu dois coder koi?
 
ca peut etre un pgcd par exemple.. un determinant de matrice, tout deend ce ke tu fais...


---------------
"Je brandirai une épée d'orichalque, je m'assouvirai sur des Templiers." | "Avec dans son sillage l'Ombre du Diable, Leirn appelait les morts pour une danse macabre et déchainaît les horreurs de la nuit..."
Reply

Marsh Posté le 28-11-2002 à 18:51:38    

Heu hé bien je parlais en général. Style j'ai une boucle pour parcourir un tableau ou autre joyeuseté et avant tout je dois trouver l'invariant.
 
C peu être un peu flou (voire un peu con) ce que je demande...


---------------
[:roco] Un chtit café et hop ça repart !
Reply

Marsh Posté le 28-11-2002 à 19:28:15    

c ce ke je te dis... ca depend vraiment de la situation... pis si tu fais jsute parcourir et ke ton algo modifie rien, ya rien a verifier :/
 
sans cas precis je vois vriament pas comment te repondre


---------------
"Je brandirai une épée d'orichalque, je m'assouvirai sur des Templiers." | "Avec dans son sillage l'Ombre du Diable, Leirn appelait les morts pour une danse macabre et déchainaît les horreurs de la nuit..."
Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed