Application à l'évaluation de la perte de précision dans un algorithme
On peut utiliser ici des résultats divers concernant la limite d'une somme de variables aléatoires identiquement distribuées ; grandes déviations, théorème central limite, inégalité de Bienaymé-Tchébytchev FLEMMARD...
On suppose qu'un programme effectue un calcul et qu'à chaque étape on ajoute un nombre, et que la perte de précision est la valeur absolue de la somme de variables aléatoires indépendantes identiquement distribuées.
A chaque étape, on a un représentant la valeur obtenue après le -ième calcul, et la différence entre et la valeur que l'on obtiendrait si l'ordinateur avait une précision infinie à cette étape.
C'est-à-dire que, représentant la somme des pour variant de à , les étant des variables aléatoires identiquement distribuées , en supposant que l'espérance de est nulle, on a les résultats suivants:
Par l'inégalité de Bienaymé-Tchébitchev, si la variance est
:
Par le théorème central limite,
avec variable aléatoire de loi normale (ceci permet donc la construction d'intervalles de confiance).