Le Forum de l'Alliance Francophone

Boinc et les projets distribués => Mathématiques => Maths-Projets terminés => Discussion démarrée par: fzs600 le 10 March 2015 à 18:23

Titre: Van Der Waerden Numbers
Posté par: fzs600 le 10 March 2015 à 18:23
Infos utiles.
Attention ce projet est extrêmement gourmand en RAM

C'est un projet personnel de Daniel Monroe, qui est un étudiant à Takoma Park Middle School.
http://www.montgomeryschoolsmd.org/schools/takomaparkms/ (http://www.montgomeryschoolsmd.org/schools/takomaparkms/)
Wikipédia : https://en.wikipedia.org/wiki/Van_der_Waerden_number (https://en.wikipedia.org/wiki/Van_der_Waerden_number)
https://fr.wikipedia.org/wiki/Bartel_Leendert_van_der_Waerden (https://fr.wikipedia.org/wiki/Bartel_Leendert_van_der_Waerden)



Statut : a l'arret
URL du projet http://www.vdwnumbers.org/vdwnumbers/ (http://www.vdwnumbers.org/vdwnumbers/)
Applications disponibles : http://www.vdwnumbers.org/vdwnumbers/apps.php (http://www.vdwnumbers.org/vdwnumbers/apps.php)
État du serveur : http://www.vdwnumbers.org/vdwnumbers/server_status.php (http://www.vdwnumbers.org/vdwnumbers/server_status.php)
L'alliance francophone : http://www.vdwnumbers.org/vdwnumbers/team_display.php?teamid=15 (http://www.vdwnumbers.org/vdwnumbers/team_display.php?teamid=15)
Temps de calcul et points de sauvegarde :  http://wuprop.boinc-af.org/results/projet.py?projet=vdwnumbers.org%3A+Van+Der+Waerden+Numbers&application=Van+Der+Waerden+Numbers (http://wuprop.boinc-af.org/results/projet.py?projet=vdwnumbers.org%3A+Van+Der+Waerden+Numbers&application=Van+Der+Waerden+Numbers)
Classement mondial de l'af : http://boincstats.com/fr/stats/159/team/list/ (http://boincstats.com/fr/stats/159/team/list/)
Article sur le site de L'af : pas d'article


Résumé.
Il prend un nombre premier n (nombre entre parenthèse dans le tableau) et une racine primitive modulo ce nombre (cf : https://fr.wikipedia.org/wiki/Racine_primitive_modulo_n). Par exemple pour n=11. Voir que W(4,2) (c'est-à-dire taille=4, couleurs=2) a 11 entre parenthèse. Prenons 2 comme racine primitive. 2 est bien une racine primitive de 11 car quand on fait les puissances jusqu'à 2^10 on obtient
[2,4,8,16,32,64,128,256,512,1024] modulo 11(ie le reste de la division euclidienne par 11) qui vaut
[2,4,8,5,10,9,7,3,6,1] et cette liste fini par un 1. Maintenant choisissons un nombre de couleurs. Prenons 2 couleurs. Nous colorons cet ensemble :
[2,4,8,5,10,9,7,3,6,1] avec le motif rouge(gras), bleu(non gras), red, blue... et obtenons [2,4,8,5,10,9,7,3,6,1].

Maintenant tout ce que nous avons à faire est de réordonner cette suite ce qui nous donne [1,2,3,4,5,6,7,8,9,10]. Il est prouvé que nous pouvons ajouter le 11, qui devrait être de couleur bleu (non gras).
Il est également prouvé que nous pouvons concaténer trois autres exemplaires de cette séquence de 11 termes tout en évitant d'avoir 4 éléments régulièrement espacés de la même couleur. Il est également prouvé que nous pouvons ajouter un terme 34e, alors nous le ferons.
Nous venons de trouver que la taille de la suite W(4,2) vaut 35. Notez qu'elle n'est pas égal à 34 parce que ce tableau montre la longueur minimale qui garantit une séquence régulièrement espacées de la même couleur, pas la longueur maximale qui peut être atteint sans une séquence régulièrement espacées de la même couleur.
Traduction  Matt11


Mis a jour par fzs600 le 7 novembre 2021
Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 10 March 2015 à 20:40
Notre Jéjé va sûrement passer par ici alors la question a déjà été poser  → http://www.vdwnumbers.org/vdwnumbers/forum_thread.php?id=3&postid=6#6 (http://www.vdwnumbers.org/vdwnumbers/forum_thread.php?id=3&postid=6#6)  :D
Titre: Re : Van Der Waerden Numbers
Posté par: Oncle Bob le 10 March 2015 à 21:04
Moi je vois ça comme une punition divine des utilisateurs Apple :o
Titre: Re : Re : Van Der Waerden Numbers
Posté par: fzs600 le 10 March 2015 à 21:54
Moi je vois ça comme une punition divine des utilisateurs Apple :o
Punition divine le mot est un peu fort ..........................moi je dirais simplement que c'est bien fait pour eux.
 :kermit:
Titre: Re : Van Der Waerden Numbers
Posté par: nabz le 10 March 2015 à 23:29
Et paf dans le trognon, en quelque sorte ?  :coffeetime:
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 11 March 2015 à 08:50
Hein ? Manger trop de pizza fait mal au bide ??
Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 12 March 2015 à 06:37
 :hello:

Un volontaire pour une Petite traduction ?
 
Citer
This is how this program runs.

Take a prime number n(shown in parentheses on the table) and a primitive root of that number. For example, let n equal 11. See that W(4,2)-length 4, 2 colors has 11 in parentheses. Let's use the primitive root 2. 2 is a primitive root of 11 because its powers up to 2^10
[2,4,8,16,32,64,128,256,512,1024] modulo 11(the remainder when dividing by 11) equal
[2,4,8,5,10,9,7,3,6,1] and that ends with a one. Now we choose a number of colors. Let's choose 2. We color this set:
[2,4,8,5,10,9,7,3,6,1] with the pattern red(bold), blue(not bold), red, blue...and get [2,4,8,5,10,9,7,3,6,1].
Now all we have to do is reorder this is sequence, getting us [1,2,3,4,5,6,7,8,9,10]. It is proven that we can add the color 11, which should be blue (not bold). It is also proven that we can concatenate 3 more copies of this 11-term sequence while avoiding 4 evenly spaced of the same color. It is also proven we can add a 34th term, so we will. We have just found that W(4,2)-subsequence length 4, 2 colors equals 35. Note it does not equal 34 because this table shows the minimum length that guarantees an evenly spaced sequence of the same color, not the maximum length that can be reached without an evenly spaced sequence of the same color.
http://www.vdwnumbers.org/vdwnumbers/forum_thread.php?id=7&postid=19#19 (http://www.vdwnumbers.org/vdwnumbers/forum_thread.php?id=7&postid=19#19)

Merci.

 :jap:
Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 14 March 2015 à 13:09
Pour le moment j'ai arrêté le crunch sur ce projet voir topic ici : http://www.vdwnumbers.org/vdwnumbers/forum_thread.php?id=5 (http://www.vdwnumbers.org/vdwnumbers/forum_thread.php?id=5)  :/

Titre: Re : Van Der Waerden Numbers
Posté par: [AF>Libristes] Dudumomo le 17 March 2015 à 12:30
Ajout aux stats SetiBZH  :kookoo:
Titre: Re : Van Der Waerden Numbers
Posté par: [AF>Libristes>Jip] Elgrande71 le 17 March 2015 à 20:46
 :jap:
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 30 May 2015 à 16:45
C'est le projet qui part le plus vite en erreur :) 95 uts en erreur en 3s de cpu  :pt1cable: jusque là j'avais quand même 1 ut bonne et validée par lot, mais là même pas  :gno:
Titre: Re : Van Der Waerden Numbers
Posté par: MDodier le 30 May 2015 à 16:56
Je me suis rattaché à ce projet cette semaine.  J'ai reçu une unité, parti en erreur en 5 secondes.

bien ordinaire!
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 30 May 2015 à 17:36
La plupart des erreurs sont des "mémoire insuffisante", il y a clairement une erreur de conception dans le code ou dans le paramétrage des ut. Espérons que le dev y travaille; ça fera un chauve en plus.
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 30 May 2015 à 18:08
J'essaye avec un app_config.xml comme ça:

<app_config>
<project_max_concurrent>1</project_max_concurrent>
</app_config>

Ca doit empêcher de lancer plusieurs ut simultanément et éviter le débordement mémoire; ça vient d'une suggestion dans le forum.

A suivre
Titre: Re : Van Der Waerden Numbers
Posté par: MDodier le 30 May 2015 à 18:32
j'ai envoyer un message privé à l'ADMIN sur le forum

si j'ai une réponse vous revient.

Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 05 October 2015 à 13:15
Bon! Je me dis, ça partait en erreur direct avec windows et tout le monde avait l'air de dire sur le fofo que ça se passait bien avec linux; oh! mais j'ai une toute nouvelle config qu'elle est sous linux et que je vais tenter le coup; bof  :rhaa: maintenant c'est la validation qui merdoie entre les win et les lin, pfff  :priz2tet:
Titre: Re : Re : Van Der Waerden Numbers
Posté par: MDodier le 05 October 2015 à 13:37
j'ai envoyer un message privé à l'ADMIN sur le forum

si j'ai une réponse vous revient.


J'ai simplement perdu l'intérêt pendant un bon moment.

En vérifiant sur le site VOILÀ un message de Daniel l'administrateur du 7 septembre dernier! 

Désolé pour mon retard à répondre.  Je maintiendrai activement le projet maintenant que la nouvelle session a débuté.  La version 31 semble résoudre les erreurs car elle utilise la moitié de la mémoire des unités de l'ancienne version.  Le problème avec l'ancienne version c'est que chaque unité qui fonctionnait utilisait jusqu'à 2 giga-octets de mémoire, en fonction de l'importance du nombre premier.  Maintenant chaque unité utilise jusqu'à 1 giga-octet de mémoire.

Daniel


Voici la version en latin:

"Unread Message 212 - Posted: 7 Sep 2015, 14:21:46 UTC - in response to Message 198.
I'm sorry I did not respond earlier. I am actively maintaining the project now that school has started again. Version 31 seems to have fixed the computational error because it uses half as much memory. The problem with old version was that each copy of the program running took up about 2 gigabytes of RAM, given the size of primes that are being checked. Now each copy takes up 1 gigabyte.

Daniel"

Titre: Re : Van Der Waerden Numbers
Posté par: MDodier le 05 October 2015 à 13:52
À la suite du précédent message, sur le site, certains utilisateurs indiquent que la nouvelle version 31 occasionne le même message d'erreur.

En version originale en latin:
"No, it didn't. The same error (invalid values in output) is present in version 31, too."

Daniel Monroe l'administrateur indique de changer les préférences de calcul de BOINC de permettre l'utilisation de mémoire au maximum jusqu'à 30 à 40% lorsque l'ordinateur est en utilisation et lorsque l'ordinateur n'est pas utilisé d'augmenter au maximum.

Try changing the View to Advanced View, and then change Computing Preferences, Disk and memory, under Memory, enter 30 or 40 percent for "When computer is in use, use at most" and "When computer is not in use, use at most".
____________
Daniel Monroe
vdwnumbers.org Project Administrator

D'autres utilisateurs indiquent qu'ils roulent sans problèmes les unités de la version 31 en permettant d'utiliser jusqu'à 70% de la mémoire dans la section préférence.
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 05 October 2015 à 14:13
J'ai eu aucun problème à cruncher avec ma nouvelle config linux, par contre le problème actuel est la validation entre machines windows et linux dont les résultats diffèrent (en gros), confer http://vdwnumbers.org/forum_thread.php?id=16&postid=235 (http://vdwnumbers.org/forum_thread.php?id=16&postid=235)
Titre: Re : Van Der Waerden Numbers
Posté par: MDodier le 05 October 2015 à 14:50
Désolé Maugou,

Je ne serai pas d'un grand secours pour linux, Ubuntu ou autres du même genre. 

Pendant un moment, j'ai utilisé des boîtes virtuelles et également roulé mon ordi avec Ubuntu sur une clé USB auto exécutable.  J'ai abandonné assez rapidement, je n'arrivais pas à maintenir les mises à jour et modifications nécessaires pour maintenir l'installation stable avec la disponibilité que j'y allouais.

Combien de points te sont alloués à l'heure pour les unités OUindose et Linux?

L'administrateur, semble maintenant de retour et plus actif!  Je te souhaite d'obtenir de ce dernier une réponse satisfaisante!
Titre: Re : Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 05 October 2015 à 17:05
Désolé Maugou,
...
L'administrateur, semble maintenant de retour et plus actif!  Je te souhaite d'obtenir de ce dernier une réponse satisfaisante!
Y a pas de souci; c'est davantage pour tenir informés ceux qui passent par là de la situation du projet; oui, j'ai moi-même posté dans le fil que j'ai mentionné parce que j'ai vu une activité de l'admin; à suivre...
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 15 October 2015 à 19:42
Je réessaye avec un app_config qui limite à une tâche à la fois, on va voir si ça valide.

Pour l'instant 2 valides, 1 invalide. Y a pas beaucoup de participants :) il m'a envoyé direct 251 tâches  :gno:

Désolé pour lui, je termine celle en cours et je coupe le robinet (+annul 251), il faut vraiment qu'il prenne le problème au sérieux

Pas pu m'empêcher de réessayer sur windows avec limite 1 tâche à la fois, ça a l'air d'aller :)
Titre: Re : Van Der Waerden Numbers
Posté par: al@ON le 24 October 2015 à 17:53
 :kookoo:

J'ai testé pour vous sous Ubuntu 14.04 LTS çà donne
Citer
État: Tous (210) · En cours (0) · Validation en attente (0) · Validation non concluante (3) · Valide (0) · Invalide (1) · Erreur (206)
3449969    1241473    23 Oct 2015, 3:53:18 UTC    23 Oct 2015, 5:31:56 UTC    Terminé, validation peu concluante    3,446.05    3,193.45    en attente    Van Der Waerden Numbers v310.00
3449976    1241476    23 Oct 2015, 3:53:18 UTC    23 Oct 2015, 5:24:24 UTC    Terminé, validation peu concluante    2,578.03    2,353.36    en attente    Van Der Waerden Numbers v310.00
3446168    1227325    22 Oct 2015, 21:51:53 UTC    22 Oct 2015, 22:41:51 UTC    Terminé, validation peu concluante    2,893.34    2,812.61    en attente    Van Der Waerden Numbers v310.00

3449830    1233825    23 Oct 2015, 3:53:18 UTC    23 Oct 2015, 4:34:34 UTC    Terminé, marqué comme invalide    2,231.34    2,182.77    0.00    Van Der Waerden Numbers v310.00
les UTs en erreur sont celles que j'ai balancées... projet à éviter (pour l'instant) sous GNU/Linux. :cry:

Sous W$ 10
Citer
État: Tous (6) · En cours (0) · Validation en attente (1) · Validation non concluante (0) · Valide (4) · Invalide (0) · Erreur (1)
3446167    1227381    22 Oct 2015, 21:46:11 UTC    22 Oct 2015, 22:28:30 UTC    Terminé et validé    1,118.87    1,032.22    8.56    Van Der Waerden Numbers v310.00
3445986    1239655    22 Oct 2015, 21:46:11 UTC    22 Oct 2015, 22:26:22 UTC    Terminé et validé    1,184.90    1,130.72    9.56    Van Der Waerden Numbers v310.00
3446040    1239149    22 Oct 2015, 21:44:18 UTC    22 Oct 2015, 21:58:56 UTC    Terminé, en attente de validation    864.58    846.09    en attente    Van Der Waerden Numbers v310.00
3446041    1239150    22 Oct 2015, 21:44:18 UTC    22 Oct 2015, 22:09:49 UTC    Terminé et validé    1,516.30    1,442.59    10.22    Van Der Waerden Numbers v310.00
3446085    1239689    22 Oct 2015, 21:44:18 UTC    22 Oct 2015, 21:46:11 UTC    Erreur en cours de calculs    0.00    0.00    ---    Van Der Waerden Numbers v310.00
3445984    1239654    22 Oct 2015, 21:44:18 UTC    22 Oct 2015, 22:06:41 UTC    Terminé et validé    1,327.14    1,264.05    9.93    Van Der Waerden Numbers v310.00
avec cet OS, il semblerait que çà fonctionne correctement... difficile quand même de conclure quoi que ce soit avec si peu d'UTs calculées.

Perso je m'y remettrai en Décembre, après le FB.
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 24 October 2015 à 18:50
Oui, pas encore "stabilisé" comme projet :) un moment les uts windows cafouillent à cause de la conso ram de l'appi, après ce sont les linux qui retournent pas les mêmes résultats  :pt1cable:
Titre: Re : Van Der Waerden Numbers
Posté par: MDodier le 04 December 2015 à 19:40
L'administrateur indique qu'il a diminué la grosseur et a augmenté le temps de traitement de la nouvelle version des unités 340.

Donc une nouvelle version 340! et Bon crunch!

Voici la version originale en latin de l'administrateur:

Citer
We have made the job size smaller and time limit larger which should help.
et
Citer
Please try version 34.

les 17 premières unités traités en 1.3 seconde chacune....

la 18 ième unité "error while computing"

http://www.vdwnumbers.org/workunit.php?wuid=1641870 (http://www.vdwnumbers.org/workunit.php?wuid=1641870)
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 04 December 2015 à 19:54
Ok, on va s'y remettre :) mais j'avais déjà plus de problèmes pour les 2 pc linux, cette version allait bien.
Titre: Re : Van Der Waerden Numbers
Posté par: MDodier le 04 December 2015 à 20:01
Le problème provenait de la version OUIN DOSE.

La nouvelle version 34 passe bien j'ai enfin réussi à en remettre.

Cependant le temps de crunch est d'une seule seconde....

Il devra les allongés!
Titre: Re : Van Der Waerden Numbers
Posté par: MDodier le 05 December 2015 à 10:49
L'administrateur du projet indique dans son message, que la méthode utilisé "Zipper cyclique" est très rapide dans la nouvelle version 34.  Qu'ils ont redémarrer avec de petits nombres premiers et cela jusqu'à 50 millions.  Il indique qu'il est désolé de ne pouvoir identifier le bug...

Voilà en version "latin" originale:

Citer
Message 291 - Posted: 5 Dec 2015, 0:17:21 UTC
It is very fast because v34 uses the Cyclic Zipper Method and we had to restart with small primes. We will run v34 using primes up to 50,000,000. Sorry, we can't identify the bug.
____________
Daniel Monroe
vdwnumbers.org Project Administrator
Titre: Re : Van Der Waerden Numbers
Posté par: Jakez Sulli le 27 December 2015 à 11:56
 :kookoo: Je me suis rattaché au projet hier et Norton m'a indiqué une signature de trojan avec l'exe : suspicious.cloud.9
Vrai ou faux positif ?
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 27 December 2015 à 23:14
Faux positif, of course.

Tu fais encore confiance à Norton toi ? ;) vu son âge il sucre carrément les fraises :lol:

Plus sérieusement toutes les alertes à virus sur des projets boinc ont toujours été des faux positifs, à ma connaissance.
Titre: Re : Re : Van Der Waerden Numbers
Posté par: Jakez Sulli le 28 December 2015 à 10:46
Faux positif, of course.

Tu fais encore confiance à Norton toi ? ;) vu son âge il sucre carrément les fraises :lol:

Plus sérieusement toutes les alertes à virus sur des projets boinc ont toujours été des faux positifs, à ma connaissance.

Je suis revenu à Norton car il a fait peau neuve et puis AVG et Kapersky ont été un peu léger ces derniers temps.
Merci pour ta réponse. Je me doutais un peu que c'était un faux positif.
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 28 December 2015 à 13:30
Attention je n'ai pas fait de recherche sur le sujet, même pas une petite recherche Google :) c'est juste que je suis 100% sûr que c'est un faux positif.

Jusqu'au jour où on me prouvera que j'ai tort :D
Titre: Re : Van Der Waerden Numbers
Posté par: nafrayou le 19 January 2016 à 21:06
tien tien j ai rajouté ce projet sur ma ferme mais j avais pas vu tout de suite qu il était très gourmand en RAM ce petit nouveau !!!!!!!!!!

en plus c est un cousin du MR Pen ding !!!!!!!

État: Tous (8036) · En cours (3649) · Validation en attente (1610) · Validation non concluante (0) · Valide (2658) · Invalide (0) · Erreur (119)

pour info les 119 Erreur c est sur le même PC ( que j ai retiré du projet depuis ! )
Titre: Re : Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 20 January 2016 à 03:18
tien tien j ai rajouté ce projet sur ma ferme mais j avais pas vu tout de suite qu il était très gourmand en RAM ce petit nouveau !!!!!!!!!!
En plus, ça s'est beaucoup amélioré depuis le démarrage, imagines  :D
Titre: Re : Van Der Waerden Numbers
Posté par: nafrayou le 20 January 2016 à 11:55
ha oui  et bien   merci pour cette précision .
Titre: Re : Van Der Waerden Numbers
Posté par: romuslus le 28 April 2016 à 11:34
Bonjour à tou(te)s.  :kookoo:

Depuis début Avril j'ai une erreur systématique sur les UT du projet "Van Der Waerden Numbers" alors qu'avant je ne rencontrais pas de pb. Est-ce que quelqu'un sait si quelque chose à changé sur ce projet ?
Titre: Re : Van Der Waerden Numbers
Posté par: romuslus le 30 April 2016 à 15:20
J'ai fini par trouver d'où venait le pb : de mon antivirus, bitdefender qui considère malfaisant l'exécutable windows_intel86_2.36.exe installé dans le répertoire www.vdwnumbers.org. Une exception et tout fonctionne. :lol:
Titre: Re : Van Der Waerden Numbers
Posté par: romuslus le 30 June 2016 à 12:40
Bonjour à tous.  :kookoo:

Arrrg ! J'ai dû tout réinstaller sur mon PC (sous windows 10). Et maintenant j'ai de nouveau le pb, même sans antivirus.  :??:

Savez-vous si ce projet nécessite la présence d'un utilitaire quelconque pour fonctionner ?
Titre: Re : Van Der Waerden Numbers
Posté par: Jakez Sulli le 30 June 2016 à 12:52
 :kookoo:

Vérifie que tu as bien les versions Microsoft Visual C++ Redistribuable installées. Parfois sans cela des projets ne fonctionnent pas ou mal.
Titre: Re : Van Der Waerden Numbers
Posté par: romuslus le 30 June 2016 à 14:19
Merci, mais c'est pas ça. J'ai toujours une erreur de calcul systématique ...
Titre: Re : Van Der Waerden Numbers
Posté par: Sébastien le 30 June 2016 à 20:55
Le message d'erreur semble indiquer un manque de mémoire.
Citer
Out Of Memory (C++ Exception) (0xe06d7363) at address 0x765ADAE8
Le projet est très gourmand en RAM.
Titre: Re : Van Der Waerden Numbers
Posté par: romuslus le 01 July 2016 à 00:00
Merci pour ton intervention.
Mais j'ai 32GO de Ram sur ce PC ...  :??: Ca devrait suffire, non ? Et cela a déjà fonctionné sur ce PC. Il doit manquer quelque chose qui était alors présent ...
Titre: Re : Van Der Waerden Numbers
Posté par: naz le 01 July 2016 à 07:55
Parfois faut faire simple. Desinstaller boinc et le réinstaller  :kookoo:
Titre: Re : Van Der Waerden Numbers
Posté par: Xe120 le 31 October 2016 à 21:44
Citer
Paper Posted; End of Project
Sorry for my recent inactivity. A paper has been posted on arxiv for this project at https://arxiv.org/abs/1603.03301, and has been submitted for publication. I would like to thank all the volunteers who contributed their resources to this project. The project will no longer generate new work, but will incorporate any results received.

Fin du projet apparement, d'après la dernière news sur le forum.  :hello:
Titre: Re : Van Der Waerden Numbers
Posté par: modesti le 08 March 2017 à 11:19
Trouvé sur le forum SG:
Citation de: https://www.seti-germany.de/forum/threads/7802-Beendete-Projekte?p=296234&viewfull=1#post296234
123 Numbers, auch bekannt unter dem Namen Van-der-Werden Numbers, wurde auf meine Nachfrage hin für abgeschlossen erklärt; das Projekt war schon im letzten Jahr mit Einreichen eines Papers beendet worden.

Traduction:
123 Numbers également connu sous le nom Van-der-Waerden-Numbers, a été déclaré terminé suite à ma demande; le projet avait déjà été terminé l'année dernière avec la soumission d'un article [cf. message de Xe120 ci-dessus].

Peut-être déplacé dans les "mort et enterré" je pense :jap:
Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 23 January 2021 à 16:02
Bon il semblerait bien que le projet est ressuscité.  :hyperbon: :hyperbon:  :hello:
Citer
23 Jan 2021, 14:50:30 UTC    23 Jan 2021, 14:55:55 UTC    Terminé, en attente de validation    56.44    50.70    en attente    Van Der Waerden Numbers v360.00
Citer
   23 Jan 2021, 14:50:30 UTC    23 Jan 2021, 14:55:13 UTC    Terminé, en attente de validation    37.69    35.02    en attente    Van Der Waerden Numbers v360.00
