Le Forum de l'Alliance Francophone

Nouvelles:

Auteur Sujet: PrimeGrid  (Lu 581761 fois)

0 Membres et 2 Invités sur ce sujet

cougarpelardou

  • Invité
Réponse #2625 le: 29 April 2020 à 15:49
Oui j'avais vu ... Pour cette super longue que j'avais choisi exprès , le site affiche un bonus de 75% ... A l'arrivée j'ai eu un malus ... Comme dit le corbeau dans la fable de La Fontaine, on ne m'y reprendra plus.



Hors ligne [AF>Amis des Lapins] Jean-Luc

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 3396
  •   
    • Le calcul partagé en atsronomie sous BOINC
    • E-mail
Réponse #2626 le: 29 April 2020 à 15:50
Tu peux essayer les PPS-Sieve sur GPU (c'est le projet qui paye le plus sur PrimeGrid), ou les AP27, les calculs tournent rond !



Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/


Hors ligne f11ksx

  • Boinc'eur Respectable
  • ****
  • Messages: 617
  •   
    • E-mail
Réponse #2627 le: 29 April 2020 à 16:32
Les plus grands nombres premiers connus sont tous des nombres de Mersenne.
2^82.589.933 -1 qui fait 24.862.048 chiffres
avec une semaine de calcul, tu as le résultat: c'est premier, ou ce ne l'est pas.

https://www.mersenne.org/

Tu peux aussi demander des exposants au serveur, dont tu sais que le résultat fera un nombre premier de 100.000.000 de chiffres.
Et là tu exploses le record du monde pour un moment.
Mais il faut compter 1 mois de calcul MINIMUM sur carte graphique.
J'en ai fait une dizaine d'années avant de revenir ici. (de mémoire compter 8 à 9 ans de calcul sur CPU avec HT pour une seule WU).
Sauvegarde automatique toutes les heures.

Avec DYFL tu exploses le record du monde des nombres de Mersenne; mais tu resteras sous les 100 millions de chiffres.
Battre un record du monde demande plus d'efforts que de calculer une unité Collatz en 2 minutes.
Avec SOB on attaque les 10.000.000 de chiffres sur CPU. Ce n'est pas à la portée de la première calculette de poche venue.

A vaincre sans difficulté, on triomphe sans gloire.
Une carte graphique un peu musclée, facilite aussi les choses.

Si tu cherches des facteurs aux nombres de Fermat
Pour F24, par la méthode des courbes elliptiques, compter une semaine de calcul sur CPU + HT, et 200 Go de mémoire...
Pour les nombres de Fermat, ce sont des nombres tellement grands qu'on ne peut pratiquer un test de primalité comme pour Mersenne.
Tout ce qu'on peut faire, c'est une recherche de facteurs, qui prouve que le nombre n'est pas premier.
http://www.prothsearch.com/fermat.html
Pour rechercher un facteur à F28 entre 2^18 et 3^18, compter quelques mois sur GPU musclé, avec logiciel MMFF

Il y a des garçons qui poussaient des pierres au moyen-âge, sans se poser la question de savoir s'il verraient la cathédrale ou pas.

Ad augusta, per angusta.


Hors ligne franky82

  • DROITS - Journalistes
  • Boinc'eur devant l'éternel
  • *
  • Messages: 1969
  •   
    • Photo de bière
Réponse #2628 le: 29 April 2020 à 16:42
Il y a des garçons qui poussaient des pierres au moyen-âge, sans se poser la question de savoir s'il verraient la cathédrale ou pas.

J'ai pas tout compris avant mais...
j'adore cette phrase !  :love:

Mon site : Photo de bière
 



Hors ligne Xe120

  • CàA
  • Boinc'eur devant l'éternel
  • *****
  • Messages: 1525
  •   
    • E-mail
Réponse #2629 le: 29 April 2020 à 17:03
Simplement une confusion entre une appli GPU et une appli CPU, comme dit par ElGuillermo.
Normal que tu n’aies pas le même nombre de point au final.




Hors ligne [AF>Amis des Lapins] Jean-Luc

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 3396
  •   
    • Le calcul partagé en atsronomie sous BOINC
    • E-mail
Réponse #2630 le: 29 April 2020 à 17:57
Les plus grands nombres premiers connus sont tous des nombres de Mersenne.
2^82.589.933 -1 qui fait 24.862.048 chiffres
avec une semaine de calcul, tu as le résultat: c'est premier, ou ce ne l'est pas.

https://www.mersenne.org/

Tu peux aussi demander des exposants au serveur, dont tu sais que le résultat fera un nombre premier de 100.000.000 de chiffres.
Et là tu exploses le record du monde pour un moment.
Mais il faut compter 1 mois de calcul MINIMUM sur carte graphique.
J'en ai fait une dizaine d'années avant de revenir ici. (de mémoire compter 8 à 9 ans de calcul sur CPU avec HT pour une seule WU).
Sauvegarde automatique toutes les heures.


f11ksx, tu confirmes bien qu'on ne peut pas faire cela avec BOINC ?



Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/


En ligne JeromeC

  • CàA
  • Boinc'eur devant l'éternel
  • *****
  • Messages: 31106
  •   
Réponse #2631 le: 29 April 2020 à 20:34
C'est beau les maths :D

Mais les cathédrale c'est très surfait... une petite étincelle et WOUF  :gropet: :bhs: :p600:

A quoi bon prendre la vie au sérieux, puisque de toute façon nous n’en sortirons pas vivants ? (Alphonse Allais)



Hors ligne Maeda

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 2470
  •   
Réponse #2632 le: 30 April 2020 à 00:15
Si j'ai bien compris (depuis le temps) sur PrimeGrid :

Il faut séparer les applications dédiées pour écarter des possibilités (= type Sieve, qui paient le plus en crédit pour attirer des personnes), des applications qui trouvent des nombres premiers (= type LLR par ex, chauffent plus), mais paient moins (normal, sinon tout le monde ferait ces applications en priorité).


Hors ligne f11ksx

  • Boinc'eur Respectable
  • ****
  • Messages: 617
  •   
    • E-mail
Réponse #2633 le: 30 April 2020 à 09:00



f11ksx, tu confirmes bien qu'on ne peut pas faire cela avec BOINC ?


Oui, Jean-Luc, je confirme.
Pour les nombres de Fermat, il y a pléthore de logiciels en fonction de la taille de F (le nombre de Fermat) , voir sur Prothsearch
Pour Mersenne, DYFL porte sur les nombres généralisés de Mersenne

« Modifié: 01 May 2020 à 07:07 par f11ksx »

Ad augusta, per angusta.


Hors ligne [AF>Amis des Lapins] Jean-Luc

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 3396
  •   
    • Le calcul partagé en atsronomie sous BOINC
    • E-mail
Réponse #2634 le: 30 April 2020 à 10:04

Citer
f11ksx, tu confirmes bien qu'on ne peut pas faire cela avec BOINC ?

Oui, Jean-Luc, je confirme.
Pour les nombres de Fermat, il y a pléthore de logiciels en fonction de la taille de F (le nombre de Fermat) , voir sur Prothsearch
Pour Mersenne, DYFL porte sur les nombres généralisés de Mersenne

Merci f11ksx.

Je suis de près les découvertes des nouveaux nombres premiers de Mersenne.
Dommage que l'on ne puisse pas en chercher sur BOINC.

Ces nombres premiers ont bien entendu un lien avec les suites aliquotes, sur lesquelles je travaille, puisqu'ils permettent de connaître les nombres parfaits.
Voir par exemple ici pour ceux que cela intéresse, mais ce n'est qu'une facette parmi de nombreuses autres : http://www.aliquotes.com/suite_termes_taille_record.html
Les nombres premiers de Mersenne pourraient aussi permettre de trouver des chaînes aliquotes à 3 maillons, ce qui n'a encore jamais été découvert !
Je me suis d'abord assuré que personne ne s'était lancé dans cette recherche désespérée avant moi, voir ici et le lien donné dans ce post pour les détails mathématiques : https://www.mersenneforum.org/showthread.php?t=24268
Ensuite, j'ai écrit le programme et je l'ai lancé.
Il y a environ 3 semaines, mon programme a dû tester un nombre de plus de un milliard de chiffres (oui, un milliard !) pour savoir s'il était premier ou pas, ou plutôt pseudo-premier ou pas !
15 Go de RAM nécessaire et quelques jours de travail pour avoir une réponse "non".
Mais j'ai eu de la chance. Pour avoir un "oui", cela aurait pris des années, voire des siècles !!!

Je vous les dis, je m'éclate avec tout ça, vous pouvez pas savoir !

 :love:



Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/


Hors ligne Matt11

  • Boinc'eur Respectable
  • ****
  • Messages: 686
  •   
Réponse #2635 le: 30 April 2020 à 12:21
Il y a environ 3 semaines, mon programme a dû tester un nombre de plus de un milliard de chiffres (oui, un milliard !) pour savoir s'il était premier ou pas, ou plutôt pseudo-premier ou pas !
15 Go de RAM nécessaire et quelques jours de travail pour avoir une réponse "non".
Mais j'ai eu de la chance. Pour avoir un "oui", cela aurait pris des années, voire des siècles !!!

Si la réponse avait été oui tu aurais été célèbre (ou pseudo-célèbre) !
Tu as utilisé quel algo pour tester la primalité du nombre à un millaird de chiffre ? Était-ce un nombre sous une forme particulière ?


Ubuntu Mate 18.04  Intel core i7 6700K 4x4.0GHz 16Gb Nvidia Geforce GTX 1070


Hors ligne [AF>Amis des Lapins] Jean-Luc

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 3396
  •   
    • Le calcul partagé en atsronomie sous BOINC
    • E-mail
Réponse #2636 le: 30 April 2020 à 13:08
Si la réponse avait été "oui", je n'aurais pas été célèbre.
C'est un test de pseudo-primalité.

S'il dit "non", alors c'est certain le nombre n'est pas premier et cela peut arriver "vite", même pour un nombre de 1 milliard de chiffres.
Et si mon test de pseudoprimalité avait dit "oui", j'aurais dû fournir un test de primalité ensuite.
Cela aurait été encore incomparablement plus long !

Mais pour un nombre à plus de 1 milliards de chiffres, le "oui" aurait mis des siècles à tomber, bien après ma mort.
Dans ce genre de tests, je lance le programme 10000 ou 100000 secondes en espérant avoir le "non" avant !


Pour l'algorithme, je ne sais pas.
J'utilise l'instruction "is_pseudoprime" du logiciel de calcul formel "Sage".
C'est beaucoup plus rapide que le test de primalité "is_prime" du même logiciel.
J'ai cru lire quelque part qu'il s'agissait d'un test de non primalité de Fermat (attention, ce n'est pas un test de primalité !).
Mais là, je ne trouve plus cette info.



Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/


Hors ligne Matt11

  • Boinc'eur Respectable
  • ****
  • Messages: 686
  •   
Réponse #2637 le: 30 April 2020 à 14:24
Oui je me doute bien que s'il était pseudo-premier tu n'aurais pas eu la réponse de suite.
Mais je maintiens que si la réponse avait été oui ça aurait été une découverte :
- exceptionnel si le nombre était effectivement premier car ça aurait été de très loin le plus grand nombre premier jamais découvert. Mais cela aurait nécessité un algo déterministe qui aurait mis vraisemblablement encore plus de temps surtout si le nombre n'est pas sous une forme particulière (par exemple un nombre de Mersenne)
- très intéressante si le nombre n'était pas premier car on aurait eu un peuso-premier non premier ce qui est rare surtout pour le test de Baillie–PSW (utilisé par Scilab cf ici) pour lequel on ne connaît aucun pseudo-premier non premier.

Ne connaissant pas plus que ça Sage je me demande s'il n'y aurait pas moyen d'optimiser un peu la recherche de tes nombres premiers : soit en cherchant un test de (pseudo-)primalité plus efficace ou plus adapté aux nombres que tu considères (par exemple comme le test de Lucas–Lehmer–Riesel utilisé par Primegrid) soit en cherchant des optimisations informatiques permettant une meilleur gestion du temps de calcul et de la mémoire (typiquement un programme écrit en C spécialement pour tester les nombres sera potentiellement plus efficace qu'une fonction de sage).

En tout cas ton enthousiasme pour les maths et les nombres premiers fait plaisir à voir. Bonne recherche !


Ubuntu Mate 18.04  Intel core i7 6700K 4x4.0GHz 16Gb Nvidia Geforce GTX 1070


Hors ligne [AF>Amis des Lapins] Jean-Luc

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 3396
  •   
    • Le calcul partagé en atsronomie sous BOINC
    • E-mail
Réponse #2638 le: 30 April 2020 à 15:18
En tout cas ton enthousiasme pour les maths et les nombres premiers fait plaisir à voir. Bonne recherche !

Merci pour tes encouragements et tes tuyaux.
Je n'ai jamais cherché à savoir s'il y avait moyen de demander à Sage d'utiliser d'autres tests de pseudoprimalité, ni vérifié si certains étaient plus rapides...
De toute façon, je vais repasser à des nombres de Mersenne plus petits, je vais continuer les recherches d'abord avec 3.
J'en avais testé 40000 en une semaine. Au lieu de 10 en moyenne pour les gros Mersenne.
Mais c'était grisant de voir la machine s'attaquer à des nombres de centaines de millions de chiffres.
On vit à une époque dingue !

C'est vrai que je ne fais tout cela qu'en "amateur".
Mais j'ai d'excellentes relations avec des pros qui me conseillent, surtout sur le forum de Mersenne : le nom du forum provient du même Mersenne.
Et c'est grâce à ce forum que sont créés les projets BOINC mathématiques que nous connaissons tous :
PrimeGrid et tous ses sous-projets, Amicable, yafu...



Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/


En ligne JeromeC

  • CàA
  • Boinc'eur devant l'éternel
  • *****
  • Messages: 31106
  •   
Réponse #2639 le: 30 April 2020 à 16:07
un peuso-premier non premier
:gno: :gni: :gnu: :electric: :pt1cable:

Je crois me souvenir maintenant pourquoi j'ai arrêté les maths après le lycée :warf:
« Modifié: 30 April 2020 à 16:09 par JeromeC »

A quoi bon prendre la vie au sérieux, puisque de toute façon nous n’en sortirons pas vivants ? (Alphonse Allais)



Hors ligne [AF>Amis des Lapins] Jean-Luc

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 3396
  •   
    • Le calcul partagé en atsronomie sous BOINC
    • E-mail
Réponse #2640 le: 30 April 2020 à 17:45
Je crois me souvenir maintenant pourquoi j'ai arrêté les maths après le lycée :warf:

Moi je pense justement que c'est le contraire : si on t'avait montré des trucs aussi sublimes, tu aurais été pris par les maths et tu n'aurais pas pu les arrêter !

 :lol:



Rédacteur d'un article sur BOINC, adresse :
http://www.astrocaw.eu/?p=605
Créateur d'un site actif de recherche sur les suites aliquotes :
http://www.aliquotes.com/


En ligne JeromeC

  • CàA
  • Boinc'eur devant l'éternel
  • *****
  • Messages: 31106
  •   
Réponse #2641 le: 30 April 2020 à 18:16

A quoi bon prendre la vie au sérieux, puisque de toute façon nous n’en sortirons pas vivants ? (Alphonse Allais)



Hors ligne franky82

  • DROITS - Journalistes
  • Boinc'eur devant l'éternel
  • *
  • Messages: 1969
  •   
    • Photo de bière
Réponse #2642 le: 26 May 2020 à 19:19
De temps en temps, j'essaie d'obtenir de nouveaux badges sur Primegrid
mais il y en a un, je ne sais pas comment on l'obtient !?
(aucun projet Primegrid ne correspond...)
Project Staging Area   

Mon site : Photo de bière
 



Hors ligne Maeda

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 2470
  •   
Réponse #2643 le: 26 May 2020 à 19:31
Connais pas. C'est du bêta peut-être ?


Hors ligne [AF>Libristes] nico8313

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 8027
  •   
Réponse #2644 le: 26 May 2020 à 19:46
 :hello:

Ce n'est pas un projet que tu exécute dans Boinc, il sert de test pour les futurs applications intégré dans primegrid officiel ou en cours de test.
Il faut suivre les instructions par ici pour le lancer dans un terminal (windows ou gnu/linux ou mac )

http://www.primegrid.com/forum_thread.php?id=1215#60642



Hors ligne franky82

  • DROITS - Journalistes
  • Boinc'eur devant l'éternel
  • *
  • Messages: 1969
  •   
    • Photo de bière
Réponse #2645 le: 26 May 2020 à 19:54
OK, alors je vais l'oublier et me contenter des applis pour BOINC !  :jap:

Mon site : Photo de bière
 



Hors ligne [AF>Libristes] nico8313

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 8027
  •   
Réponse #2646 le: 26 May 2020 à 19:57
Pas de soucis, quand tu voudras tester n'hésite pas à demander de l'aide  :D
C'est pas trop compliqué à mettre en place  :D



naz

  • Invité
Réponse #2647 le: 26 May 2020 à 20:32
Pas de soucis, quand tu voudras tester n'hésite pas à demander de l'aide  :D
C'est pas trop compliqué à mettre en place  :D

Expliques! Ca peu en aider plus d'un comme moi  :siflotte:



Hors ligne fzs600

  • Méchant modo
  • Boinc'eur devant l'éternel
  • ******
  • Messages: 7779
  •   
Réponse #2648 le: 26 May 2020 à 20:38
Pas de soucis, quand tu voudras tester n'hésite pas à demander de l'aide  :D
C'est pas trop compliqué à mettre en place  :D
Il existe déjà quelque chose ici il me semble.  :D
https://forum.boinc-af.org/index.php/topic,6260.msg395546.html#msg395546


Utilisateur GNU-LINUX. fzs600@hub.g3l.org


naz

  • Invité
Réponse #2649 le: 26 May 2020 à 21:53
Merci  :smak: