Auteur Sujet: Van Der Waerden Numbers  (Lu 5797 fois)

0 Membres et 1 Invité sur ce sujet

fzs600

  • Animateur fanatique
  • Messages: 5777
  • Boinc'eur devant l'éternel
  • *****
  •   
Van Der Waerden Numbers
« le: 10 mars 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/
Wikipédia : https://en.wikipedia.org/wiki/Van_der_Waerden_number
https://fr.wikipedia.org/wiki/Bartel_Leendert_van_der_Waerden



Statut : actif
URL du projet http://www.vdwnumbers.org/vdwnumbers/
Applications disponibles : http://www.vdwnumbers.org/vdwnumbers/apps.php
État du serveur : http://www.vdwnumbers.org/vdwnumbers/server_status.php
L'alliance francophone : 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
Classement mondial de l'af : 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 29 juin 2016
« Modifié: 29 juin 2016 à 14:24 par fzs600 »

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

fzs600

  • Animateur fanatique
  • Messages: 5777
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #1 le: 10 mars 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  :D

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

Oncle Bob

  • Messages: 3623
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #2 le: 10 mars 2015 à 21:04 »
Moi je vois ça comme une punition divine des utilisateurs Apple :o
Boincstat
Projets du moment
Config principale : i7 2600K@4,0 GHz / 16 Go@1600 MHz / R9 290X (Win 7)
Crunchbox passives : i7-4785T / 8 Go@1600 MHz / Akasa Euler S (Win 7) || i3-4130T / 4 Go@1600 MHz / Akasa Euler (Win 7)
ARM : 2*H3 + 1*S905X + 3*S912 | RAID : 1*L5408 + 1*E3110
Boinc@Raspberry Pi | Boinc et Linux | Date fin de projets

fzs600

  • Animateur fanatique
  • Messages: 5777
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Re : Van Der Waerden Numbers
« Réponse #3 le: 10 mars 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:
« Modifié: 11 mars 2015 à 06:20 par fzs600 »

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

nabz

  • Animateur fanatique
  • Messages: 5244
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #4 le: 10 mars 2015 à 23:29 »
Et paf dans le trognon, en quelque sorte ?  :coffeetime:
Contrôle de BOINC : SAM - BoincTasks 1.79 - TThrottle 7.72 - Bureau à distance Chrome
Calculs : Boinc 7.14.2 SF - VirtualBox 5.2.26 - Pilote AMD 19.4.1 (RadeonVII)/17.9.3 (HD7970) - Pilote nVidia 430.86 SD (RTX2080-GTX1080Ti-GTX1080)/419.67 (GTX980)
OS et utilitaires : Win10-x64 Pro 1809 - Core Temp 1.13 - CCleaner 5.56

JeromeC

  • CàA
  • Messages: 22722
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #5 le: 11 mars 2015 à 08:50 »
Hein ? Manger trop de pizza fait mal au bide ??
Parce que c'était lui, parce que c'était moi.

fzs600

  • Animateur fanatique
  • Messages: 5777
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #6 le: 12 mars 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

Merci.

 :jap:

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

fzs600

  • Animateur fanatique
  • Messages: 5777
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #7 le: 14 mars 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  :/


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

[AF>Libristes] Dudumomo

  • Messages: 5829
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #8 le: 17 mars 2015 à 12:30 »
Ajout aux stats SetiBZH  :kookoo:
News & Tutorial on how to host your server: http://freedif.org

[AF>Libristes>Jip] Elgrande71

  • Gentil admin
  • Messages: 4749
  • Boinc'eur devant l'éternel
  • *******
  •   
Re : Van Der Waerden Numbers
« Réponse #9 le: 17 mars 2015 à 20:46 »
 :jap:
Debian - Distribution GNU/Linux de référence
Parabola GNU/Linux - Distribution GNU/Linux Libre
Solus

Jabber elgrande71@jit.si

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : Van Der Waerden Numbers
« Réponse #10 le: 30 mai 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:

MDodier

  • Messages: 9347
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #11 le: 30 mai 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!

Config : i7 860 2.8 Ghz, Win 7 64 bits, 16 g DDR3 de ram, 1.5 To DD, 750 watts, ATI Sapphire HD 7870, écrans 24 et 23 pouces.

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : Van Der Waerden Numbers
« Réponse #12 le: 30 mai 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.

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : Van Der Waerden Numbers
« Réponse #13 le: 30 mai 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

MDodier

  • Messages: 9347
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #14 le: 30 mai 2015 à 18:32 »
j'ai envoyer un message privé à l'ADMIN sur le forum

si j'ai une réponse vous revient.


Config : i7 860 2.8 Ghz, Win 7 64 bits, 16 g DDR3 de ram, 1.5 To DD, 750 watts, ATI Sapphire HD 7870, écrans 24 et 23 pouces.

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : Van Der Waerden Numbers
« Réponse #15 le: 05 octobre 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:

MDodier

  • Messages: 9347
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Re : Van Der Waerden Numbers
« Réponse #16 le: 05 octobre 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"

« Modifié: 05 octobre 2015 à 13:40 par MDodier »

Config : i7 860 2.8 Ghz, Win 7 64 bits, 16 g DDR3 de ram, 1.5 To DD, 750 watts, ATI Sapphire HD 7870, écrans 24 et 23 pouces.

MDodier

  • Messages: 9347
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #17 le: 05 octobre 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.
« Modifié: 05 octobre 2015 à 13:57 par MDodier »

Config : i7 860 2.8 Ghz, Win 7 64 bits, 16 g DDR3 de ram, 1.5 To DD, 750 watts, ATI Sapphire HD 7870, écrans 24 et 23 pouces.

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : Van Der Waerden Numbers
« Réponse #18 le: 05 octobre 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
« Modifié: 05 octobre 2015 à 14:17 par maugou »

MDodier

  • Messages: 9347
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #19 le: 05 octobre 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!
« Modifié: 05 octobre 2015 à 14:52 par MDodier »

Config : i7 860 2.8 Ghz, Win 7 64 bits, 16 g DDR3 de ram, 1.5 To DD, 750 watts, ATI Sapphire HD 7870, écrans 24 et 23 pouces.

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : Re : Van Der Waerden Numbers
« Réponse #20 le: 05 octobre 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...

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : Van Der Waerden Numbers
« Réponse #21 le: 15 octobre 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 :)
« Modifié: 16 octobre 2015 à 01:58 par maugou »

al@ON

  • Messages: 11703
  • Boinc'eur devant l'éternel
  • *****
  •   
    • MySpace al@ON
Re : Van Der Waerden Numbers
« Réponse #22 le: 24 octobre 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.

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : Van Der Waerden Numbers
« Réponse #23 le: 24 octobre 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:

MDodier

  • Messages: 9347
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : Van Der Waerden Numbers
« Réponse #24 le: 04 décembre 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
« Modifié: 04 décembre 2015 à 20:13 par MDodier »

Config : i7 860 2.8 Ghz, Win 7 64 bits, 16 g DDR3 de ram, 1.5 To DD, 750 watts, ATI Sapphire HD 7870, écrans 24 et 23 pouces.