Collatz Conjecture (ancien 3X+1)

[Damien]

 

Infos Utiles :

• Statut : a l'arrêt
  
  • Url pour s'y attacher :
  • L'alliance Francophone : http://boinc.thesonntags.com/collatz/team_display.php?teamid=3
  • Articles sur le site de L'AF : http://boinc-af.org/projets-mathematiques/897-collatz-conjecture.html
  • Classement mondial de L'AF : http://fr.boincstats.com/stats/team_stats.php?pr=collatzc&st=0
  • Temps de calcul et points de sauvegarde : http://wuprop.boinc-af.org/results.html
  • Avancement des sous-projets : http://boinc.thesonntags.com/collatz/high_steppers.php
  • État du Serveur : http://boinc.thesonntags.com/collatz/server_status.php
  • Affiliation : Aucune, projet personnel.
  
  
  Résumé :
  
  
       En mathématiques, on appelle suite de Syracuse une suite d'entiers naturels définie de la manière suivante :
  
       On part d'un nombre entier plus grand que zéro ; s'il est pair, on le divise par 2 ; s'il est impair, on le multiplie par 3 et on ajoute 1. En répétant l'opération, on obtient une suite d'entiers positifs dont chacun ne dépend que de son prédécesseur.
       Par exemple, à partir de 14, on construit la suite des nombres : 14, 7, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1, 4, 2... C'est ce qu'on appelle la suite de Syracuse du nombre 14.
       Après que le nombre 1 a été atteint, la suite des valeurs (1,4,2,1,4,2...) se répète indéfiniment en un cycle de longueur 3, appelé cycle trivial.
       Si l'on était parti d'un autre entier, en lui appliquant les mêmes règles, on aurait obtenu une suite de nombres différente. A priori, il serait possible que la suite de Syracuse de certaines valeurs de départ n'atteigne jamais la valeur 1, soit qu'elle aboutisse à un cycle différent du cycle trivial, soit qu'elle diverge vers l'infini. Or, on n'a jamais trouvé d'exemple de suite obtenue suivant les règles données qui n'aboutisse à 1 et, par suite, au cycle trivial.
  
       La conjecture de Syracuse, encore appelée conjecture de Collatz, conjecture d'Ulam, conjecture tchèque ou problème 3x+1 est l'hypothèse mathématique selon laquelle la suite de Syracuse de n'importe quel entier strictement positif atteint 1.
  
       En dépit de la simplicité de son énoncé, cette conjecture a durant de nombreuses années défié les mathématiciens. Paul Erdős a dit à propos de la conjecture de Syracuse : « les mathématiques ne sont pas encore prêtes pour de tels problèmes ». Plus de détails sur la conjecture de Syracuse ici.
  
       La conjecture Collatz est un example de mathématique pure. Il n'existe pas d'application pratique. Il pourrait y avoir une application qui ne demande qu'a être trouvée mais ce n'est pas la raison pour laquelle les mathématiciens étudient de tels problèmes. Le but de ce projet est de chercher à démontrer ou à infirmer cette conjecture.
  
  
  
  Configuration requise :
  
     Toutes les applications utilisent actuellement OpenCL. Vous devez avoir un driver OpenCL d'installé pour que votre CPU ou GPU soit détecté par le client BOINC.
     * Des applications ATI et CUDA sont maintenant disponibles pour les cartes ne supportant pas OpenCL.
  
  
  
  
  •     BOINC 7.0.28 ou plus récent pour les tâches GPU, BOINC 7.2.21 ou plus récent pour les tâches CPU
  •     Pour le calcul sous CPU:
  
  
  • OS X 10.7 ou plus récent (pas de driver OpenCL supplémentaire nécessaire)
  • Pour Linux et Windows, soit les drivers Intel ou AMD OpenCL sont nécéssaires.
  •    Pour le calcul sous GPU:
  
  
  • AMD Radeon HD 48xx ou supérieur avec les drivers AMD à jours
  • Intel HD4000 ou supérieur avec les drivers Intel OpenCL
  • nVidia 8400GS ou supérieur avec les drivers nVidia à jours
  •    Les drivers OpenCL sont disponibles là:
  
  
  • AMD Video Driver - Attention: Les GPUs HD 48xx nécessitent les drivers Legacy AMD Catalyst qui ne sont pas les mêmes que les drivers AMD Catalyst.
  • AMD APP SDK v2.8 - pour les CPUs si aucun drivers AMD pour GPU n'est installé et que le CPU est soit un AMD ou qu'il ne supporte pas SSE4.1
  • nVidia Video Driver
  • Intel OpenCL SDK and/or Runtime - nécessite un CPU Intel supportant SSE4.1
     
  
  
  Optimisation Applications GPU :
  
     Chaque applications Collatz est distribuée avec un fichier 'config' vide. Le fichier 'config' à le même nom que l'exécutable mais avec l'extension ".config".
  
     Il existe un certain nombres de paramètres qui peuvent être modifiés pour améliorer la vitesse de calcul ou diminuer le temps de réponse:
  
     verbose=[0|1]
     Une valeur de 1 entrainera l'affichage de plus d'informations concernant le GPU, la version OpenCL, etc. Si activé, cela devrait apparaitre en premier dans le fichier 'log'.
  
     items_per_kernel=[10..22]
     La valeur par défaut est 14. Augmenter ce nombre entrainera une augmentation du travail sur le GPU. Attention attribué une valeur trop grande peut entrainer un crash des drivers GPU.
  
     kernels_per_reduction=[2..9]
     La valeur par défaut est 8. Une valeur plus basse augmentera le temps de réponse de l'affichage graphique. Une valeur plus grande peut permettre une meilleur utilisation du GPU. Une valeur trop grande entrainera une utilisation de CPU en plus de l'utilisation du GPU.
  
     threads=[5..10]
     Une valeur grande ne signifie par forcement une meilleur utilisation du GPU, cette valeur dépend de votre matériel. La plupart des GPUs AMD autorisent une valeur maximale de 8 tandis que les GPUs NVidia peuvent autorisé une valeur de 9 ou 10.
  
     build_options=-cl-opt-disable -Werror
     Si l'application OpenCL plante après 1-2 secondes, cette ligne peut résoudre le problème.
  
     sleep=[1..1000]
     Cela contrôle le nombre de millisecondes durant lesquelles l'application attend que les calculs soit terminés. La valeur par défaut est 1. Augmenter la valeur (e.g. 2-5) augmentera le temps de réponse mais entrainera un ralentissent de l'exécution de l'application.
  
  Exemple de fichier ".config":
  
  

  verbose=1
  items_per_kernel=20
  kernels_per_reduction=9
  threads=8
  sleep=1
  build_options=-cl-opt-disable -Werror

  
  
  
  Badges :
  
       Depuis le 21/06/2013 des badges ont été ajoutés sur Collatz, voici les crédits nécessaires pour leurs obtentions: 
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  

  Représentation		Intitulé		Crédits nécessaires
  		Bronze		100K
  		Argent		1M
  		Or		5M
  		Améthyste		20M
  		Rubis		100M
  		Saphir		500M
  		Émeraude		2B

  
  
  
  Dernière Info :
  
  Le 06/02/2014
  

  Issues and Resolutions
  One third of the lost credits have been restored. The remaining credits will be restored of the new several days. If your account does not exist because it was lost between the last full backup and now, please re-create your account using the same login name and email address and send me a PM and I will manually restore your stats.
  
  A Windows ATI (CAL/Brook+) app was successfully compiled under VS2012 and is currently being tested so AMD HD 2400 thru HD 47xx GPUs will be able to participate.
  
  The OpenCL CPU apps are not suspending properly. The issue has been replicated and is under investigation.
  
  A number of volunteers are returning results with the error: "couldn't start app: CreateProcess() failed - (unknown error)". This is due to a missing Microsoft C++ Runtime library required by the nVidia OpenCL DLLs. The MSVC Runtimes are available from Microsoft at
  http://www.microsoft.com/en-us/download/details.aspx?id=30679 or from here for 32-bit or 64-bit hosts.

  
  

  Problèmes et Solutions
  Un tiers des crédits perdus ont été restaurés. Le reste des crédits sera restaurés dans les prochains jours. Si votre compte n'existe plus car il a été perdu avec la dernière sauvegarde, veuillez le re-créer en utilisant le même identifiant et la même adresse mail puis envoyer moi un MP et je restaurerai manuellement vos statistiques.
  
  Une application ATI (CAL/Brook+)  pour Windows compilé sous VS2012 est en cours de test de sorte que les cartes non compatibles avec OpenCL seront en mesure de participer.
  
  L'application OpenCL CPU ne s'interrompt pas correctement. Le problème a été répliqué et est en cours de traitement.
  
  Certains volontaires revoient des résultats avec l'erreur"couldn't start app: CreateProcess() failed - (unknown error)". Ceci est du au fait qu'ils ne possèdent pas les librairies Microsoft C++ Runtime nécessaire pour l'application NVidia OpenCL. Vous pouvez les récupérer à l'adresse http://www.microsoft.com/fr-fr/download/details.aspx?id=30679 ou directement pour 32-bit ou 64-bit.

  
  mise à jour 24 avril 2024 par fzs600

