Difference between revisions of "Syzygy Bases"

From Chessprogramming wiki
Jump to: navigation, search
(7-men: In August of 2018 their creation was completed + refs)
(7-men: +dates)
Line 32: Line 32:
  
 
=7-men=
 
=7-men=
Generation of 7-men tablebases would require about 1 TB of RAM. Generation time will be about 64 x per table, which means around 175 x time total <ref>[http://kirill-kryukov.com/chess/discussion-board/viewtopic.php?f=6&t=7396#p83338  Re: Syzygy tb generator for windows] by [[Ronald de Man|syzygy]], [[Computer Chess Forums|CCRL Discussion Board]], June 01, 2014</ref> . Ronald de Man wasn't initially interested in creation of 7-men Syzygy Based <ref>[http://kirill-kryukov.com/chess/discussion-board/viewtopic.php?f=6&t=7618#p83771 Re: 7-piece syzygy] by [[Ronald de Man|syzygy]], [[Computer Chess Forums|CCRL Discussion Board]], July 03, 2014</ref>. But in 2018, he supported [[Bojun Guo]] in his 5 month attempt to generated them <ref>[http://www.talkchess.com/forum/viewtopic.php?t=66797 7-men Syzygy attempt] by [[Bojun Guo]], [[CCC]], March 10, 2018</ref>. In August of 2018 their creation was completed<ref>[https://syzygy-tables.info/ Powered by Ronald de Man's Syzygy endgame tablebases, 7-piece tables generated by Bojun Guo and a public API hosted by lichess.org]</ref><ref>[http://tablebase.lichess.ovh/tables/standard/7/ Index of /tables/standard/7/ on lichess]</ref>.
+
Generation of 7-men tablebases would require about 1 TB of RAM. Generation time will be about 64 x per table, which means around 175 x time total <ref>[http://kirill-kryukov.com/chess/discussion-board/viewtopic.php?f=6&t=7396#p83338  Re: Syzygy tb generator for windows] by [[Ronald de Man|syzygy]], [[Computer Chess Forums|CCRL Discussion Board]], June 01, 2014</ref> . Ronald de Man wasn't initially interested in creation of 7-men Syzygy Based <ref>[http://kirill-kryukov.com/chess/discussion-board/viewtopic.php?f=6&t=7618#p83771 Re: 7-piece syzygy] by [[Ronald de Man|syzygy]], [[Computer Chess Forums|CCRL Discussion Board]], July 03, 2014</ref>. But in 2018, he supported [[Bojun Guo]] in his 5 month attempt to generated them <ref>[http://www.talkchess.com/forum/viewtopic.php?t=66797 7-men Syzygy attempt] by [[Bojun Guo]], [[CCC]], March 10, 2018</ref>. In August of 2018 their creation was completed<ref>[https://syzygy-tables.info/ Powered by Ronald de Man's Syzygy endgame tablebases, 7-piece tables generated by Bojun Guo and a public API hosted by lichess.org], August 19, 2018</ref><ref>[http://tablebase.lichess.ovh/tables/standard/7/ Index of /tables/standard/7/ on lichess], August 19, 2018</ref>.
  
 
=During the Search=  
 
=During the Search=  

Revision as of 17:39, 21 August 2018

Home * Knowledge * Endgame Tablebases * Syzygy Bases

Syzygy - Three Planets Dance Over La Silla [1]

Syzygy Bases, [2]
a compact six piece endgame database developed by Ronald de Man, published on April 01, 2013. Since August 2018, seven piece Syzygy Bases are available after an effort by Bojun Guo started in March 2018 [3]. Syzygy Bases consist of two sets of files, WDL files storing win/draw/loss information considering the fifty-move rule for access during search, and DTZ files with distance-to-zero information for access at the root. The generator is released under the GNU General Public License Version 2, the thread safe probing code is released without restrictions [4] . As of February 2015, all 3-5 and most important 6-men Syzygy Bases are commercially available on 4 DVDs by ChessBase as Endgame Turbo 4 for their products Deep Fritz 14, Komodo Chess 8, Houdini 4 or ChessBase 12/13 [5] [6].

File Sizes

Men WDL DTZ Total
5 378 MiB 561 MiB 151 GB
6 68.3 GiB 81.9 GiB
7 17 TB

The additional use of Haswell's BMI2 Parallel Bits Deposit (PDEP) and Parallel Bits Extract (PEXT) instructions, or their slower serial implementations, allows further size reduction [7] .

7-men

Generation of 7-men tablebases would require about 1 TB of RAM. Generation time will be about 64 x per table, which means around 175 x time total [8] . Ronald de Man wasn't initially interested in creation of 7-men Syzygy Based [9]. But in 2018, he supported Bojun Guo in his 5 month attempt to generated them [10]. In August of 2018 their creation was completed[11][12].

During the Search

During the search, with the WDL tables stored on SSD [13] , it is possible to probe the tables at all depths without much slowdown. They have been tested in Ronald de Man's engine Sjaak (playing on FICS as TrojanKnight(C)) a couple of months quite successfully, don't probing in quiescence search.

At the Root

At the root, since pure DTZ50-optimal play (i.e. minimaxing the number of moves to the next capture or pawn move by either side) can be very unnatural, it might be desirable to let the engine search on the winning moves until it becomes clear that insufficient progress is being made and only then switch to DTZ-optimal play (e.g. by detecting repetitions and monitoring the halfmove clock) [14] .

Quotes

by Ronald de Man in a reply to Guy Haworth, April 06, 2013 [15] :

I create both WDL and DTZ in one go, so I don't use WDL in the creation of DTZ. The algorithm used is the grandfather algorithm with 2 plies per iteration (I think HGM calls this leapfrogging, but I might be wrong). I tried the outcounting method, but it didn't seem to be competitive (and it makes things more complicated). [16] [17]
A pure WDL/DTZ pair is not of much use for creating WDL50+/DTZ50+. I create tables in RAM that have all the information necessary for WDL50+ and DTZ50+, then permute them to different indexing schemes and compress. I do test runs on subsets of the data to find good permutations. (The idea to try permutations is from Jesper Torp Kristensen's master thesis.) [18] [19] 

Endgame News

In his 2014 Chess Endgame News in ICGA Journal, Vol. 37, No. 2 [20] , Guy Haworth classified Syzygy Bases as new data in three ways:

  1. 5-valued scale for evaluating positions in the context of the FIDE 50-move rule (50mr) which constrains the length of phases of play
    1. +2 ≡ unconditional win for the side to move
    2. +1 ≡ ‘win’ which can be frustrated by best play and a 50mr draw-claim
    3. _0 ≡ unconditional draw
    4. -1 ≡ ‘loss’ saved by a 50mr draw-claim
    5. -2 ≡ unconditional loss
  2. depths for ‘50mr draw’ positions with value ±1
  3. depths in symmetric, information-preserving ply ‘p’

and further gives some news about early software bugs and glitches concerning ChessBase products, and the importance of MD5 to check the EGT integrity.

Fathom

Fathom is a stand-alone Syzygy based probing tool and API by Basil Falcinelli, introduced in November 2015 along with his Gull 3 release [21] . Unlike the original tbprobe code, Fathom does not necessarily require the callee to provide move generation functionality. The new modifications and extensions to Ronald de Man's original code which can be "redistributed and/or modified without restrictions", are released under the permissive MIT License. The API consists of three functions [22] :

  • tb_init initializes the tablebase
  • tb_probe_wdl probes the Win-Draw-Loss (WDL) table for a given position
  • tb_probe_root probes the Distance-To-Zero (DTZ) table for the given position.

Jon Dart has a fork of Fathom with some bug fixes and enhancements [23].

See also

Publications

Forum Posts

2013 ...

2014

2015 ...

2016

Re: Stockfish 7 and partial 6 piece syzygy problem? by Marco Costalba, CCC, September 01, 2016

2017

2018

Re: 7-men Syzygy attempt by Bojun Guo, CCC, August 19, 2018

External Links

Tablebase

Fathom

ChessBase

Misc

Michael Brecker, Mike Stern, Jeff Andrews, Adam Nussbaum, Joey Calderazzo

References

  1. It’s a real treat for photographers and astronomers alike: our skies are currently witnessing a phenomenon known as a syzygy — when three celestial bodies (or more) nearly align themselves in the sky. When celestial bodies have similar ecliptic longitude, this event is also known as a triple near-conjunction. Of course, this is just a trick of perspective, but this doesn't make it any less spectacular. In this case, these bodies are three planets, and the only thing needed to enjoy the show is a clear view of the sky at sunset. Luckily, this is what happened for ESO photo ambassador Yuri Beletsky, who had the chance to spot this spectacular view from ESO's La Silla Observatory in northern Chile on Sunday May 26 , 2013. Above the round domes of the telescopes, three of the planets in our Solar SystemJupiter (top), Venus (lower left), and Mercury (lower right) — were revealed aftersunset, engaged in their cosmic dance. An alignment like this happens only once every several years. The last one took place in May 2011, and the next one will not be until October 2015. This celestial triangle was at its best over the last week of May, but you may still be able to catch a glimpse of the three planets as they form ever-changing arrangements during their journey across the sky - source Three Planets Dance Over La Silla | ESO, Syzygy (astronomy) from Wikipedia
  2. Re: New 6-piece tablebases by Ronald de Man, CCC, April 10, 2013
  3. Re: 7-men Syzygy attempt by Bojun Guo, CCC, August 19, 2018
  4. New 6-piece tablebases by Ronald de Man, CCC, April 01, 2013
  5. Endgame Turbo 4 by ChessBase
  6. Syzygy Tablebases: newest, fastest, smallest by Albert Silver, ChessBase News, February 08, 2015
  7. Re: PEXT Bitboards by Ronald de Man, CCC, June 07, 2013
  8. Re: Syzygy tb generator for windows by syzygy, CCRL Discussion Board, June 01, 2014
  9. Re: 7-piece syzygy by syzygy, CCRL Discussion Board, July 03, 2014
  10. 7-men Syzygy attempt by Bojun Guo, CCC, March 10, 2018
  11. Powered by Ronald de Man's Syzygy endgame tablebases, 7-piece tables generated by Bojun Guo and a public API hosted by lichess.org, August 19, 2018
  12. Index of /tables/standard/7/ on lichess, August 19, 2018
  13. Re: SSD and the use of Tablebases by Ronald de Man, CCC, May 08, 2013
  14. Re: New 6-piece tablebases by Ronald de Man, CCC, April 05, 2013
  15. Re: New 6-piece tablebase generator by syzygy, CCRL Discussion Board, April 06, 2013
  16. Retrograde tablebase methods by BB+, OpenChess Forum, November 26, 2010
  17. Leapfrog: Retrograde Analysis from Leapfrog tablebase generator by Harm Geert Muller
  18. Jesper Torp Kristensen (2005). Generation and compression of endgame tables in chess with fast random access using OBDDs. Master thesis, Supervisor Peter Bro Miltersen, Aarhus University, pdf
  19. OBDD - Ordered Binary Decision Diagram from Wikipedia
  20. Guy Haworth (2014). Chess Endgame News. ICGA Journal, Vol. 37, No. 2
  21. Gull 3 Linux+Syzygy and Fathom released by Basil Falcinelli, CCC, November 20, 2015
  22. GitHub - basil00/Fathom: Syzygy TB probe tool by Basil Falcinelli
  23. jdart1/Fathom · GitHub by Jon Dart
  24. Found an interesting research by Kirill Kryukov, April, 12, 2013
  25. Wine (software) from Wikipedia
  26. N. Jesper Larsson, Alistair Moffat (1999). Offline Dictionary-Based Compression. DCC'99, pdf
  27. BitTorrent from Wikipedia

Up one level