Citer
23 Jan 2021, 14:50:30 UTC    23 Jan 2021, 14:55:27 UTC    Terminé, en attente de validation    52.20    47.31    en attente    Van Der Waerden Numbers v360.00

Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 23 January 2021 à 16:21
Revival of the Project
http://www.vdwnumbers.org/forum_thread.php?id=80&postid=385 (http://www.vdwnumbers.org/forum_thread.php?id=80&postid=385)
Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 23 January 2021 à 17:13
Citer
23 Jan 2021, 14:55:13 UTC    23 Jan 2021, 16:11:29 UTC    Terminé et validé    34.51    32.15    2.17    Van Der Waerden Numbers v360.00
    23 Jan 2021, 14:54:39 UTC    23 Jan 2021, 16:00:38 UTC    Terminé et validé    50.78    48.56    2.82    Van Der Waerden Numbers v360.00
    23 Jan 2021, 14:54:39 UTC    23 Jan 2021, 16:00:38 UTC    Terminé et validé    48.79    46.22    2.77    Van Der Waerden Numbers v360.00
Titre: Re : Van Der Waerden Numbers
Posté par: [AF] Kalianthys le 23 January 2021 à 17:15
Yes ca marche ! Je recoi des taches.

Merci pour l'info fzs600   :jap:
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 23 January 2021 à 22:10
Citer
Ce projet est en train d'être relancé à la lumière des commentaires que j'ai reçus selon lesquels les amorces optimales pour deux couleurs et de grandes longueurs présentent d'étranges propriétés. En particulier, les meilleurs nombres premiers pour les longueurs 23, 24 et 25 sont un de plus que 6 * p, 4 * 47 * p et 2 * 24 * p, les ps étant tous des nombres premiers. La composition multiplicative de ces deux derniers est particulièrement frappante : 24 = 25 - 1 et 47 = 2 * 24 - 1.

Le déroulement de la boucle, la vérification de la progression plus rapide et l'assemblage des bits ont permis d'obtenir un programme beaucoup plus rapide, ce qui rend possible l'exécution du cas bicolore jusqu'à 4 milliards. Le calcul devrait donner un aperçu de :


    La croissance des nombres de van der Waerden en couleur et en longueur
    La distribution additive des résidus quadratiques modulo a prime

Tout de suite c'est plus clair :gno:
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 25 January 2021 à 23:24
Il est pas au top, le site :)  je rattache une bécane pour voir.
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 26 January 2021 à 00:29
Ben apparemment tous les services sont arrêtés sauf le site web et le serveur d'upload/download ? il distribue *vraiment* des tâches et elles arrivent quelque part ??
Titre: Re : Van Der Waerden Numbers
Posté par: [AF] Kalianthys le 26 January 2021 à 07:13
J'ai plus de 4000 tâches en pending. J'espère que je ne les ai pas perdus...
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 26 January 2021 à 10:34
Pour moi, il n'a pas encore fini le rattachement de ZCruncher ;)
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 26 January 2021 à 16:09
http://www.vdwnumbers.org/vdwnumbers/forum_thread.php?id=82
Titre: Re : Van Der Waerden Numbers
Posté par: Maeda le 26 January 2021 à 20:55
Il faudra que l'admin pense à passer en https.
Titre: Re : Re : Van Der Waerden Numbers
Posté par: fzs600 le 29 January 2021 à 17:33
Ben apparemment tous les services sont arrêtés sauf le site web et le serveur d'upload/download ? il distribue *vraiment* des tâches et elles arrivent quelque part ??
http://www.vdwnumbers.org/forum_thread.php?id=68&postid=373 (http://www.vdwnumbers.org/forum_thread.php?id=68&postid=373)
Citer
Le projet ne génère qu'un travail factice pour l'instant, je vous demanderais donc de bien vouloir mener un autre projet pendant que nous configurons le nouveau programme.
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 01 February 2021 à 07:45
Ça y est, ZCruncher a récupéré des uts, j'attends de voir comment ça se passe avant d'ajouter d'autres bécanes.

L'admin semble avoir réinstallé la base des uts remontant jusqu'à 2015 :)
Titre: Re : Re : Van Der Waerden Numbers
Posté par: fzs600 le 01 February 2021 à 08:44
Ça y est, ZCruncher a récupéré des uts, j'attends de voir comment ça se passe avant d'ajouter d'autres bécanes.

L'admin semble avoir réinstallé la base des uts remontant jusqu'à 2015 :)
Pour le moment il ne faut pas cruncher sur ce projet ce sont des UT fictives.
Il y a un message de l'admin sur la page d'accueil du site.
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 01 February 2021 à 11:03
Oui :) mais jusque là, l'initialisation du projet n'avait pas abouti; ça marque une étape de progrès :)
Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 03 February 2021 à 06:35
Alpha Release!
http://www.vdwnumbers.org/forum_thread.php?id=72&postid=389 (http://www.vdwnumbers.org/forum_thread.php?id=72&postid=389)
Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 03 February 2021 à 07:26
 :pt1cable: :pt1cable:
Citer
3 Feb 2021, 5:48:11 UTC    3 Feb 2021, 6:19:06 UTC    Terminé et validé    52.64    51.09    0.48    Van Der Waerden Numbers v422.00
    3 Feb 2021, 5:48:11 UTC    3 Feb 2021, 6:20:49 UTC    Terminé et validé    43.00    40.34    0.40    Van Der Waerden Numbers v422.00
3 Feb 2021, 5:48:11 UTC    3 Feb 2021, 6:20:49 UTC    Terminé et validé    61.56    57.30    0.54    Van Der Waerden Numbers v422.00
Titre: Re : Van Der Waerden Numbers
Posté par: [AF] Kalianthys le 03 February 2021 à 17:29
Ca marche de mon côté aussi mais ca crédite quasiment rien.
Titre: Re : Van Der Waerden Numbers
Posté par: Maurice Goulois le 09 February 2021 à 15:32
Bon, y a encore du boulot :)

État: Tous (11043) · En cours (3698) · Validation en attente (311) · Validation non concluante (29) · Valide (4400) · Invalide (202) · Erreur (2403)

Les erreurs sont majoritairement des abandons d'uts ou dépassements d’échéance (au redémarrage du projet).

Ca paie pas beaucoup, c'est vrai :)
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 10 February 2021 à 09:30
Et surtout, "ça paie quoi", on se le demande :)
Titre: Re : Van Der Waerden Numbers
Posté par: naz le 10 February 2021 à 12:31
Mes uts restent à ''prêt à validé'' c'est pareil chez vous?
Titre: Re : Van Der Waerden Numbers
Posté par: franky82 le 10 February 2021 à 13:34
Juste 5 en pending (aucune en "prêt à valider" : elles sont bien renvoyées)
en attente de calcul d'un certain @naz !  :D
Titre: Re : Van Der Waerden Numbers
Posté par: naz le 10 February 2021 à 13:55
J'ai ''requête planificateur en attente, demandé par le projet"

Ca vous parle? Jamais vu ca  :??:
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 10 February 2021 à 15:19
Il faut un début à tout :D
Titre: Re : Van Der Waerden Numbers
Posté par: modesti le 10 February 2021 à 15:41
@naz: Fais une mise à jour manuelle du projet, ça devrait disparaître - et en même temps renvoyer tout le taf qui traîne encore sur ton ordi :D
Titre: Re : Van Der Waerden Numbers
Posté par: naz le 10 February 2021 à 16:11
C'est bon c'est parti! Pas eu besoins de faire de mise à jour  :??:
Titre: Re : Re : Van Der Waerden Numbers
Posté par: fzs600 le 10 February 2021 à 16:20
Pas eu besoins de faire de mise à jour  :??:
Juste de la patience.  :D
Titre: Re : Van Der Waerden Numbers
Posté par: fzs600 le 26 June 2021 à 11:33
Des badges font leurs apparition sur le projet.  :hello:
https://statseb.boinc-af.org/badges.py?projet=195 (https://statseb.boinc-af.org/badges.py?projet=195)
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 26 June 2021 à 12:05
Ce projet n'est pas géré par SAM n'est-ce pas ?


Edith : après moult combat j'ai réussi à rattacher ma petite VM linux dessus : obligé de créer le compte via le site car sous boinctui y'a pas l'ajout par URL directe, avec boinccmd il reconnaissait pas mon email/mdp, j'ai dû passer par la création du fichier de compte xml avec la clé de compte, et après luter pour retrouver la commande "sudo systemctl restart boinc-client" bordeyl !!

Il a chopé une tâche.

Edith2 : j'ai coupé les autres projets et viré les tâches en attente, il en a chopé une 30aine. Wait & see.
Titre: Re : Re : Van Der Waerden Numbers
Posté par: fzs600 le 26 June 2021 à 12:23
Ce projet n'est pas géré par SAM n'est-ce pas ?


Edith : après moult combat j'ai réussi à rattacher ma petite VM linux dessus : obligé de créer le compte via le site car sous boinctui y'a pas l'ajout par URL directe, avec boinccmd il reconnaissait pas mon email/mdp, j'ai dû passer par la création du fichier de compte xml avec la clé de compte, et après luter pour retrouver la commande "sudo systemctl restart boinc-client" bordeyl !!

Il a chopé une tâche.
Bel effort force reste a la loi.  :gniak:
Titre: Re : Van Der Waerden Numbers
Posté par: cougarpelardou le 26 June 2021 à 13:04
J'ai chargé quelques UT pour voir Je les cruncherai après le sprint Universe.
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 27 June 2021 à 11:38
RHA ce crétin de projet m'a créé un autre CPID (https://statseb.boinc-af.org/synthese_membre.py?cpid=fde492520b18d19fee036a1604706664) !!  :rhaa:

Ça faisait bien longtemps... va falloir lutter maintenant :)

Ahhh mais il est sûr SAM maintenant !!! :bounce:

Compte rattaché, gestion de projet forcée, on va voir ce qu'on va voir !!