[xipehuz]

Voila, j'ai rejoins l'AF et commencé à cruncher.

Voyons voir ce que ça donne niveau crédit et stabilité des UTs

[popolito]

Très célèbre conjecture !!

[Hildor]

Dommage que ce ne soit que pour linux 64  :sweat:

Je sais, je n'ai qu'à faire l'effort de l'installer  

[Markken]

Un peu de Live cd et c'est parti  

[Hildor]

Il faut que j'essaye un jour !  

[Markken]

Même moi, j'y arrive... Et pourtant  

[pitheque]

1er UOTD de l'AF sur ce projet  
[AF>EDLS>Ouest] Rom_185

[rom_185]

C'est automatique à chaque création de profil...
L'UotD avant moi était thierry de B^S .

[Markken]

+2 pour L'AF  

[xipehuz]

C'est bizarre, avec l'appli 1.0, j'ai eu 0 "granted credit" sur mes UTs alors que je demandais 33 "claimed credits" et ceux qui ont calculé les mêmes UT que moi et qui réclamaient 13 crédits en ont obtenu 30.    

Etrange, j'espère que ça va pas se reproduire avec la nouvelle appli 1.02.

[Amiloz]

Il faut que j'essaye un jour !  

  http://forum.boinc.fr/boinc/Tutoriels/ubuntu-livecd-linux-sujet_3_1.htm

