Forum de Mathématiques: Maths-Forum

Aloha, Je suis pas sûr de comprendre la question… Il est possible de prouver qu'un algorithme donne bien le bon résultat, c'est ce qu'on appelle … la preuve d'algorithme. Notamment, on prouve qu'il termine bien, et qu'il renvoie bien le résultat voulu. Je ne connais pas la preuve d'algorithmes. En ...

Bonjour et merci pour vos réponses ..

En fait, il s'agit d'un algorithme d'optimisation pour le problème du sac à dos 0/1 ..
L'algorithme en question m'a toujours renvoyé le résultat optimal mais je ne vois pas comment démontrer que ce sera toujours le cas ..

Bonjour à tous ...

Comment pensez vous que l on puisse démontrer qu un algorithme produit bien le résultat escompté autrement qu'en multipliant le nombre de bon résultats en sortie et ainsi de fait l'improbable té qu'il soit faux ..
Merci d'avance pour vos réponses .