Ce document traite de la preuve d'algorithmes, notamment la preuve de terminaison et de correction. Il explique l'importance de prouver qu'un algorithme se termine correctement et produit un résultat valide.
0 évaluation0% ont trouvé ce document utile (0 vote)
13 vues11 pages
Ce document traite de la preuve d'algorithmes, notamment la preuve de terminaison et de correction. Il explique l'importance de prouver qu'un algorithme se termine correctement et produit un résultat valide.
Ce document traite de la preuve d'algorithmes, notamment la preuve de terminaison et de correction. Il explique l'importance de prouver qu'un algorithme se termine correctement et produit un résultat valide.
Ce document traite de la preuve d'algorithmes, notamment la preuve de terminaison et de correction. Il explique l'importance de prouver qu'un algorithme se termine correctement et produit un résultat valide.
Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
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 🏁
La Révolution numérique de l’audit Une revue de littérature systématique des transformations, enjeux, opportunités et défis de l’e-audit financier et comptable