Forum |  HardWare.fr | News | Articles | PC | Prix | S'identifier | S'inscrire | Aide | Shop Recherche
1402 connectés 

  FORUM HardWare.fr
  Seti et projets distribués
  BOINC

  ABC@Home - Résoudre la conjecture ABC

 


 Mot :   Pseudo :  
 
 Page :   1  2  3  4  5
Page Précédente
Auteur Sujet :

ABC@Home - Résoudre la conjecture ABC

n°1692125
Jean920
Posté le 18-01-2007 à 13:17:31  profilanswer
 

ABC@Home
 
 
Inscriptions
URL du projet : http://abcathome.com/

 
 
Découvreurs des meilleurs* triplets du jours
Découvreurs des meilleurs* triplets sur les 100 dernières jours
Possibilité de se logguer en haut à droite pour voire ses stats personnels (nombres de triplets découverts, meilleurs* triplets découverts,...).
*La qualité (q) d'un triplet se mesure en effectuant l'égalité suivante : q=log(c)/log(rad(abc))
Ce site est en hollandais, le site en anglais va arriver dans les semaines à venir
 
 
Projet de l'Institut de Mathematiques de l'Université de Leiden (Pays-Bas).
 
A terme il pourrait être possible de préciser la conjecture abc, voire de la démontrer mathématiquement.  
 
 
ABC@home, qu'est ce que c'est?
 
ABC@home est un projet d'informatique répartie permettant une vaste recherche des triplets ABC. Le projet est comparable à GIMPS , un autre projet de mathématiques. Ces triplets ABC sont des nombres entiers positifs a, b et c tels que a+b=c et a < b < c. a, b, c n'ont aucun diviseur commun et c > rad (abc) (radical abc). La conjecture ABC indique qu'il existe un nombre finie de nombre a, b, c tels que (c) /log (rad (abc)) > h pour tout h > 1. La conjecture ABC est actuellement l'un des plus grands problèmes non résolus des mathématiques. Si cette conjecture arrive à être résolue, beaucoup d'autres problèmes non résolus pourraient trouver une réponse directement grâce à elle. Plus d'information à cette adresse.
 

Qui participe à cette recherche ?

 
L'institut de Mathématiques de l'université de Leiden en collaboration avec Kennislink, un institut hollandais qui a pour but de favoriser la science. Le groupe de scientifiques qui a construit un nouvel algorithme pour trouver ces triplets ABC se compose du professeur HW. Lenstra jr, docteur B. de Smit, et des docteurs WJ. Palenstijn. Lenstra et de Smit ont précédemment completé la lithographie d'Escher (explication en anglais)
ABC@home est entièrement sans aucun but lucratif et seulement à des fins éducatifs.
 
L'article Wikipédia


Message édité par Jean920 le 18-01-2007 à 22:14:29
mood
Publicité
Posté le 18-01-2007 à 13:17:31  profilanswer
 

n°1692126
Jean920
Posté le 18-01-2007 à 13:17:42  profilanswer
 

Classement des mini teams
 
L'Alliance Francophone - 3 ème équipe mondiale


Message édité par Jean920 le 18-01-2007 à 13:22:33
n°1692127
Jean920
Posté le 18-01-2007 à 13:17:47  profilanswer
 

Pour l'instant records de l'AF :
 

  • [AF>HFR>RR] TontonGégé


20 Janvier 2007 :
 
qualité du triplet : 1,454
 
a=15.605.316.307
b=243.890.000.000.000
c=243.905.605.316.307
 
27 ème place mondiale
 
http://www.rekenmeemetabc.nl/?item [...] 21&dag=100
 
 

  • [AF>HFR>RR] ThierryH


21 janvier 2007
 
qualité du triplet : 1,453
 
a=4.826.809
b=21.094.497.145.095.066
c=21.094.497.149.921.875
 
28 ème place mondiale
 
http://www.rekenmeemetabc.nl/?item [...] 21&dag=100
 
 
 

  • [AF>HFR>RR]Sp0wn


24 Janvier 2007
 
qualité du triplet : 1,427
 
a=13.845.841
b=497.860.496.850.944
c=497.860.510.696.785
 
59 ème place mondiale
 
http://www.rekenmeemetabc.nl/?item [...] 41&dag=100
 
 
 
 :jap:


Message édité par Jean920 le 24-01-2007 à 15:13:40
n°1692137
ThierryH
Keep4eveR
Posté le 18-01-2007 à 13:47:31  profilanswer
 

On dirait qu'il y a quelques RR dans l'opération :whistle:  


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1692140
jm@rc
chien enragé...
Posté le 18-01-2007 à 13:53:25  profilanswer
 

zut, on est démasqued ! :D
 
en fait je fais pénitence sur ABC car je suis un cancre en mathématiques ... :lol:


---------------
FeedBack - Voyage photographique - Club944
n°1692142
ThierryH
Keep4eveR
Posté le 18-01-2007 à 13:58:05  profilanswer
 

Un client 64 bits officiel est en Beta-test :)  
Sur la plupart des projets, le 64 bits n'apporte rien vu que la majorités des calculs se font sur des nombres floatants codés sur 80 bits. Par contre, sur abc, il s'agit de trouver des triplets de nombres entiers et la quasi totalité des calculs se font sur des entiers codés en 64 bits. Du coup, le client 64 bits prend tout son intéret.
Les premiers résultats font état de 3500+ deux fois plus rapides que des Core 2 Duo en 32 bits :ouch:  


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1692143
Jean920
Posté le 18-01-2007 à 13:59:02  profilanswer
 

Pour l'instant, mon meilleur score c'est 1,268, je suis encore loin du top100  :sweat:

n°1692146
Jean920
Posté le 18-01-2007 à 14:02:32  profilanswer
 

ThierryH a écrit :

Un client 64 bits officiel est en Beta-test :)  
Sur la plupart des projets, le 64 bits n'apporte rien vu que la majorités des calculs se font sur des nombres floatants codés sur 80 bits. Par contre, sur abc, il s'agit de trouver des triplets de nombres entiers et la quasi totalité des calculs se font sur des entiers codés en 64 bits. Du coup, le client 64 bits prend tout son intéret.
Les premiers résultats font état de 3500+ deux fois plus rapides que des Core 2 Duo en 32 bits :ouch:


 
Je crois qu'il faut le tester sur http://abcathome.com/beta/
Apparement pour l'instant elle n'est disponible que sous linux : http://abcathome.com/beta/apps.php
Linux running on an AMD x86_64 or Intel EM64T CPU
Linux/x86_64-unknown
 
http://abcathome.com/beta/forum_thread.php?id=105


Message édité par Jean920 le 18-01-2007 à 14:12:08
n°1692147
ThierryH
Keep4eveR
Posté le 18-01-2007 à 14:03:07  profilanswer
 

Jean920 a écrit :

Pour l'instant, mon meilleur score c'est 1,268, je suis encore loin du top100  :sweat:


 
Sais-tu a quoi correspondent ces score ? :??:  


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1692149
Jean920
Posté le 18-01-2007 à 14:04:53  profilanswer
 

ThierryH a écrit :

Sais-tu a quoi correspondent ces score ? :??:


 
la qualité d'un triplet est mesuré par log(c)/log(rad(abc))  
 
http://abcathome.com/forum_thread.php?id=46
 

Citation :

The quality of (a,b,c) is log(c)/log(rad(abc)). On the site it should be explained
somewhere what that means.
The first result forms the canonical wu id and 'finds' it. Over all being first and second equal out.


J'ais pas bien compris la 2ème phrase.
Les unités sont calculés par 2 personnes mais celui qui remporte le score c'est la canonical wu, c'est quoi la canonical wu :sweat:

Message cité 1 fois
Message édité par Jean920 le 18-01-2007 à 14:07:36
mood
Publicité
Posté le 18-01-2007 à 14:04:53  profilanswer
 

n°1692154
jm@rc
chien enragé...
Posté le 18-01-2007 à 14:15:17  profilanswer
 

une wu est calculée par 2 personnes (machines). la première machine à renvoyer un résultat donne à la wu ce qu'ils appellent un ID canonique.
pour être valide, le résultat renvoyé par cette première machine doit être égal au résultat renvoyé par la seconde ...
 