[Hildor]

Merci Amiloz  

Je vais regarder ça de très près !

[chrisnawak]

petite information, aujoud'hui le granted credit a été modifié il est passé de 7 à 12 credits par Wu ce qui est n'est pas très élevé mais nettement mieux

[chrisnawak]

le granted crédit est finalement passé à 10 quelques heures seulement après qu'il fût été à 12.

[Hildor]

Je viens d'avoir il y a quelques jours, mes premiers crédits sous linux avec primegrid et 3x+1.  

J'aurais du en avoir plus mais ma connection a sauté, et il ne c'est reconnecté automatiquement.
Je n'ai donc fait qu'une Wu  :sweat:

Je pense que ce week-end je vais installer Ubuntu sur le DD car sur le cd c'est un peu galère.

  pour vos encouragements !

[rom_185]

pour vos encouragements !

Prend une machine virtuel, ça te permet d'avoir internet, le son... sans driver à installer et tout ce que tu fait ne s'efface pas à chaque reboot .
Virtual box est bien si tu veut .

[Markken]

C'est vrai, mais pour le 64bit... Nada

[rom_185]

C'est vrai, mais pour le 64bit... Nada

C'est pas faut... sauf si il a du win64 .

[Markken]

   

[Hildor]

Nan! mais je vais faire un peu de ménage sur mes disques dures, et hop! linux dessus !

[xipehuz]

                          [:yada44:5]           [:yada44:5]    
        Hildor                    [:yada44:5]     Linux     [:yada44:5]    
                             [:yada44:5]           [:yada44:5]

[Hildor]

Enfin, je lâche pas Windows non-plus, trop dépendant  

Et puis, j'ai des soucies de connections internet avec Linux  :sweat:

[Markken]

Et puis, j'ai des soucies de connections internet avec Linux  :sweat:

+1  :fou:  :fou:  :fou:  :fou:  :fou:

[rom_185]

+2, driver à la con ...