Puisque je suis le détenteur du record du monde actuel pour le plus de chiffres de pi, j'ajouterai mes deux cents :
Sauf si vous établissez réellement un nouveau record du monde, la pratique courante consiste simplement à vérifier les chiffres calculés par rapport aux valeurs connues. C'est donc assez simple.
En fait, j'ai une page Web qui répertorie des extraits de chiffres dans le but de vérifier les calculs par rapport à eux: http://www.numberworld.org/digits/Pi/
Mais lorsque vous entrez sur un territoire record, il n'y a rien à comparer.
Historiquement, l'approche standard pour vérifier que les chiffres calculés sont corrects consiste à recalculer les chiffres à l'aide d'un deuxième algorithme. Donc, si l'un des calculs tourne mal, les chiffres à la fin ne correspondront pas.
Cela fait généralement plus du double du temps nécessaire (car le deuxième algorithme est généralement plus lent). Mais c'est le seul moyen de vérifier les chiffres calculés une fois que vous avez erré dans le territoire inexploré de chiffres jamais calculés auparavant et d'un nouveau record du monde.
À l'époque où les superordinateurs établissaient les records, deux algorithmes AGM différents étaient couramment utilisés:
Ce sont à la fois O(N log(N)^2)
algorithmes assez faciles à implémenter.
Cependant, de nos jours, les choses sont un peu différentes. Dans les trois derniers records du monde, au lieu d'effectuer deux calculs, nous n'avons effectué qu'un seul calcul en utilisant la formule connue la plus rapide (formule de Chudnovsky ):
Cet algorithme est beaucoup plus difficile à implémenter, mais il est beaucoup plus rapide que les algorithmes AGM.
Ensuite, nous vérifions les chiffres binaires en utilisant les formules BBP pour l'extraction des chiffres .
Cette formule vous permet de calculer des chiffres binaires arbitraires sans calculer tous les chiffres précédents. Il est donc utilisé pour vérifier les derniers chiffres binaires calculés. Il est donc beaucoup plus rapide qu'un calcul complet.
L'avantage de ceci est:
- Un seul calcul coûteux est nécessaire.
L'inconvénient est:
- Une mise en œuvre de la formule Bailey – Borwein – Plouffe (BBP) est nécessaire.
- Une étape supplémentaire est nécessaire pour vérifier la conversion radix de binaire en décimal.
J'ai passé sous silence certains détails expliquant pourquoi la vérification des derniers chiffres implique que tous les chiffres sont corrects. Mais il est facile de voir cela car toute erreur de calcul se propagera jusqu'aux derniers chiffres.
Maintenant, cette dernière étape (vérification de la conversion) est en fait assez importante. L'un des précédents détenteurs du record du monde nous a en fait appelés à ce sujet car, au départ, je n'avais pas suffisamment décrit comment cela fonctionnait.
J'ai donc extrait cet extrait de mon blog:
N = # of decimal digits desired
p = 64-bit prime number
Calculez A en utilisant l'arithmétique de base 10 et B en utilisant l'arithmétique binaire.
Si A = B
, alors avec "une probabilité extrêmement élevée", la conversion est correcte.
Pour plus de lecture, consultez mon article de blog Pi - 5 milliards de chiffres .