7-men Syzygy attempt

Discussion of chess software programming and technical issues.

Moderators: hgm, Rebel, chrisw

Dann Corbit
Posts: 12537
Joined: Wed Mar 08, 2006 8:57 pm
Location: Redmond, WA USA

Re: 7-men Syzygy attempt

Post by Dann Corbit »

Sesse wrote: Mon Aug 20, 2018 11:17 pm
Dann Corbit wrote: Mon Aug 20, 2018 10:10 pm Instead of 8 man files, I think the next logical project is the 7 man DTM with Ronald's new format.
Or 6-man DTM50, for that matter.

Actually, the next logical project is getting the probing code into Stockfish and Fathom.
Cfish can already do it, so it should not be a very big step to incorporate in other programs, since there is a working example.

Edit:
I guess they are already incorporated into Stockfish.
Here is the UCI setting for probes in the current code:
option name SyzygyProbeLimit type spin default 7 min 0 max 7
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.
Sesse
Posts: 300
Joined: Mon Apr 30, 2018 11:51 pm

Re: 7-men Syzygy attempt

Post by Sesse »

Ah, I see the official Stockfish has been patched now.

I guess the code is independent from my patch, since it doesn't take in the Robin Hood hashing nor overflow trick, and thus needs a four times as big hash table :-)
Dann Corbit
Posts: 12537
Joined: Wed Mar 08, 2006 8:57 pm
Location: Redmond, WA USA

Re: 7-men Syzygy attempt

Post by Dann Corbit »

Sesse wrote: Tue Aug 21, 2018 12:19 am Ah, I see the official Stockfish has been patched now.

I guess the code is independent from my patch, since it doesn't take in the Robin Hood hashing nor overflow trick, and thus needs a four times as big hash table :-)
You might submit your patch to the SF group effort.
It sounds like it would be very helpful.

Is it included in the Cfish version?
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.
Michel
Posts: 2272
Joined: Mon Sep 29, 2008 1:50 am

Re: 7-men Syzygy attempt

Post by Michel »

duncan wrote: Mon Aug 20, 2018 10:58 pm Contrary to previous versions of the bases which took on the names of their creators, de Man chose to call them Syzygy (pronounced Sih-Zih-Gee), which means a pair of connected or corresponding things.
Recall that RdM is a mathematician. A syzygy is in fact a specific (somewhat advanced) mathematical concept:

https://en.wikipedia.org/wiki/Hilbert%2 ... relations)
Ideas=science. Simplification=engineering.
Without ideas there is nothing to simplify.
whereagles
Posts: 565
Joined: Thu Nov 13, 2014 12:03 pm

Re: 7-men Syzygy attempt

Post by whereagles »

Dann Corbit wrote: Mon Aug 20, 2018 7:41 pm I hope that this effort will become very famous. It is really something incredible.
dunno about fame, but syzygy site will sure ramp up its visits :D
whereagles
Posts: 565
Joined: Thu Nov 13, 2014 12:03 pm

Re: 7-men Syzygy attempt

Post by whereagles »

Michel wrote: Tue Aug 21, 2018 6:31 am Recall that RdM is a mathematician. A syzygy is in fact a specific (somewhat advanced) mathematical concept:
think he's retired.. but might still want to write a paper on the subject :wink:
Sesse
Posts: 300
Joined: Mon Apr 30, 2018 11:51 pm

Re: 7-men Syzygy attempt

Post by Sesse »

Dann Corbit wrote: Tue Aug 21, 2018 12:21 am You might submit your patch to the SF group effort.
It sounds like it would be very helpful.
I don't actually know how. I guess maybe I could send a pull request on GitHub?
Dann Corbit wrote: Tue Aug 21, 2018 12:21 am Is it included in the Cfish version?
Not that I know of.
Sesse
Posts: 300
Joined: Mon Apr 30, 2018 11:51 pm

Re: 7-men Syzygy attempt

Post by Sesse »

So there we are… 60 TB disk ordered. (36 usable TB after RAID-6 and accounting for that 10^12 bytes is less than 2^40 bytes.)
Jesse Gersenson
Posts: 593
Joined: Sat Aug 20, 2011 9:43 am

Re: 7-men Syzygy attempt

Post by Jesse Gersenson »

Sesse wrote: Tue Aug 21, 2018 10:46 am So there we are… 60 TB disk ordered. (36 usable TB after RAID-6 and accounting for that 10^12 bytes is less than 2^40 bytes.)
What's the model number, I may get a set.
Sesse
Posts: 300
Joined: Mon Apr 30, 2018 11:51 pm

Re: 7-men Syzygy attempt

Post by Sesse »

Seagate Enterprise Exos X10, 10 TB. Six of them.