ce doit être un truc du genre ?!


---------------
FeedBack - Voyage photographique - Club944
n°1692155
Jean920
Posté le 18-01-2007 à 14:17:33  profilanswer
 

jm@rc a écrit :

une wu est calculée par 2 personnes (machines). la première machine à renvoyer un résultat donne à la wu ce qu'ils appellent un ID canonique.
pour être valide, le résultat renvoyé par cette première machine doit être égal au résultat renvoyé par la seconde ...
 
ce doit être un truc du genre ?!


 
D'accords  :jap:  
Donc il faut faire en sorte de calculer ses unités avant les autres, si on veut voir son nom s'afficher dans le top100


Message édité par Jean920 le 18-01-2007 à 14:18:23
n°1692207
ThierryH
Keep4eveR
Posté le 18-01-2007 à 16:56:05  profilanswer
 

Jean920 a écrit :

la qualité d'un triplet est mesuré par log(c)/log(rad(abc))  
 
http://abcathome.com/forum_thread.php?id=46
 

Citation :

The quality of (a,b,c) is log(c)/log(rad(abc)). On the site it should be explained
somewhere what that means.
The first result forms the canonical wu id and 'finds' it. Over all being first and second equal out.


J'ais pas bien compris la 2ème phrase.
Les unités sont calculés par 2 personnes mais celui qui remporte le score c'est la canonical wu, c'est quoi la canonical wu :sweat:


 
C'est le premier résultat reçu par le serveur. Il sert de référence pour la comparaison.
Autrement dit, si tu as un petit cache, tu peux participer au classement, sinon t'es jeté. Pas terrible comme façon de faire :(  


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1692221
ThierryH
Keep4eveR
Posté le 18-01-2007 à 17:51:52  profilanswer
 

Citation :

16 January, 2007  
On ABC@home beta testing of 64bit applications has begun. If all goes well after some good testing they will appear in this stable project soon, because they are very suitable for ABC@home and can be quite faster than their 32bit counterparts..


 
Annonce de l'arrivée prochaine du client 64 bits en production :bounce:  


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1692228
CorranHorn
0.300 GFlops/s
Posté le 18-01-2007 à 18:02:00  profilanswer
 

ThierryH a écrit :

Citation :

16 January, 2007  
On ABC@home beta testing of 64bit applications has begun. If all goes well after some good testing they will appear in this stable project soon, because they are very suitable for ABC@home and can be quite faster than their 32bit counterparts..


 
Annonce de l'arrivée prochaine du client 64 bits en production :bounce:


 :)

n°1692311
celtar
Certifié Cores@home à 93%
Posté le 18-01-2007 à 22:00:36  profilanswer
 

mon record perso :
 
Score qualitatif
1,217  
variables
a=6.524.986.716.927
b=11.067.199.327.489
c=17.592.186.044.416  le 17-01-07


---------------
Code Remise - Les Roadrunners
n°1692314
Jean920
Posté le 18-01-2007 à 22:07:37  profilanswer
 
n°1692331
ThierryH
Keep4eveR
Posté le 18-01-2007 à 22:26:08  profilanswer
 


 
On est pourtant en rodage :D  
Chez les RR, on a plein de wus seti et einstein à finir avant de pouvoir être à fond ;)


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1692378
celtar
Certifié Cores@home à 93%
Posté le 18-01-2007 à 23:15:11  profilanswer
 

Je crois que le RAC des RR c'est 35 000 sans TNT Grenoble....


---------------
Code Remise - Les Roadrunners
n°1692416
Raistlin M​ajere
i bouh at you !
Posté le 19-01-2007 à 02:34:06  profilanswer
 

passage à fond sur ABC ;)


---------------
http://boinc.roadrunners.fr/  Feedback "l'habitat urbain satisfait toutes les femmes ; les sons que l'on débite avec la bouche"
n°1692506
ginie
Posté le 19-01-2007 à 12:44:32  profilanswer
 
n°1692868
Jean920
Posté le 20-01-2007 à 13:54:49  profilanswer
 

TontonGégé améliore son score :

 

20 Janvier 2007 :

 

qualité du triplet : 1,454

 

a=15.605.316.307
b=243.890.000.000.000
c=243.905.605.316.307

 

25 ème place mondiale

 

http://www.rekenmeemetabc.nl/?item [...] 21&dag=100

 

:jap:


Message édité par Jean920 le 20-01-2007 à 13:58:44
n°1693028
popolito
http://www.boinc-af.org/
Posté le 20-01-2007 à 22:12:35  profilanswer
 

http://abcathome.com/top_teams.php [...] tal_credit
L'AF est première sur ce projet depuis 18h environ.

n°1693328
Jean920
Posté le 21-01-2007 à 20:21:57  profilanswer
 

  • [AF>HFR>RR] ThierryH


21 janvier 2007
 
qualité du triplet : 1,453
 
a=4.826.809
b=21.094.497.145.095.066
c=21.094.497.149.921.875
 
(les b et les c commencent à être grand  :D )
 
28 ème place mondiale
 
Juste derrière TontonGégé :
http://www.rekenmeemetabc.nl/?item [...] 21&dag=100


Message édité par Jean920 le 21-01-2007 à 20:24:52
n°1693345
ThierryH
Keep4eveR
Posté le 21-01-2007 à 20:55:01  profilanswer
 

:bounce:  
 
Pourtant, avec leur façon d'attribuer les awards et la taille de mon cache, je pensais être hors jeu :D


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1694312
Jean920
Posté le 24-01-2007 à 15:09:24  profilanswer
 

Le projet va bientôt atteindre la puissance de 2 teraflop :
http://fr.boincstats.com/stats/pro [...] r=abc_main
 
ça fait 5 jours qu'on calcule et le total project status est toujours à 0% : http://www.rekenmeemetabc.nl/
Donc la recherche devrait encore durer un bon bout de temps :o


Message édité par Jean920 le 24-01-2007 à 15:09:49
n°1694315
Jean920
Posté le 24-01-2007 à 15:12:20  profilanswer
 

[AF>HFR>RR]Sp0wn prends la 3ème place de l'AF et la 59 ème place mondiale
 
24 Janvier 2007
 
qualité du triplet : 1,427
 
a=13.845.841
b=497.860.496.850.944
c=497.860.510.696.785
 
http://www.rekenmeemetabc.nl/?item [...] 41&dag=100
 
 
Pas mal le classement des 7 derniers jours avec 3 [AF>HFR>RR] dans les 9 meilleurs triplets :
 
http://www.rekenmeemetabc.nl/?item=sub_14&dag=7


Message édité par Jean920 le 24-01-2007 à 15:17:28
n°1694871
jascooby
Cruncher bio :)
Posté le 25-01-2007 à 18:50:34  profilanswer
 

Faudrait mettre le lien de l'opti de Akosf si possible  :jap:

Message cité 1 fois
Message édité par jascooby le 25-01-2007 à 18:51:46
n°1694884
ThierryH
Keep4eveR
Posté le 25-01-2007 à 19:31:19  profilanswer
 

jascooby a écrit :

Faudrait mettre le lien de l'opti de Akosf si possible  :jap:


 
 
Le responsable du projet demande de ne pas l'utiliser. De plus, d'après Celtar, il semble qu'il y ait un bug au téléchargement de wus :(  
 
 
NE PAS UTILISER LA VERSION D'AKOSF


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1696435
biour
!!Hardcore Will Never Die!!
Posté le 30-01-2007 à 15:32:23  profilanswer
 

un petit coucou pour dire que je vien de basculer mes machines sur ce projet et donc d'etre a la 28em place de l'alliance


---------------
[XTBA>TSA] |Depuis l'épieu mérovingien jusqu'aux roquettes à tête fouineuse, y a pas une arme que tu connaisses pas. // Michel Audiard |
n°1696436
jm@rc
chien enragé...
Posté le 30-01-2007 à 15:37:23  profilanswer
 

:bounce: encore un autre TSA :D


---------------
FeedBack - Voyage photographique - Club944
n°1696470
jm@rc
chien enragé...
Posté le 30-01-2007 à 17:21:40  profilanswer
 

