PrEUVE D'ALG0RITHME

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 11

PREUVE D’ALG0RITHME

Réalisée par:
O.Kaddari R.Zanda
SOMMAIRE:

• pourquoi prouver un algorithme ?


• QU'EST CE QU'UNE preuve d'algorithme ?
• QU'EST CE QU'UNE PRUVE DE TERMINAISON ?
• QU'EST CE QU'UNE PREUVE DE CORRECTION ?
• CONCLUSION
POURQUOI PROUVER UN ALGORITHME ?

• Pour assurer la correction d'un algorithme, il est


essentiel de prouver deux aspects : tout d'abord,
que l'algorithme se termine de manière concluante,
évitant ainsi toute boucle infinie ou divergence, et
ensuite, qu'il produise au moins un résultat valide
QU'EST CE QU'UNE PREUVE D'ALGORITHME ?

• Une preuve d'algorithme est une


démonstration formelle et méthodique de
la fiabilité d'un algorithme, visant à établir
qu'il atteint ses objectifs et produit les
résultats escomptés dans toutes les
situations prévues.
QU'EST CE QU'UNE PRUVE DE TERMINAISON ?
• La terminaison revêt une importance cruciale dans la
conception des algorithmes, garantissant que les calculs définis
par l'algorithme atteindront un point d'arrêt. Cette propriété
demeure valable indépendamment des données initiales
fournies à l'algorithme. L'accent est parfois mis sur l'uniformité de
cette terminaison, signifiant que l'arrêt est assuré quel que soit le
jeu spécifique de données. Toutefois, dans son sens général, le
terme "terminaison" englobe aussi bien l'arrêt sur une donnée
particulière que sur toutes les données possibles, cette nuance
étant déterminée par le contexte
EXEMPLE :

CAS D'ARRÊT QUAND CH[I]=NULL


QU'EST CE QU'UNE PREUVE DE CORRECTION ?
• La démonstration de la justesse ou de la validité garantit que l'algorithme
atteint son objectif prévu et produit le résultat correct, indépendamment des
données d'entrée fournies.

• Un algorithme est jugé correct lorsque le résultat qu'il génère est


exact pour l'ensemble des données d'entrée envisageables.

• pour prouver que l'algorithme est correcte reviens à mettre


en place un invariant de boucle
INVARIANT DE BOUCLE:

• Un invariant de boucle est une


caractéristique persistante qui demeure
vraie avant et après l'exécution d'une
boucle, et qui est également préservée
à chaque itération de la boucle.
EXEMPLE:
✓ ON S'ASSURE QUE
L'INITIALISATION DE "J" EST
CORRECTE AINSI QUE
L'ITÉRATION
✓ ON VÉRIFIE QUE LE
NOMBRE D'ITÉRATION EST
CORRECT
✓ DONC L'ALGORITHME EST
CORRECT
CONCLUSION:

• En résumé, la rédaction d'un algorithme correct requiert qu'il soit


facile à lire, tant pour son créateur que pour d'autres utilisateurs
potentiels. Son organisation doit être logique et évidente, et il
doit clairement refléter les intentions du développeur.
L'algorithme doit également être soigné et conçu pour résister à
l'épreuve du temps, assurant ainsi sa robustesse dans des
contextes changeants. Ces propriétés essentielles contribuent à
la création d'un algorithme efficace, compréhensible et durable
FINISH 🏁

Vous aimerez peut-être aussi