ABC Lattices @Home

[fzs600]

                       

Infos Utiles :

• Statut : Actif
• Url pour s'y attacher : http://boinc2.cs.hs-rm.de/abclll/
• L'alliance Francophone : http://boinc2.cs.hs-rm.de/abclll/team_display.php?teamid=5
• Articles sur le site de L'AF : pas encore.
• Classement mondial de L'AF : http://boincstats.com/fr/stats/142/team/list/
• Temps de calcul et points de sauvegarde : http://wuprop.boinc-af.org/results.html
• Avancement des sous-projets : Pas d'informations disponibles.
• État du Serveur : http://boinc2.cs.hs-rm.de/abclll/server_status.php
• Affiliation : Université de sciences appliquées de Rhin Main - Allemagne

Résumé :

     ABC Lattices@HOME est un projet qui utilise le calcul distribué afin de chercher des triplets abc. Contrairement à ABC@Home, ce projet n'a pas pour but de rechercher consciencieusement dans une plage de données. A la place, nous essayons de trouver de "bons" triplets avec l'aide d'algorithmes spécialisés et de suppositions éclairées dans des zones au delà de 2^100. Vous pouvez participer en téléchargeant et installant un programme gratuit sur votre ordinateur. Plus de détails sur la conjecture ABC ici.

• Qu'est ce que je calcul au juste?

     L'application "ABC Eval" utilise un algorithme qui a pour but de trouver de "bons" triples-abc.

• Qu'est ce qu'un triplet abc?

     Un triplet-abc est un ensemble de trois entiers (a, b et c) qui remplissent les conditions suivantes:

•     a + b = c  (cela semble facile, n'est ce pas?)
•     Le plus grand diviseur commun de a et b est 1 (c'est la partie compliqué)

     Mais ça devient encore plus compliqué: Demandé moi ce que sont les "bons" triplets!

• Qu'est ce qu'un "bon" triplet abc?

     Premièrement vous devez savoir que le radical d'un nombre ( rad(x) ), est le produit des nombres premiers distincts qui décomposent x.

     Ensuite, la qualité d'un triplet-abc est défini par q(abc) = log(c) / rad(a*b*c).

     Un "bon" triplet-abc à une qualité supérieur à 1.4

• Ok, à quoi cela sert-il?

     Cela fait partie de ma thèse d'évaluer un algorithme pour trouver de "bons" triplets-abc. Les "bons" triplets-abc sont très rares, cependant on ne sait pas s'ils en existent infiniment. Étudier la nature des triplets-abc et leur distribution aide à la résolution de la conjecture ABC.

• Je veux en apprendre sur ce sujet!

     Les sites de la faculté de mathématique de l'Université de Leiden sont un bon point de départ (Attention en Anglais).

• Pas si vite! Il existe un autre projet ABC@Home depuis pas mal de temps, quelle est la différence avec ce projet?

    Le but de ABC@Home est le recensement minutieux de tous les triplets-abc compris dans un domaine de recherche précis. Actuellement, leur liste contient environ tous les triplets pour lesquels c est inférieur à 2^63. D'autres recherches ont déjà trouvé de nombreux triplets avec  c < 10^30. ABC lattices@Home à pour but de trouver un maximum de "bons" triplets-abc aussi efficacement que possible, en dehors des domaines de recherche d'autres personnes (selon nos informations). Nous ne sommes pas affiliés avec ABC@Home, mais nous partageons la même passion pour se sujet.


Applications CPU :

     Disponible pour Windows (32 et 64bits), Linux (32 et 64bits) et Mac (32 et 64bits).

     *Des WUs 32bits seront envoyées aux machines 64bits.



Applications GPU :

Bonjour, à ce jour, il n'existe aucun plan dans ce sens. Je pense que ce programme ne bénéficierait que peu de l'accélération GPU puisque je manipule de très grands nombres (pas beaucoup de petits).
Cordialement, Jan

Dernière Info :

Le 01/05/2013

Version 10.06 is released for every OS. Changelog:


    Computation error handled (Tested under Win 7, OS X, Ubuntu). Factorization-fallback reactivated and additional errortext added, so I can learn more about this error. Again, please tell me if there's anything wrong.
    Checkpointing improved.

Please banish Version 10.05 from your clients ASAP, if you had computation errors with it.

Also, 2400 new tasks are ready to crunch.

La version 10.06 est disponible pour tous les OS. Changelog:

    Gestion de l'erreur de calcul (Tester avec Win 7, OS X, Ubuntu). Réactivation du repli de factorisation et ajout de nouvelles informations en cas d'erreur afin de mieux comprendre cette erreur. Encore une fois, veuillez me faire savoir si quelque chose se passe mal.
    Amélioration des points de sauvegarde.

Veuillez annuler les 10.05 de vos clients immédiatement si vous avez rencontré des erreurs de calcul avec cette version.

2400 nouvelles tâches sont également disponibles.

mise à jour 01 mai 2013 par cedricdd.

[cedricdd]

Un projet math ça fait longtemps qu'il y en a pas eu de nouveau dans ma section 

[Jaehaerys Targaryen]

projet rejoint... une appli de plus pour mon compte wuprop 

Pas D'AF créer encore...

[fzs600]

Un projet math ça fait longtemps qu'il y en a pas eu de nouveau dans ma section 

Oui j'ai hésiter a créer le topic direct dans ta section  mais je pense que ouser va remedier a cela. 

[Spica]

pas attendu Ouser, déplacé car visiblement, il y a pas photo pour le domaine

[toTOW]

Ca manque de GPU tout ça

[fzs600]

Ca manque de GPU tout ça

La réponse de l'admin du projet :

Salut, à ce jour, il n'existe aucun plan en ce sens. Je pense que ce programme ne serait pas beaucoup bénéficier d'accélération GPU puisque je suis la manipulation de très grands nombres (pas beaucoup de petits). Cordialement, Jan

http://boinc2.cs.hs-rm.de/abclll/forum_thread.php?id=6#20

[cedricdd]

Version 10.06 is released for every OS. Changelog:


    Computation error handled (Tested under Win 7, OS X, Ubuntu). Factorization-fallback reactivated and additional errortext added, so I can learn more about this error. Again, please tell me if there's anything wrong.
    Checkpointing improved.

Please banish Version 10.05 from your clients ASAP, if you had computation errors with it.

Also, 2400 new tasks are ready to crunch.

La version 10.06 est disponible pour tous les OS. Changelog:

    Gestion de l'erreur de calcul (Tester avec Win 7, OS X, Ubuntu). Réactivation du repli de factorisation et ajout de nouvelles informations en cas d'erreur afin de mieux comprendre cette erreur. Encore une fois, veuillez me faire savoir si quelque chose se passe mal.
    Amélioration des points de sauvegarde.

Veuillez annuler les 10.05 de vos clients immédiatement si vous avez rencontré des erreurs de calcul avec cette version.

2400 nouvelles tâches sont également disponibles.

[fzs600]

Les 10.06 partent aussi en erreurs de calculs.

1 May 2013, 6:12:47 UTC    1 May 2013, 8:25:24 UTC    Erreur en cours de calculs    7,628.47    7,585.94    ---    ABC Eval Tool v10.06 (abceval_plan)
   1 May 2013, 6:12:47 UTC    1 May 2013, 9:36:36 UTC    Erreur en cours de calculs    12,086.72    12,007.37    ---    ABC Eval Tool v10.06 (abceval_plan)
   1 May 2013, 6:12:47 UTC    1 May 2013, 10:17:19 UTC    Erreur en cours de calculs    14,269.09    14,172.63    ---    ABC Eval Tool v10.06 (abceval_plan)

Il faut passer a la version 10.07.

Merci pour votre soutien dans cette version précédente. J'essaie vraiment difficile dénigrement à msieve (la factorisation-lib j'utilise) pour arranger les choses. Version 10.07 devrait faire mieux, s'il vous plaît mettre à jour!

http://boinc2.cs.hs-rm.de/abclll/forum_thread.php?id=10#32

[fzs600]

 

On dirait bien que ce projet cherche a prouvé quelque chose qui a été déjà prouvé.

ABC Conjecture prouvé.

"Le 31 Août 2012, mathématicien japonais Shinichi Mochizuki publié quatre articles sur l'Internet. Les titres étaient impénétrables Le volume était de taille:.. 512 pages Au total, la demande était audacieux: il a dit qu'il avait prouvé la conjecture ABC, un célèbre, simplicité séduisante problème de la théorie des nombres qui avait déconcerté les mathématiciens pendant des décennies "... http://projectwordsworth.com/the-paradox-of-the-proof/ Cheers, Al.

http://boinc2.cs.hs-rm.de/abclll/forum_thread.php?id=24

[toTOW]

Ca fait pas doublon avec ca aussi : http://forum.boinc-af.org/index.php/topic,2181.0.html ?

[fzs600]

Ca fait pas doublon avec ca aussi : http://forum.boinc-af.org/index.php/topic,2181.0.html ?

La réponse est dans le topic d'annonce du projet ....................juste un peu plus haut. 

[toTOW]

Mouais ...

[Matt11]

Oui la conjecture ABC est "peut-être" montré mais il faudra encore pas mal de temps pour qu'elle soit "validé" par les relecteurs. En effet, la démonstration proposé semble très complexe et fait intervenir des concepts totalement nouveaux. Et même si le mathématicien qui a soumis la preuve semble très sérieux, il peut toujours avoir une petite erreur dans la preuve qui pourrait invalidé totalement celle-ci. 

En plus le projets ne semble pas avoir pour but de démontrer la conjecture mais étudier la répartitions des triplets ABC ce qui peut amener d'autre conjecture, qui sait