pls_393_p080_085_<strong>de</strong>lahaye.xp_mm_26_05 4/06/10 17:38 Page 81 R e g a r d s Francesco De Comité © Pour la Science - n° 393 - Juillet 2010 Logique & <strong>calcul</strong> [81
pls_393_p080_085_<strong>de</strong>lahaye.xp_mm_26_05 4/06/10 17:38 Page 82 R e g a r d s colossale mémoire interne rapi<strong>de</strong> et que seuls possè<strong>de</strong>nt <strong>de</strong>s centres scientifiques spécialisés (météorologiques, militaires, universitaires, etc.). L’exploit réalisé <strong>par</strong> F. <strong>Bellard</strong> ne doit rien au hasard, et si David, avec son microordinateur, a pu battre Goliath et son superordinateur, c’est bien, comme nous allons le voir, grâce à son ingéniosité. F. <strong>Bellard</strong> a 38 ans et il avait déjà fait <strong>par</strong>ler <strong>de</strong> lui en <strong>calcul</strong>ant <strong>de</strong>s chiffres binaires <strong>de</strong> en position 1 000 milliards, ce qui lui avait valu un article sur quatre colonnes dans le quotidien <strong>Le</strong> Mon<strong>de</strong> du 23 octobre 1997. <strong>Le</strong> Québécois Simon Plouffe avait découvert peu avant une formule permettant le <strong>calcul</strong> individuel (sans avoir à <strong>calcul</strong>er tous les chiffres précé<strong>de</strong>nts) <strong>de</strong>s chiffres binaires <strong>de</strong> . En 1997, F. <strong>Bellard</strong> n’utilisa pas cette formule, mais une autre, sensiblement plus rapi<strong>de</strong>, qu’il avait mise au point. Cette formule a été réutilisée pour les records suivants <strong>de</strong> <strong>calcul</strong> <strong>de</strong> chiffres binaires individuels et a joué un rôle dans la phase <strong>de</strong> contrôle <strong>de</strong> l’exploit avec un micro-ordinateur lors du <strong>calcul</strong> record <strong>de</strong> décembre 2009. <strong>Le</strong>s secrets <strong>de</strong> l’exploit F. <strong>Bellard</strong> précise que les décimales <strong>de</strong> ne l’intéressent pas <strong>par</strong>ticulièrement ; ce sont les algorithmes nécessaires pour mener <strong>de</strong>s <strong>calcul</strong>s en gran<strong>de</strong> précision (c’est-à-dire avec <strong>de</strong>s milliers <strong>de</strong> milliards <strong>de</strong> chiffres... en attendant mieux) et tout ce qu’il faut faire pour bien les utiliser qui le conduisent à relever ce défi. F. <strong>Bellard</strong> est aussi connu, entre autres choses, pour son émulateur QEMU, un programme qui simule certaines architectures matérielles sur d’autres, autorisant <strong>par</strong> exemple l’exécution <strong>de</strong> programmes prévus pour Windows sur Mac ou sous UNIX. Indiquons maintenant les éléments principaux qui ont permis l’exploit (voir http://bellard.org/pi/pi2700e9/pipcrecord.pdf pour <strong>de</strong>s précisions). Tout d’abord, la formule (choisie après une série <strong>de</strong> tests com<strong>par</strong>atifs) est une formule rapi<strong>de</strong>. C’est une extraordinaire série découverte en 1988 <strong>par</strong> David et Gregory Chudnowski, <strong>de</strong>ux frères mathématiciens ukrainiens aujourd’hui installés aux États- Unis. Chaque nouveau terme pris en compte permet d’obtenir 14 décimales exactes supplémentaires. La voici : Cette formule utilisée naïvement en <strong>calcul</strong>ant les termes successivement ne conduit pas à un algorithme rapi<strong>de</strong>. Depuis 1976, on sait <strong>calcul</strong>er efficacement ce type <strong>de</strong> séries <strong>par</strong> la métho<strong>de</strong> aujourd’hui dénomméebinary splitting, ou scindage binaire. La métho<strong>de</strong> 2. <strong>Le</strong>s formules <strong>de</strong> <strong>calcul</strong> <strong>de</strong> 3. <strong>Le</strong>s crop circles <strong>de</strong> Formules utilisées <strong>par</strong> Y. Kanada pour le record <strong>de</strong> 2002 π = 48 tan -1 (1/49) + 128 tan -1 (1/57) – 20 tan -1 (1/239) + 48 tan -1 (1/11043) π =176 tan -1 (1/57) + 28 tan -1 (1/239) – 48 tan -1 (1/682) + 96 tan -1 (1/12943) Formules utilisées <strong>par</strong> D. Takahashi pour le record d’août 2009 <strong>Le</strong> premier <strong>calcul</strong> utilise la formule <strong>de</strong> Gauss-<strong>Le</strong>gendre-Salamin-Brent qui définit plusieurs suites <strong>par</strong> récurrence: a 0 = 1 b 0 = 1/2 s 0 = 1/2 a k = a k–1 + b k–1 2 2 2 c k = a k – b k s k = s k–1 – 2 k c k p k = 2 2a k s k b k = a k–1 b k–1 la suite p k convergeant vers . <strong>Le</strong> second <strong>calcul</strong> utilise la formule quartique <strong>de</strong>s frères Borwein, avec 1/a k convergeant vers : , 4 1/4 1 – (1 –y a 0 = 6 – 42 y 0 = 2 – 1 y k+1 = k ) 1 + (1 –y k ) 4 2 a k+1 = a k (1 – y k+1 ) – 2 2k+3 y k+1 (1 + y k + 1 + y k + 1 ) Formules utilisées <strong>par</strong> F. <strong>Bellard</strong> pour le record <strong>de</strong> décembre 2009 Pour le <strong>calcul</strong> général, il utilise une série <strong>de</strong>s frères Chudnowski : 1 = 12 8 π Σk = 0 Pour la vérification <strong>de</strong>s <strong>de</strong>rniers chiffres, il utilise sa formule <strong>de</strong> 1997 : 4 1/4 (–1) k (6k)! (13591409+545140134k) (3k)! (k!) 3 3k + 3/2 640320 (–1) 1 π = 4 Σ k (–1) – 64 k = 0 4 k (2k + 1) Σ k 32 8 1 ( + + k = 0 1024 k 4k + 1 ) 4k + 2 4k + 3 8 8 <strong>Le</strong>s crop circles, ou cercles <strong>de</strong> culture, sont <strong>de</strong>s motifs <strong>de</strong>ssinés dans <strong>de</strong>s champs <strong>de</strong> céréales dont certains épis sont couchés. C’est ainsi qu’en juin 2008 a été découvert, dans le Sud <strong>de</strong> l’Angleterre, un crop circle d’une cinquantaine <strong>de</strong> mètres <strong>de</strong> diamètre qui co<strong>de</strong> une dizaine <strong>de</strong> décimales <strong>de</strong> . En <strong>par</strong>tant du centre, le motif <strong>de</strong>ssine une spirale composée d’arcs <strong>de</strong> cercles. En comptant en dixièmes d’un cercle complet, les longueurs <strong>de</strong>s arcs <strong>de</strong> cercles qui composent la spirale donnent 3,14159... 82] Logique & <strong>calcul</strong> © Pour la Science - n° 393 - Juillet 2010