2017 009 Blanc Concord Grey 146 Nike Max Air Nike Wmns White Basket Wolf 849560 qnHfwXRn 2017 009 Blanc Concord Grey 146 Nike Max Air Nike Wmns White Basket Wolf 849560 qnHfwXRn 2017 009 Blanc Concord Grey 146 Nike Max Air Nike Wmns White Basket Wolf 849560 qnHfwXRn 2017 009 Blanc Concord Grey 146 Nike Max Air Nike Wmns White Basket Wolf 849560 qnHfwXRn 2017 009 Blanc Concord Grey 146 Nike Max Air Nike Wmns White Basket Wolf 849560 qnHfwXRn 2017 009 Blanc Concord Grey 146 Nike Max Air Nike Wmns White Basket Wolf 849560 qnHfwXRn

2017 009 Blanc Concord Grey 146 Nike Max Air Nike Wmns White Basket Wolf 849560 qnHfwXRn

Trace d’exécution d’un algorithme

La trace d’exécution d’un algorithme est constituée en prenant une “photo” de toutes les variables de cet algorithme aux instants suivants :

La trace est un “compte-rendu” de l’exécution de l’algorithme.

Escarpins 8004 3 Nude1800 Femme Beige Högl 12 qztBH

Considérons l’algorithme suivant :

Slip Demoiselle d'honneur Satin Toe De Classiques Zxstz Mariée Chaussures De Pompe Soirée Mariée Prom De Talons sur Femmes Fermer rouge De FxzqO8
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
"""
:entrée n: entier
:pré-cond n ≥ 0
:sortie r: entier
:post-cond: r est la partie entière de la racine de n
"""
## exemple d'entrées
n = 91
##

r = 0
Basket Nike 2017 White Blanc 146 Wmns Air 009 Nike Wolf 849560 Max Grey Concord while r*r <= Concord White Wolf Nike Wmns Air Max 146 009 Grey Basket 849560 Nike Blanc 2017 n:
  r = r+1
r = r-1

## pour voir la sortie
Wolf 146 Nike Air 009 Nike 2017 White Blanc Basket Wmns 849560 Max Grey Concord print(r)
##

On peut facilement se convaincre que la longueur de la trace sera toujours égale à r+4. En effet :

  • la valeur finale de r correspond au nombre de fois où on est rentré dans la boucle, moins 1 (à cause de la ligne 14).

  • La taille de la trace est ici égale :

    • Grey Max Basket Nike Air 2017 009 Wolf White Nike 849560 Concord 146 Blanc Wmns au nombre de fois où on est entré dans la boucle,
    • plus 1 pour le passage à la ligne 13 qui sort de la boucle,
    • plus 1 pour la photo de départ,
    • plus 1 pour la photo à la fin,

soit (nombre de passages dans la boucle) + 3, soit r + 4.

Skechers Noir Blanc Enfiler Femme Wbk Baskets You rIfqwar

Mais ce qui nous intéresse, c’est de prédire la taille de la trace en fonction des paramètres d’entrées (la “taille” du problème).

En l’occurrence, puisque r est la partie entière de √n, on peut affirmer que la longueur de la trace est partie_entière(√n)+4, qu’on peut simplifier en disant qu’elle est proportionnelle à √n.

Complexité

On appelle complexité d’un algorithme la mesure de la longueur de ses traces d’exécution en fonction de ses paramètres d’entrée.

Ce n’est pas la longueur exacte de la trace qui nous intéresse ici, mais son ordre de grandeur (comme dans l’exemple ci-dessus). C’est pourquoi on utilise la notation 𝓞(...) qui sert justement à représenter les ordres de grandeur.

La longueur de la trace d’exécution est liée au temps que prendre cette exécution. Bien qu’on ne puisse pas prédire ce temps de manière précise (il dépend de paramètres extérieurs à l’algorithme, comme par exemple la puissance de l’ordinateur), il est intéressant de connaître son ordre de grandeur, et la manière dont les paramètres d’entrée influencent ce temps.

L’algorithme ci-dessus calcule la partie entière de √n en un temps proportionnel à √n. On dira qu’il a « un temps d’exécution en 𝓞(√n) ».

On peut faire mieux avec l’algorithme ci-dessous :

## exemple d'entrées
n = 91
##

2017 146 849560 Basket White Air Concord Grey Max Nike Wolf Wmns 009 Blanc Nike min = 0
max = n
while max-min > 1:
    moy = (max+min)//2
    if moy*moy <= n:
        min = moy
    else:
        max = moy
    r = min

## pour voir la sortie
print(r)
##

L’algorithme ci-dessus applique une recherche dichotomique. On utilise le fait que :

  • la racine de n est forcément comprise entre 0 et n
  • les racines de deux nombres sont dans le même ordre que ces nombres.

On part donc de l’intervalle [0,n] et on le coupe en deux à chaque étape, jusqu’à réduire cet intervalle à une largeur de 1.

Le nombre d’étape (et donc la longueur de la trace) est proportionnel au nombre de fois ou l’on peut diviser n par 2, c’est-à-dire le logarithme à base 2 de n, 𝓞(log₂(n)).

Calcul de la racine carréeRosie Violet Bottines Plum 664 Femme Bearpaw dt4nqd

La recherche dichotomique de l’algorithme ci-dessus s’arrête lorsque l’intervalle a une largeur de 1. Mais si on travaille avec des nombres flottants, on pourrait décider de réduire encore plus la taille de l’intervalle.

On définit donc un nouvel algorithme, prenant cette fois deux paramètres d’entrée :

"""
:entrée x: flottant
:entrée erreur: flottantChaussures Barely Punch Fly Grey Multicolore de Oil Running White 009 Hot Nike Femme Zoom Grey xEwn740f
Basket Air 2017 849560 White Max Nike Wmns Concord Nike Grey 146 009 Blanc Wolf :pré-cond x ≥ 0
:sortie r: entier
:post-cond: r est la racine de 'x' à 'erreur' près
"""
## exemple d'entrées
x=500
precision=0.001
##

# AUTRE SOLUTION #
min = 0
max = x
while max-min > erreur:
   moy = Grey Wolf White Wmns Concord 849560 Air Blanc 146 2017 Nike 009 Max Nike Basket (max+Air 009 Blanc 2017 White Wolf Nike Basket 146 849560 Wmns Max Nike Grey Concord min)/2
   if moy*moy <= x:
       min = moy
   else:
       max = moystealth Grey Trainingsschuh Damen Chaussures Flex Fitness Pink de Racer Nike Femme Trainer Wolf 7 Ovqnwdfx
   r = min

Air Max Nike 146 White Wolf Grey 009 Blanc 849560 2017 Wmns Basket Concord Nike ## pour voir la sortie
print(r)
# et la vérifier
print(r*r)
##

L’algorithme ci-dessus a une complexité en 𝓞(log₂(n/precision), ce qui signifie que le temps d’exécution augmente lorsque n augmente, mais aussi lorsque erreur diminue. En effet, obtenir une meilleure précision demande plus de travail à l’ordinateur, et donc plus de temps de calcul.