|
| Générer des tablebases. par mop le
[Aller à la fin] |
| Informatique | |
Je voulais savoir si il était possible de générer des tablebases spécifiques (6 pièces ou plus) avec TBGen ou avec un autre logiciel ?
Exemple : RDTF vs RDT
Si oui, comment faire ?
P.S : Je sais que les tablebases 6 pièces sont consultables sur le net.
|
|
|
Le programme pour générer les Tablebases 6-pièces n'est pas disponible librement.
Tbgen ne génère que les Tablebases jusqu'à 5-pièces.
Le Fou numérique
|
|
|
As-tu le monstre qu'il faut pour rouler le programme? Je ne suis pas un spécialiste de création de tablebases, mais à première vue pour les calculer il faut garder en mémoire de l'information sur chaque position possible en même temps, ce qui demande beaucoup de mémoire vive (RAM).
Pour une position sans pions, en exploitant les symétries de l'échiquier, j'arrive à 462 combinaisons pour la position des deux rois. Ensuite en gros tu multiplies par 64 pour chaque pièce, et divise par n! pour chaque groupe de n pièces identiques.
Pour 5 pièces distinctes ça donne 121 Mpos (millions de positions), 6 pièces 7.8 Gpos, 7 pièces 496 Gpos. Je ne sais pas combien d'octets ça prend par position (je dirais au minimum 0.5, ce qui correspond à 248 Go de mémoire vive pour ton RDTF vs RDT). J'imagine aussi que ça aide d'avoir 8+ processeurs pour réduire le temps de calcul. Voilà selon moi la principale raison pourquoi les programmes pour 6 pièces et + ne sont pas disponibles: presque personne ne possède le monstre qu'il faut pour les exécuter!
Avec des pions c'est pire: on perd des symétries et les promotions changent le matériel.
|
|
|
Il faut beaucoup de mémoire pour 6 pièces et de temps cpu, mais pas forcément tout en mémoire vive. De plus on peut commencer par certaines finales spécifiques bien sûr et ne pas viser toutes les finales à 6 pièces (qui s'intéresse à R+4D/R).
|
|
|
De toute façon, maintenant inutile de s'embêter à générer les 6 pièces elles existent déjà.
L'objectif maintenant c'est les 7 pièces, et là 2 problèmes se posent, le temps de calcul de plusieurs jours nécessaire pour chaque finale et l'espace de stockage énorme nécessaire inatteignable sur un micro-ordinateur personnel.
Ca sera peut-être possible dans 4 ou 5 ans.
|
|
|
y'a déjà plusieurs 7-pièces résolues, pour la totalité, j'ai entendu parler de 2012...
|
|
|
Pour Petiteglise En fait, après révision c'est estimé pour 2015 maintenant.
Si tu as le courage:
CCRL Discussion Board View topic - 7-man
|
|
|
Sincèrement, ça m'étonnerait qu'il faille attendre 2015 pour les 7 pièces.
On pourrait comme le projet "Sethi" alias recherche d'ET combiné la puissance de calcul de tous ceux (des milliers) qui cherchent participer au projet en offrant la puissance de leur machine aux calculs (via internet).
Comme ça ne tiendra pas sur disque dur (déjà 1 To pour les 6 pièces, on multiplie par 1.000 en gros lorsqu'on rajoute une pièce = 1 Péta pour les 7 pièces), la base ne sera utilisable que sur la toile.
|
|
|