n'oubliez pas que dans 2 jours c'est l'Aussie Assault sur ABC ... et ils ne sont qu'à 2 000 points de RAC de l'Alliance Francophone :jap:


---------------
FeedBack - Voyage photographique - Club944
n°1696486
biour
!!Hardcore Will Never Die!!
Posté le 30-01-2007 à 17:56:26  profilanswer
 

et ils vont ajouter combien a peu prés?


---------------
[XTBA>TSA] |Depuis l'épieu mérovingien jusqu'aux roquettes à tête fouineuse, y a pas une arme que tu connaisses pas. // Michel Audiard |
n°1696517
biour
!!Hardcore Will Never Die!!
Posté le 30-01-2007 à 20:51:53  profilanswer
 

bon ben 25em dans la Team :D en 24h de calcul spa trop mal :D
mes vieux Xeon en on encore sous la pedale :D


---------------
[XTBA>TSA] |Depuis l'épieu mérovingien jusqu'aux roquettes à tête fouineuse, y a pas une arme que tu connaisses pas. // Michel Audiard |
n°1696535
jm@rc
chien enragé...
Posté le 30-01-2007 à 22:22:35  profilanswer
 

biour a écrit :

et ils vont ajouter combien a peu prés?


on ne sait pas trop mais à priori ils peuvent accélérer pas mal fort !


---------------
FeedBack - Voyage photographique - Club944
n°1696543
ThierryH
Keep4eveR
Posté le 30-01-2007 à 22:32:57  profilanswer
 

D'ailleurs, toutes les bonnes volontées sont les bienvenues. Nous avons une place de n°1 à défendre :jap:  


---------------
Keep4eveR, la sauvegarde entre particuliers qui délivre des crédits BOINC.
n°1696571
Black Hole​ Sun
Esprit chaotique
Posté le 30-01-2007 à 23:30:17  profilanswer
 

Thierry, faudrait que tu lances l'appel dans un topic dédié ici, et que tu en fasses un sur le forum de l'AF pour que ce soit plus efficace ;)
 
Là, je dois y aller, j'ai pas le temps de m'en occuper et je rentre que jeudi soir :(


---------------
Les Road Runners sur BOINC - Mon site sur le modélisme radio-commandé
n°1696589
cyber103
Où ca un litchi ?!
Posté le 31-01-2007 à 00:01:02  profilanswer
 

J'arrive :D

n°1696620
IvanleFou
Posté le 31-01-2007 à 00:50:42  profilanswer
 

jm@rc a écrit :

:bounce: encore un autre TSA :D


 
[:alucard]

n°1696621
IvanleFou
Posté le 31-01-2007 à 00:51:16  profilanswer
 

biour a écrit :

bon ben 25em dans la Team :D en 24h de calcul spa trop mal :D
mes vieux Xeon en on encore sous la pedale :D


 
T'as re-activé l'HT et les 4 threads sur les bi-xeon pour ABC?

mood
Publicité
Posté le   profilanswer
 

 Page :   1  2  3  4  5
Page Précédente

Aller à :
Ajouter une réponse
  FORUM HardWare.fr
  Seti et projets distribués
  BOINC

  ABC@Home - Résoudre la conjecture ABC

 

Sujets relatifs
FOS (Folding home Signature)Réglages Home/Work/School impossible ?
[AF>HFR] RoadRunners : 5 MILLIARDS !!! Pas mal en temps de crise ! :-)Da BZH WDT : 202 milliers de posts
[HS] g installé sygate home network poor faire une passerelle mais ...qq pour resoudre un de mes divers pb ?
Folding home ! Newbeeerreur de license : je sais pas comment la resoudre
[HS] Problème DHCP et DNS @ home (il est tard, ayez pitié bonnes gens)Parse error: parse error in /home/sites/site1/web/sqlforum /forum2.php3
Plus de sujets relatifs à : ABC@Home - Résoudre la conjecture ABC



Copyright © 1997-2016 Hardware.fr SARL (Signaler un contenu illicite) / Groupe LDLC / Shop HFR