"La clé de compte du projet Van Der Waerden Numbers sur la machine vps-3dca72ac est différente de la clé recensée sur ce site. En choisissant de forcer la gestion, les UT non démarrées du projet seront abandonnées et le projet sera détaché lorsque toutes les UT auront été renvoyées au serveur du projet. A la prise de contant suivante, la machine se rattachera au projet avec la clé de compte définie sur ce site"

(merci Seb l'homme de l'ombre !! :love:)
Titre: Re : Van Der Waerden Numbers
Posté par: cougarpelardou le 28 June 2021 à 12:32
Une question liée à ce projet : Qu'est ce qui fait qu'un projet devient éligible au Formula Boinc ? Le projet doit demander ?

Et une subsidiaire du même type : comment une équipe rentre dans une division du FB ?

Merci.  :??:
Titre: Re : Van Der Waerden Numbers
Posté par: modesti le 28 June 2021 à 14:48
Il faut remonter dans l'historique des années du FB et regarder les règles. L'intégration des projets est p.ex. décrite en 2008 https://formula-boinc.org/regles.py?lang=fr&year=2008 - mais ça a évolué au fil du temps il me semble.

Edith: changement en 2010 p.ex. https://formula-boinc.org/regles.py?lang=fr&year=2010

Edith 2: 2014, création des divisions: https://formula-boinc.org/regles.py?lang=fr&year=2014
Titre: Re : Van Der Waerden Numbers
Posté par: cougarpelardou le 28 June 2021 à 16:28
Si j'ai bien lu le projet Van der waerden, va rentrer automatiquement dans le tableau si il obtient le seuil de crédit.
Merci.
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 28 June 2021 à 16:39
Ca me surprend beaucoup qu'un quelconque projet puisse entrer "automatique" au FB ?? il me semblait qu'il fallait a minima avoir l'accord de l'admin ?

Visiblement le projet provoque un intérêt assez soudain de la part de crunchers ayant *très peu* de thread à disposition :D

Utilisateurs #
avec des crédits récents 198
avec des crédits 911
enregistrés dans les dernières 24 heures 608

Ordinateurs #
avec des crédits récents 476
avec des crédits 3,797
enregistrés dans les dernières 24 heures 4
GigaFLOPs actuels 2,901

4 machines pour 608 utilisateurs dans les dernières 24h ??

Mais un projet avec 200 utilisateurs pour 476 machines avec un RAC > 0 je sais pas si ça peut tenir la route pour le FB...
Titre: Re : Van Der Waerden Numbers
Posté par: modesti le 28 June 2021 à 17:45
j'ai bien précisé que les règles évoluaient au fil du temps. Il me semble que depuis 2 ans il y a un vote auprès des fondateurs d'équipes courant décembre pour savoir quels sont les projets à garder / éliminer / ajouter. Et si ce n'est un vote (vu une année, chépu quand), c'est a minima un topic sur le forum du FB (cf. https://formula-boinc.org/forum/viewtopic.php?f=17&t=161)
Titre: Re : Van Der Waerden Numbers
Posté par: cougarpelardou le 28 June 2021 à 17:52
En marathon pourquoi pas ?
j'essaye ...

Titre: Re : Van Der Waerden Numbers
Posté par: Sébastien le 28 June 2021 à 18:59
Les projets éligibles pour le marathon sont listés sur cette page (https://formula-boinc.org/projets.py?lang=&year=2021).
Il n'y pas d'ajout de projets en cours d'année.
Titre: Re : Van Der Waerden Numbers
Posté par: mamouth le 09 September 2021 à 12:37
ça ne tracasse pas grand monde mais le projet est down depuis plusieurs semaines


Warning: mysqli::query(): Couldn't fetch mysqli in /home/boincadm/projects/vdwnumbers/html/inc/db_conn.inc on line 63
Database Error

Warning: mysqli::escape_string(): Couldn't fetch mysqli in /home/boincadm/projects/vdwnumbers/html/inc/db_conn.inc on line 227
 etc ....
Titre: Re : Re : Van Der Waerden Numbers
Posté par: fzs600 le 09 September 2021 à 13:06
ça ne tracasse pas grand monde mais le projet est down depuis plusieurs semaines
Çà me tracasse beaucoup j'en dors plus la nuit.  :coffeetime:
Titre: Re : Van Der Waerden Numbers
Posté par: Maeda le 09 September 2021 à 21:48
Pas plus de souci que ça pour ma part :siflotte:
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 09 September 2021 à 22:44
J'ai en effet 150 tâches sur une VM linux, terminées et bien périmées maintenant, qui ne peuvent plus repartir...
Titre: Re : Van Der Waerden Numbers
Posté par: [AF>Libristes]cguillem le 19 September 2021 à 14:36
ça ne tracasse pas grand monde mais le projet est down depuis plusieurs semaines
Çà me tracasse beaucoup j'en dors plus la nuit.  :coffeetime:

Le responsable du projet ne bouge plus depuis l'incident, il faut peut-être s'inquiéter.
 
Titre: Re : Van Der Waerden Numbers
Posté par: JeromeC le 19 September 2021 à 20:18
"This is a project of Daniel Monroe."

Les one man projects ça finit souvent en eau de boudin... :spamafote: