Analyse des algorithmes La question abordée dans ce chapitre est la suivante: C
Analyse des algorithmes La question abordée dans ce chapitre est la suivante: Comment choisir parmi les différentes approches pour résoudre un problème? Exemples: Liste chaînée ou tableau? algorithme de tri par insertion de tri rapide? …, etc Pour comparer des solutions, plusieurs points peuvent être pris en considération • Exactitude des programmes (démontrer que le résultat de l’implantation est celui escompté) • Simplicité des programmes • Convergence et stabilité des programmes (il est souhaitable que nos solutions convergent vers la solution exacte; la perturbation des données ne chamboule pas d’une manière drastique la solution obtenue) • Efficacité des programmes (il est souhaitable que nos solutions ne soient pas lentes, ne prennent pas de l’espace mémoire considérable) • Le point que nous allons développer dans ce chapitre est celui de l’efficacité des algorithmes. • Définition: Un algorithme est un ensemble d’instructions permettant de transformer un ensemble de données en un ensemble de résultats et ce, en un nombre fini étapes. • Pour atteindre cet objectif, un algorithme utilise deux ressources d’une machine: le temps et l’espace mémoire. • Définition 1: la complexité temporelle d’un algorithme est le temps mis par ce dernier pour transformer les données du problème considéré en un ensemble de résultats. • Définition 2: la complexité spatiale d’un algorithme est l’espace utilisé par ce dernier pour transformer les données du problème considéré en un ensemble de résultats. Comparaison de solutions Pour comparer des solutions entre-elles, deux méthodes peuvent être utilisées: • Méthode empirique • Méthode mathématique Cette comparaison se fera, en ce qui nous concerne, relativement à deux ressources critiques: temps, espace mémoire,... Dans ce qui suit, nous allons nous concentrer beaucoup plus sur le temps d’exécution Facteurs affectant le temps d’exécution: 1. machine, 2. langage, 3. programmeur, 4. compilateur, 5. algorithme et structure de données. Le temps d’exécution dépend de la longueur de l’entrée. Ce temps est une fonction T(n) où n est la longueur des données d’entrée. Exemple 1: x=3; la longueur des données dans ce cas est limitée à une seule variable. Exemple 3: sum = 0; for (i=1; i<=n; i++) for (j=1; j<=n; j++) sum++; En revanche, dans ce cas, elle est fonction du paramètre n La longueur des données d’entrée, définissant le problème considéré, est définie comme étant l’espace qu’elle occupe en mémoire. Cet espace est logarithmique de la valeur considérée. Par exemple, le nombre N occupe log N bits d’espace mémoire. Pire cas, meilleur cas et cas moyen Toutes les entrées d’une taille donnée ne nécessitent pas nécessairement le même temps d’exécution. Exemple: soit à rechercher un élément C dans un tableau de n élément triés dans un ordre croissant. Deux solutions s’offrent à nous: • Recherche séquentielle dans un tableau de taille n. Commencer au début du tableau et considérer chaque élément jusqu’à ce que l’élément cherché soit trouvé soit déclaré inexistant. 2. Recherche dichotomique: tient compte du fait que les éléments du tableau soient déjà triés. Information ignorée par l’algorithme de la recherche séquentielle. • Ces deux algorithmes sont présentés comme suit: int recherche(int *tab, int C){ int i; i = 0; while (i<n && tab[i] != C ) i = i+1; if (i == n) return(0); else return(i); } /* fin de la fonction */ int recherche(int *tab, int C){ int sup, inf, milieu; bool trouve; inf = 0; sup = n-1; trouve = false; while (sup >=inf && !trouve) { milieu = (inf + sup) / 2; if (C == tab[milieu]) trouve = true; else if (C < tab[milieu]) sup = milieu -1; else inf = milieu + 1; if (!trouve) return(0); return(milieu) } /* fin de la fonction */ La méthode empirique • Elle consiste à coder et exécuter deux (ou plus) algorithmes sur une batterie de données générées d’une manière aléatoire • À chaque exécution, le temps d’exécution de chacun des algorithmes est mesuré. • Ensuite, une étude statistique est entreprise pour choisir le meilleur d’entre-eux à la lumière des résultats obtenus. Problème! Ces résultats dépendent • la machine utilisée; • jeu d’instructions utilisées • l’habileté du programmeur • jeu de données générées • compilateur choisi • l’environnement dans lequel est exécuté les deux algorithmes (partagés ou non) • .... etc. Méthode mathématique • Pour pallier à ces problèmes, une notion de complexité plus simple mais efficace a été proposée par les informaticiens. • Ainsi, pour mesurer cette complexité, la méthode mathématique consiste non pas à la mesurer en secondes, mais à faire le décompte des instructions de base exécutées par ces deux algorithmes. Cette manière de procéder est justifiée par le fait que la complexité d’un algorithme est en grande partie induite par l’exécution des instructions qui le composent. Cependant, pour avoir une idée plus précise de la performance d’un algorithme, il convient de signaler que la méthode expérimentale et mathématique sont en fait complémentaires. Comment choisir entre plusieurs solutions? 1. décompte des instructions • Reconsidérons la solution 1 (recherche séquentielle) et faisons le décompte des instructions. Limitons-nous aux instructions suivantes: • Affectation notée par e • Test noté par t • Addition notée par a • Il est clair que ce décompte dépend non seulement de la valeur C mais de celles des éléments du tableau. • Par conséquent, il y a lieu de distinguer trois mesures de complexité: • 1. dans le meilleur cas • 2. dans le pire cas • 3. dans la cas moyen • Meilleur cas: notée par tmin(n) représentant la complexité de l’algorithme dans le meilleur des cas en fonction du paramètre n (ici le nombre d’éléments dans le tableau). • Pire cas: notée par tmax(n) représentant la complexité de l’algorithme dans le cas le plus défavorable en fonction du paramètre n (ici le nombre d’éléments dans le tableau). • Cas Moyen: notée par tmoy(n) représentant la complexité de l’algorithme dans le cas moyen en fonction du paramètre n (ici le nombre d’éléments dans le tableau). C’est-à-dire la moyenne de toutes les complexités, t(i), pouvant apparaître pour tout ensemble de données de taille n (t(i) représente donc la complexité de l’algorithme dans le cas où C se trouve en position i du tableau). Dans le cas où l’on connaît la probabilité Pi de réalisation de la valeur t(i), alors par définition, on a: tmoy(n)=p1t(1)+...+pnt(n) • Il est clair que pour certains algorithmes, il n’y a pas lieu de distinguer entre ces trois mesures de complexité. Cela n’a pas vraiment de sens. Meilleur cas pour la recherche séquentielle: Le cas favorable se présente quand la valeur C se trouve au début du tableau tmin(n) = e + 3t (une seule affectation et 3 test: deux dans la boucle et un autre à l’extérieur de la boucle) Pire cas: Le cas défavorable se présente quand la valeur C ne se trouve pas du tout dans le tableau. Dans ce cas, l’algorithme aura à examiner, en vain, tous les éléments. tmax(n) = 1e + n(2t+1e+ 1a)+ 1t + 1t = (n+1)e + na + (2n+2)t Cas moyen: Comme les complexités favorable et défavorable sont respectivement (e + 3t) et (n+1)e + na + (2n+3)t, la complexité dans le cas moyen va se situer entre ces deux valeurs. Son calcul se fait comme suit: On suppose que la probabilité de présence de C dans le tableau A est de ½. De plus, dans le cas où cet élément C existe dans le tableau, on suppose que sa probabilité de présence dans l’une des positions de ce tableau est de 1/n. Si C est dans la position i du tableau, la complexité t(i) de l’algorithme est: t(i) = (i+1)e + ia + (2i+2)t Par conséquent, dans le cas où C existe, la complexité moyenne de notre algorithme est : Xmoy(n)=1 n ∑ i=0 n (i+1)e+ia+(2i+2)t Xmoy(n)=1 2 (3n+1)e+1 2 (n+1)a+(n+4)t Par analogie, si l’élément C n’existe pas dans le tableau, la complexité de notre algorithme est tmax(n). Par conséquent: T moy(n)=1 n ( Xmoy(n)+T max(n) T moy(n)=5 4 (n+1)e+1 2 (3n+1)a+1 2 (3n+7)t Complexité asymptotique • Le décompte d’instructions peut s’avérer fastidieux à effectuer si on tient compte d’autres instructions telles que: accès à un tableau, E/S, opérations logiques, appels de fonctions,.. etc. • De plus, même en se limitant à une seule opération, dans certains cas, ce décompte peut engendrer des expressions que seule une approximation peut conduire à une solution. • Par ailleurs, même si les opérations élémentaires ont des temps d’exécution constants sur une machine donnée, ils sont différents d’une machine à une autre. Par conséquent: • Pour ne retenir que les caractéristiques essentielles d’une complexité, et rendre ainsi son calcul simple (mais indicatif!), il est légitime d’ignorer toute constante pouvant apparaître lors du décompte du nombre de fois qu’une instruction est exécutée. • Le résultat obtenu à l’aide de ces simplifications représente la complexité asymptotique de l’algorithme considéré. Ainsi, si tmax(n) = (n+1)e + (n-1)a + (2n+1)t, alors on dira que la complexité de cet algorithme est tout simplement en n. On a éliminé tout constante, et on a supposé aussi que les opérations d’affectation, de test et d’addition ont uploads/Management/ algo-avnc-0.pdf
Documents similaires
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/QYE3Q7uvYQhvBi4jgWXKiOG8ykCkvZG5JDCB3y7juUqN51aeqgGBEWBB9Rslo5PK4AUBMuG9fWipDV4I33DU5bZN.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/ABDz3coZp7UoXVkhwJ0KfBVVyqa2vZpNDeaUDFcsTWct1GYdMYKYqqNxv4DCZ6y27cJzZFFLdRfMSybnUWLG0gTm.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/PxQF6AkFecANmXcSq7SRWkq4dCqHg4tGNeRbebZ9TATIb3Bq1OJVaLGyf0PeK5EaL1noJuKzVau6vH1SejPtXcSn.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/r9dx5kVtE6KZygZ584gj1rDS8N0CwXEub3RW4qRYfwygEPxGif6DpPq3i5KIcvddVkVDSl00vr5Ka6rvPR1J5eBP.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/oGckWr50xdXAjyG5tr2cHsdnfthSOuzO9q0wkKILjFJwwrw1XvAxfhkV1mUxreFBWtqVYkFd0hu31jQNHXZWiUgu.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/P3yat6xp1kSnqkYB5siPJiCqTiuwVdF48euKbT1lkITm2ulQ3cQpDZRWVVBV4zmTeAgxiZo1TfTm7o6OCjMSKlhY.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/YvMlxEhd0V9SQCBDdDYVQjTVHorJJVtAn93iw8wWOvarDQJqo74I61C7dEipZTIQyLjCmKtsn1uwv1xXAOqUNRVZ.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/VYTIIzquDDPZf8RuUdDCaHpAa98217ywrBJDthAoH83mechaZW7KjFQJg9UVLfKqCwWzo7zrmMhqhPEEjzp1DWoq.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/Ah37b8CFwE80IDGLRZaslaiOSQ0jsDsDTOF6J70GAuRuKxtwbPZOxkKIikKSBnh5dsd0udJedY4PvPZI47VMylBd.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/kQp2NuDEakPoJGeBeCueVNRjHoMVVBxZzxspQcno2rifG2lyRSUW0DrFxXA0XXpVmMZUdeHlqY1kFxEzolqUyTcI.png)
-
22
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Attribution requise- Détails
- Publié le Fev 15, 2022
- Catégorie Management
- Langue French
- Taille du fichier 0.4775MB