View source for Endgame tablebase

{{Short description|Database of precalculated chess analysis}}
[[File:Chess tablebase query.png|thumb|380px|A typical interface for querying a tablebase]]

In chess, an '''endgame tablebase''', or simply '''tablebase''', is a computerised [[Database|database]] containing precalculated evaluations of endgame positions. Tablebases are used to analyse finished games, as well as by chess engines to evaluate positions during play. Tablebases are typically exhaustive, covering every legal arrangement of a specific selection of pieces on the board, with both White and Black to move. For each position, the tablebase records the ultimate result of the game (i.e. a win for White, a win for Black, or a draw) and the number of moves required to achieve that result, both assuming perfect play. Because every legal move in a covered position results in another covered position, the tablebase acts as an [[Oracle machine|oracle]] that always provides the optimal move. 

Tablebases are generated by retrograde analysis, working backward from checkmated positions. By 2005, tablebases for all positions having up to six pieces, including the two kings, had been created.<ref>{{Cite journal |last=Hayworth |first=G. McC. |date=September 2005 |title=6-Man Chess Solved. |url=https://www.researchgate.net/publication/220174555 |journal=ICGA Journal |volume=28 |issue=3 |pages=153}}</ref> By August 2012, tablebases had solved chess for almost every position with up to seven pieces, with certain subclasses omitted due to their assumed triviality;<ref>{{cite web|url=https://www.chessprogramming.org/Endgame_Tablebases|title=Endgame Tablebases|work=Chess Programming Wiki}}</ref><ref name=":2">{{cite web |title=Lomonosov Endgame Tablebases |url=https://tb7.chessok.com/ |work=ChessOK}}</ref> these omitted positions were included by August 2018.<ref name="lichess.org"/> {{As of|2024}}, work is still underway to solve all eight-piece positions.

Tablebases have profoundly advanced the chess community's understanding of endgame theory. Some positions which humans had analysed as draws were proven to be winnable; in some cases, tablebase analysis found a mate in more than five hundred moves, far beyond the ability of humans, and beyond the capability of a computer during play. This caused the fifty-move rule to be called into question, since many positions were discovered that were winning for one side but drawn during play because of this rule. Initially, some exceptions to the fifty-move rule were introduced, but when more extreme cases were later discovered, these exceptions were removed. Tablebases also facilitate the composition of endgame studies.

While endgame tablebases exist for other board games, such as checkers,<ref>{{cite web |last1=Gilbert |first1=Ed |title=Kingsrow |url=http://edgilbert.org/Checkers/KingsRow.htm |website=edgilbert.org |access-date=19 March 2023}} Website of KingsRow about the creation of a tablebases for 8x8 and 10x10 checkers</ref> nine men's morris,<ref>{{cite web|url=http://library.msri.org/books/Book29/files/gasser.pdf|title=Solving nine men's morris|author=Ralpf Gasser|year=1996}}</ref> and some chess variants,<ref>{{cite web |title=Gothic Chess Javascript Endgames |url=http://www.gothicchess.com/javascript_endings.html |website=gothicchess.com |date=27 September 2011|archive-url=https://web.archive.org/web/20110927114510/http://www.gothicchess.com/javascript_endings.html |archive-date=27 September 2011 }} examples of long endings for Capablanca chess</ref> the term ''endgame tablebase'' is usually assumed to refer to chess tablebases.

== Background ==
Physical limitations of [[Computer hardware|computer hardware]] aside, in principle it is possible to [[Solved game|solve any game]] under the condition that the [[Perfect information|complete state is known]] and there is no random chance. Strong solutions, i.e. algorithms that can produce perfect play from any position,<ref>{{cite book
 | author=Allis, Louis Victor
 | title=Searching for Solutions in Games and Artificial Intelligence
 | publisher=Department of Computer Science, University of Limburg
 | year=1994
 | url=http://fragrieu.free.fr/SearchingForSolutions.pdf
 | access-date=2009-05-03|isbn=90-900748-8-0
 | page=8}}</ref> are known for some simple games such as Tic Tac Toe/Noughts and crosses (draw with perfect play) and [[Social:Connect Four|Connect Four]] (first player wins). Weak solutions exist for somewhat more complex games, such as checkers (with perfect play on both sides the game is known to be a draw, but it is not known for every position created by less-than-perfect play what the perfect next move would be). Other games, such as chess and [[Software:Go (game)|Go]], have not been solved because their [[Game complexity|game complexity]] is far too vast for computers to evaluate all possible positions. To reduce the game complexity, researchers have modified these complex games by reducing the size of the board, or the number of pieces, or both.

[[Software:Computer chess|Computer chess]] is one of the oldest domains of [[Artificial intelligence|artificial intelligence]], having begun in the early 1930s. [[Biography:Claude Shannon|Claude Shannon]] proposed formal criteria for evaluating chess moves in 1949. In 1951, [[Biography:Alan Turing|Alan Turing]] designed a primitive chess-playing program, which assigned values for material and mobility; the program "played" chess based on Turing's manual calculations.<ref>Levy & Newborn, pp. 25-38</ref> However, even as competent chess programs began to develop, they exhibited a glaring weakness in playing the endgame. Programmers added specific [[Heuristic|heuristic]]s for the endgame – for example, the king should move to the center of the board.<ref>Levy & Newborn, pp. 129-30</ref> However, a more comprehensive solution was needed.

In 1965, Richard Bellman proposed the creation of a database to solve chess and checkers endgames using retrograde analysis.<ref>Stiller, p. 84</ref><ref>{{cite journal | author=R. E. Bellman | title=On the application of dynamic programming to the determination of optimal play in chess and checkers | journal=Proceedings of the National Academy of Sciences of the United States of America | volume=53 | issue=2 | pages=244–246 |date=February 1965 | doi=10.1073/pnas.53.2.244| pmid=16591252 | pmc=219499 | bibcode=1965PNAS...53..244B | doi-access=free }}</ref> Instead of analyzing ''forward'' from the position currently on the board, the database would analyze ''backward'' from positions where one player was checkmated or stalemated. Thus, a chess computer would no longer need to analyze endgame positions during the game because they were solved beforehand. It would no longer make mistakes because the tablebase always played the best possible move.

In 1970, Thomas Ströhlein published a doctoral thesis<ref>{{cite book | author=T. Ströhlein | title=Untersuchungen über kombinatorische Spiele [Translation: Investigations on Combinatorial Games] PhD Thesis | publisher=Technical University of Munich | year=1970}}</ref><ref>See also {{cite journal | journal=EG | title=The 'End-Papers' | issue=52 | pages=25 | date=July 1978 | quote=Niblett and Kopec described, and later demonstrated, the optimal '''0103''' data base. (This work was in fact first done and published by Thomas Strohlein, Munich, in 1970, but only a single analytical line is contained in his doctoral thesis.) | url=http://www.gadycosteff.com/eg/eg52.pdf | access-date=2007-04-01 | archive-url=https://web.archive.org/web/20090325093618/http://www.gadycosteff.com/eg/eg52.pdf | archive-date=25 March 2009 | url-status=dead }}</ref> with analysis of the following classes of endgame: {{abbr|KQK|a king and a queen versus a king}}, {{abbr|KRK|a king and a rook versus a king}}, {{abbr|KPK|a king and a pawn versus a king}}, {{abbr|KQKR|a king and a queen versus a king and a rook}}, {{abbr|KRKB|a king and a rook versus a king and a bishop}}, and {{abbr|KRKN|a king and a rook versus a king and a knight}}.<ref>{{cite journal | author=T. Niblett | author2=A. J. Roycroft | title=How the GBR Class 0103 Data Base was Created | journal=EG | issue=56 | date=June 1979 | url=http://www.gadycosteff.com/eg/eg56.pdf | access-date=2007-05-04 | pages=145–46 | archive-url=https://web.archive.org/web/20070928080212/http://www.gadycosteff.com/eg/eg56.pdf | archive-date=28 September 2007 | url-status=dead }}</ref> In 1977, Ken Thompson's KQKR tablebase was used in a match against Grandmaster Walter Browne.<ref>{{Cite web |date=2018-03-16 |title=Endgame tablebases: A short history |url=https://en.chessbase.com/post/endgame-tablebases-a-short-history |access-date=2023-11-06 |website=Chess News |language=en}}</ref><ref>{{Cite web |title=Walter Browne vs Belle (Computer) (1978) For Whom The BELLE Tolls |url=https://www.chessgames.com/perl/chessgame?gid=1480950 |access-date=2023-11-06 |website=www.chessgames.com}}</ref>

Thompson and others helped extend tablebases to cover all four- and five-piece endgames, including {{abbr|KBBKN|a king and two bishops versus a king and a knight}}, {{abbr|KQPKQ|a king, a queen and a pawn versus a king and a queen}}, and {{abbr|KRPKR|a king, a rook and a pawn versus a king and a rook}}.<ref>Levy & Newborn, p. 144</ref><ref>See also:

* {{cite journal |author=K. Thompson |year=1986 |title=Retrograde analysis of certain endgames |url=https://pdos.csail.mit.edu/~rsc/thompson86endgame.pdf |journal=ICCA Journal |volume=9 |issue=3}} 
* {{cite journal |author=K. Thompson |date=May 1986 |title=The Programs that Generate Endgame Data Bases |url=http://www.gadycosteff.com/eg/eg83.pdf |url-status=dead |journal=EG |issue=83 |pages=2 |archive-url=https://web.archive.org/web/20070928080350/http://www.gadycosteff.com/eg/eg83.pdf |archive-date=28 September 2007 |access-date=2007-05-04}}</ref> Lewis Stiller published a thesis with research on some six-piece tablebase endgames in 1991.<ref>Stiller, pp. 68-113</ref><ref>{{cite journal |author=L. B. Stiller |year=1991 |title=Some Results from a Massively Parallel Retrograde Analysis |journal=ICCA Journal |volume=14 |issue=3 |pages=129–134}}</ref>

More recent contributors include:
* [[Biography:John Nunn|John Nunn]], foremost data miner of chess endgames and prolific endgame author.<ref>{{cite web | url=https://en.chessbase.com/(X(1)S(rg2ylarr0wonrzrhfene5qre))/post/solving-with-nunn-solutions | title=Solving with Nunn – the solutions | date=7 October 2019 }}</ref>
* Eugene Nalimov, after whom the popular Nalimov tablebases are named. Their total size is about 1.2 TB.<ref name=":4" /><ref>{{cite web |author=Hurd |first=Joe-Leslie |date=September 2010 |title=Formal Verification of Chess Endgame Databases |url=http://www.gilith.com/research/papers/chess.pdf |access-date=}}</ref><ref name="Danelishen2008">{{cite book |author=Gary M. Danelishen |url=https://books.google.com/books?id=FeaDBUAO6JcC&pg=PA6 |title=The Final Theory of Chess |date=25 February 2008 |publisher=Open Wiki of Chess Openings |isbn=978-0-9815677-0-9 |page=6 |access-date=10 August 2011}}</ref>
* Eiko Bleicher, who has adapted the tablebase concept to a program called "Freezer"
* Guy Haworth, an academic at the [[Organization:University of Reading|University of Reading]], who has published extensively in the [[ICGA Journal]] and elsewhere;
* Marc Bourzutschky and Yakov Konoval, who have collaborated to analyze endgames with seven pieces on the board;
* Peter Karrer, who constructed a specialized seven-piece tablebase ({{abbr|KQPPKQP|a king, a queen and two pawns versus a king, a queen and a pawn}}) for the endgame of the Kasparov versus The World online match;
* Vladimir Makhnychev and Victor Zakharov from Moscow State University, who completed the 4+3 DTM tablebases (525 endings including KPPPKPP) in July 2012 and the 5+2 DTM-tablebases (350 endings including KPPPPKP) in August 2012. They were generated on a [[Supercomputer|supercomputer]] named Lomonosov.<ref>{{cite web |title=Lomonosov - T-Platforms T-Blade2/1.1, Xeon X5570/X5670/E5630 2.93/2.53 GHz, Nvidia 2070 GPU, PowerXCell 8i Infiniband QDR {{!}} TOP500 |url=http://top500.org/system/177421 |website=top500.org}}</ref> Their total size is about 140 TB.<ref name=":2" /> They were attacked by a [[Ransomware|ransomware]] in 2021, and have been offline since then.<ref>[https://talkchess.com/forum3/viewtopic.php?f=2&t=74046 Forum post discussing the ransomware attack]</ref>
* Ronald de Man and Bojun Guo, who generated the seven man DTZ tablebase called the Syzygy tablebase in 2018. They were able to reduce the size of seven-man tablebases from 140 TB to 18.4 TB.<ref name="lichess.org">{{Cite web|title=7-piece Syzygy tablebases are complete|url=https://lichess.org/blog/W3WeMyQAACQAdfAL/7-piece-syzygy-tablebases-are-complete|access-date=2021-05-05|website=lichess.org|language=en-US}}</ref>

The tablebases of all endgames with up to seven pieces are available for free download, and may also be queried using web interfaces.<ref>{{Cite web |last=Fiekas |first=Niklas |title=KvK – Syzygy endgame tablebases |url=https://syzygy-tables.info/ |access-date=2023-11-01 |website=syzygy-tables.info |language=en}}</ref> Research on creating an eight-piece tablebase started in 2021.<ref>{{Cite web |title=www.arves.org - 8-men Tablebase: first explorations |url=https://www.arves.org/arves/index.php/en/endgamestudies/theory/1509-8-men-tablebase-first-explorations |access-date=2023-11-01 |website=www.arves.org}}</ref> During an interview with [[Company:Google|Google]] in 2010, Garry Kasparov said that "maybe" the limit will be 8 pieces. Because the starting position of chess is the ultimate endgame, with 32 pieces, he claimed that chess can not be solved by computers.<ref>{{cite web |title=Garry Kasparov, Talks at Google |url=https://www.youtube.com/watch?v=9hf31xOhchY&t=50m10s |url-status=live |archive-url=https://ghostarchive.org/varchive/youtube/20211116/9hf31xOhchY |archive-date=2021-11-16 |website=[[Company:YouTube|YouTube]]}}{{cbignore}}</ref> 
{| class="wikitable sortable"
|+Current status of endgame tablebases<ref>{{cite web |title=Number of Unique Legal Positions in chess endgames |url=http://kirill-kryukov.com/chess/nulp/results.html}}</ref>
|-
! Number of pieces !! Number of positions !! Database name 
! Metric
!Completed in!! Size
|-
| rowspan="2" | 5 or fewer || rowspan="2" | 26,038,209,193 || Syzygy 
| DTZ
|2013|| 939 MB
|-
| Nalimov 
| DTM
|2005|| 7.05 GB
|-
| rowspan="2" | 6 || rowspan="2" | 3,787,154,440,416 || Syzygy 
| DTZ
|2013|| 150.2 GB
|-
| Nalimov 
| DTM
|2005|| 1.2 TB<ref name=":3" />
|-
| rowspan="2" | 7 || rowspan="2" | 423,836,835,667,331 || Syzygy 
| DTZ
|2018|| 18.4 TB<ref name="lichess.org" />
|-
| Lomonosov 
| DTM
|2012|| 140 TB<ref name=":2" />
|-
| 8 || 38,176,306,877,748,245 || {{n/a}} 
|{{n/a}} 
|{{n/a}} || ~2 [[Petabyte|PB]] (estimated for Syzygy)<ref name="8manestimate">{{cite web |last1=de Man |first1=Ronald |title=What is the best way to obtain the 7-piece tablebases? - Page 3 - TalkChess.com |url=http://talkchess.com/forum3/viewtopic.php?f=2&t=74185&sid=016570559fa97e785404dd65020c0ad6&start=20#p848245 |website=talkchess.com |access-date=9 November 2022 |archive-url=https://archive.today/20221109020208/http://talkchess.com/forum3/viewtopic.php?f=2&t=74185&sid=016570559fa97e785404dd65020c0ad6&start=20%23p848245 |archive-date=9 November 2022 |url-status=live}}</ref>
|}

== Generating tablebases ==

=== Metrics ===
{{Chess diagram
| tright
|
|  |kd|  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |kl|  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |ql|  |  |  |  |
|  |  |  |rd|  |  |  |
| Example: DTC vs. DTM
}}
Before creating a tablebase, a programmer must choose a [[Indicator (statistics)|metric]] of optimality which means they must define at what point a player has "won" the game. Every position solved by the tablebase will either have a distance (i.e. the number of moves or plies) from this specific point or will get classified as a draw. To date, three different metrics have been used:<ref name=":0">{{Cite web |title=www.arves.org - 8-men Tablebase explorations "opposing 1 pawn" endgames |url=https://www.arves.org/arves/index.php/en/endgamestudies/theory/endgame-tablebases-check-a-7-men-position?view=article&id=1533&catid=2 |accessdate=1 March 2023 |website=arves.org}}</ref>
* '''Depth to mate''' (DTM) - The game can only be won by checkmate.
* '''Depth to conversion''' (DTC) - The game can be won by checkmate, capturing material or promoting a pawn. For example, in KQKR, conversion occurs when White captures the Black rook.
* '''Depth to zeroing''' (DTZ) -  The game can be won by checkmate, capturing material or moving a pawn. For example, in KRPKR, zeroing occurs when White moves his pawn closer to the eighth rank.
DTZ is the only metric which supports the fifty-move rule as it determines the distance to a "zeroing-move" (i.e. a move which resets the move count to zero under the fifty-move rule).<ref name="haworthoptimisation">{{cite journal
 | author=G. McC. Haworth
 | title=Strategies for Constrained Optimisation
 | journal=ICGA Journal
 |date=March 2000
 | volume=23
 | issue=1
 | pages=9–20
 | doi=10.3233/ICG-2000-23103
 | url=http://centaur.reading.ac.uk/4566/
  | format=PDF
 | access-date=2009-06-20
|archive-url = https://web.archive.org/web/20070929091551/http://www.is.reading.ac.uk/common/publications/02124.pdf |archive-date = 2007-09-29}}</ref> By definition, all "won" positions will always have DTZ <math>\leq</math> DTC <math>\leq</math> DTM. In pawnless positions or positions with only blocked pawns, DTZ is identical to DTC.

The difference between DTC and DTM can be understood by analyzing the diagram at the right. The optimal play depends on which metric is used.

{| class="wikitable"
|-
! Metric
! Play
! DTC
! DTM
|-
| DTC
| 1. Qxd1 Kc8 2. Qd2 Kb8 3. Qd8#
| 1
| 3
|-
| DTM
| 1. Qc7+ Ka8 2. Qa7#
| 2
| 2
|}

According to the DTC metric, White should capture the rook because that leads immediately to a position which will certainly win (DTC = 1), but it will take two more moves actually to checkmate (DTM = 3). In contrast according to the DTM metric, White mates in two moves, so DTM = DTC = 2.

This difference is typical of many endgames. DTC is always smaller than or equal to DTM, but the DTM metric always leads to the quickest checkmate. Incidentally, DTC = DTM in the unusual endgame of two knights versus one pawn because capturing the pawn (the only material Black has) results in a draw, unless the capture is also checkmate.

=== Step 1: Generating all possible positions ===
{{Chess diagram
| tright
| David Levy, ''How Computers Play Chess''

|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |xx|  |  |  |
|  |  |xx|xx|  |  |  |
|  |xx|xx|xx|  |  |  |
|xx|xx|xx|xx|  |  |  |
| The ten unique squares (with symmetry)
}}
{{Chess diagram
| tright
|
|  |  |  |  |  |  |  |
|xx|xx|xx|xx|  |  |  |
|xx|xx|xx|xx|  |  |  |
|xx|xx|xx|xx|  |  |  |
|xx|xx|xx|xx|  |  |  |
|xx|xx|xx|xx|  |  |  |
|xx|xx|xx|xx|  |  |  |
|  |  |  |  |  |  |  |
| The twenty four unique pawn squares (with symmetry)
}}
Once a metric is chosen, the first step is to generate all the positions with a given material. For example, to generate a DTM tablebase for the endgame of king and queen versus king (KQK), the computer must describe approximately 40,000 unique legal positions.

Levy and Newborn explain that the number 40,000 derives from a [[Symmetry|symmetry]] argument. The Black king can be placed on any of ten squares: a1, b1, c1, d1, b2, c2, d2, c3, d3, and d4 (see diagram). On any other square, its position can be considered equivalent by symmetry of rotation or reflection. Thus, there is no difference whether a Black king in a corner resides on a1, a8, h8, or h1. Multiply this number of 10 by at most 60 (legal remaining) squares for placing the White king and then by at most 62 squares for the White queen. The product 10×60×62 = 37,200. Several hundred of these positions are illegal, impossible, or symmetrical reflections of each other, so the actual number is somewhat smaller.<ref>Levy & Newborn, pp. 140-43</ref><ref>Stiller, pp. 93-98</ref>

For each position, the tablebase evaluates the situation separately for White-to-move and Black-to-move. Assuming that White has the queen, almost all the positions are White wins, with checkmate forced in no more than ten moves. Some positions are draws because of stalemate or the unavoidable loss of the queen.

Each additional piece added to a pawnless endgame multiplies the number of unique positions by about a factor of sixty which is the approximate number of squares not already occupied by other pieces.

Endgames with one or more pawns increase the complexity because the symmetry argument is reduced. Since pawns can move forward but not sideways, rotation and vertical reflection of the board produces a fundamental change in the nature of the position.<ref name="MullerEGTB">{{cite web|title=EGTB generator|author=Muller, H.G.|url=http://home.hccnet.nl/h.g.muller/EGTB.html|access-date=2009-05-03|quote=Pawns would break the front-back and diagonal symmetries, because they care about direction in their moves.}}</ref> The best calculation of symmetry is achieved by limiting one pawn to 24 squares in the rectangle a2-a7-d7-d2. All other pieces and pawns may be located in any of the 64 squares with respect to the pawn. Thus, an endgame with pawns has a complexity of 24/10 = 2.4 times a pawnless endgame with the same number of pieces.

=== Step 2: Evaluating positions using retrograde analysis ===
Tim Krabbé explains the process of generating a tablebase as follows:

<blockquote>"The idea is that a database is made with all possible positions with a given material [note: as in the preceding section]. Then a subdatabase is made of all positions where Black is mated. Then one where White can give mate. Then one where Black cannot stop White giving mate next move. Then one where White can always reach a position where Black cannot stop him from giving mate next move. And so on, always a ply further away from mate until all positions that are thus connected to mate have been found. Then all of these positions are linked back to mate by the shortest path through the database. That means that, apart from 'equi-optimal' moves, all the moves in such a path are perfect: White's move always leads to the quickest mate, Black's move always leads to the slowest mate."<ref name="stillermonsters">{{cite web | author=Tim Krabbé. | title=Stiller's Monsters or Perfection in Chess. | url=http://www.xs4all.nl/~timkr/chess/perfect.htm | access-date=2007-04-01}}</ref></blockquote>

The retrograde analysis is only necessary from the checkmated positions, because every position that cannot be reached by moving backward from a checkmated position must be a draw.<ref name="tay">{{cite web
 | url=http://horizonchess.com/FAQ/Winboard/egtb.html
 | title=A guide to Endgames Tablebase
 | author=Aaron Tay
 | access-date=2009-05-02
}}</ref>

Figure 1 illustrates the idea of retrograde analysis. White can force mate in two moves by playing 1. Kc6, leading to the position in Figure 2. There are only two legal moves for black from this position, both of which lead to checkmate: if 1...Kb8 2. Qb7#, and if 1...Kd8 2. Qd7# (Figure 3).

Figure 3, before White's second move, is defined as "mate in one [[Software:Ply (game theory)|ply]]." Figure 2, after White's first move, is "mate in two ply," regardless of how Black plays. Finally, the initial position in Figure 1 is "mate in three ply" (i.e., two moves) because it leads directly to Figure 2, which is already defined as "mate in two ply." This process, which links a current position to another position that could have existed one ply earlier, can continue indefinitely.

Each position is evaluated as a win or loss in a certain number of moves. At the end of the retrograde analysis, positions which are not designated as wins or losses are necessarily draws.

{| style="float:left;display:inline;" |
|{{Chess diagram small
| tleft
| Figure 1

|  |  |kd|  |  |  |  |
|  |  |  |  |  |  |  |ql
|  |  |  |  |  |  |  |
|  |  |  |kl|  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
| White to move: mate in three ply (Kc6)}}
|}
{| style="float:left;display:inline;" |
|{{Chess diagram small
| tleft
| Figure 2

|  |  |kd|  |  |  |  |
|  |  |  |  |  |  |  |ql
|  |  |kl|  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
| Black to move: mate in two ply (Kd8 or Kb8)}}
|}
{| style="float:left;display:inline;" |
|{{Chess diagram small
| tleft
| Figure 3

|  |  |  |kd|  |  |  |
|  |  |  |  |  |  |  |ql
|  |  |kl|  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
| White to move: mate in one ply (Qd7)}}
|}
{{-}}

=== Step 3: Verification ===
After the tablebase has been generated, and every position has been evaluated, the result must be verified independently. The purpose is to check the [[Consistency|self-consistency]] of the tablebase results.<ref name="Bourzutschky7man">{{cite web | author=M. Bourzutschky | title=7-man endgames with pawns | publisher=CCRL Discussion Board | date=2006-08-27 | url=http://kirill-kryukov.com/chess/discussion-board/viewtopic.php?t=805 | access-date=2010-06-14}}</ref>

For example, in Figure 1 above, the verification program sees the evaluation "mate in three ply (Kc6)." It then looks at the position in Figure 2, ''after'' Kc6, and sees the evaluation "mate in two ply." These two evaluations are consistent with each other. If the evaluation of Figure 2 were anything else, it would be inconsistent with Figure 1, so the tablebase would need to be corrected.{{Clarify|reason=if there were a problem and position 1 were actually mate in a lesser number (in this case mate) this verification process would miss it.|date=May 2012}}

=== Captures, pawn promotion, and special moves ===
A four-piece tablebase must rely on three-piece tablebases that could result if one piece is captured. Similarly, a tablebase containing a pawn must be able to rely on other tablebases that deal with the new set of material after pawn promotion to a queen or other piece. The retrograde analysis program must account for the possibility of a capture or pawn promotion on the previous move.<ref>Stiller, pp. 99-100</ref>

Tablebases assume that castling is not possible for two reasons. First, in practical endgames, this assumption is almost always correct. (However, castling is allowed by convention in composed problems and studies.) Second, if the king and rook are on their original squares, castling may or may not be allowed. Because of this ambiguity, it would be necessary to make separate evaluations for states in which castling is or is not possible.

The same ambiguity exists for the ''en passant'' capture, since the possibility of ''en passant'' depends on the opponent's previous move. However, practical applications of ''en passant'' occur frequently in pawn endgames, so tablebases account for the possibility of ''en passant'' for positions where both sides have at least one pawn.

=== Using ''a priori'' information ===
{{Chess diagram
| tright
|
|  |  |  |  |  |  |  |kl
|rl|  |  |  |bd|kd|  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|pd|  |  |  |  |  |  |
|pl|  |  |  |  |  |  |
|  |  |  |  |  |  |  |
| An example of the KRP(a2)KBP(a3) endgame.  White mates in 72 moves, starting with 1.Kh7!  Other White moves draw.
}}
According to the method described above, the tablebase must allow the possibility that a given piece might occupy any of the 64 squares. In some positions, it is possible to restrict the search space without affecting the result. This saves computational resources and enables searches which would otherwise be impossible.

An early analysis of this type was published in 1987, in the endgame {{abbr|KRP(a2)KBP(a3)|a king, a rook and a pawn on a2 versus a king, a bishop and a pawn on a3}}, where the Black bishop moves on the dark squares (see example position at right).<ref>{{cite journal | author=H. J. Herik |author2=I. S. Herschberg |author3=N. Naka  | title=A Six-Men-Endgame Database: KRP(a2)KbBP(a3) | journal=ICGA Journal | volume=10 | issue=4 | pages=163–180 | year=1987|doi=10.3233/ICG-1987-10402 }}</ref> In this position, we can make the following ''[[Philosophy:A priori and a posteriori|a priori]]'' assumptions:
# If a piece is captured, we can look up the resulting position in the corresponding tablebase with five pieces. For example, if the Black pawn is captured, look up the newly created position in KRPKB.
# The White pawn stays on a2; capture moves are handled by the 1st rule.
# The Black pawn stays on a3; capture moves are handled by the 1st rule.<ref>{{cite web | author=E. Bleicher | title=Building Chess Endgame Databases for Positions with many Pieces using A-priori Information. | date=2004-08-26 | url=http://www.knowledge4it.de/download/FreezerAugust2004.pdf | access-date=2007-04-01 | url-status=dead | archive-url=https://web.archive.org/web/20070927222937/http://www.knowledge4it.de/download/FreezerAugust2004.pdf | archive-date=27 September 2007}}</ref>
The result of this simplification is that, instead of searching for 48 * 47 = 2,256 permutations for the pawns' locations, there is only one permutation. Reducing the search space by a factor of 2,256 facilitates a much quicker calculation.

Bleicher has designed a commercial program called "Freezer," which allows users to build new tablebases from existing Nalimov tablebases with ''a priori'' information. The program could produce a tablebase for positions with seven or more pieces with blocked pawns, even before tablebases for seven pieces became available.<ref>{{cite web | author=K. Müller | title=Freeze! | work=Endgame Corner | publisher=ChessCafe.com |date=May 2005 | url=http://www.chesscafe.com/text/mueller50.pdf | access-date=2007-04-01}}</ref>

== Applications ==

=== Correspondence chess ===
{{Chess diagram
| tright
|Kasparov vs The World, 1999

|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |pd|  |kl|  |
|  |  |  |  |  |  |pl|
|  |ql|  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|kd|  |  |qd|  |  |  |
|The position after 55.Qxb4;  tablebases show White wins in 82 moves  }}
In correspondence chess, a player may consult a chess computer for assistance, provided that the etiquette of the competition allows this. Some correspondence organizations draw a distinction in their rules between utilizing chess engines which calculate a position in real time and the use of a precomputed [[Database|database]] stored on a computer. Use of an endgame tablebase might be permitted in a live game even if engine use is forbidden. Players have also used tablebases to analyze endgames from over-the-board play after the game is over. A six-piece tablebase (KQQKQQ) was used to analyze the endgame that occurred in the correspondence game Kasparov versus The World.<ref>{{cite journal | author=E. V. Nalimov |author2=C. Wirth |author3=G. McC. Haworth  | title=KQQKQQ and the Kasparov–World Game | journal=ICGA Journal | volume=22 | issue=4 | pages=195–212 | year=1999|doi=10.3233/ICG-1999-22402 |url=http://centaur.reading.ac.uk/4564/1/1999a_ICCA_J_NWH_KQQKQQ_and_the_Kasparov-World_Game.pdf }}</ref>

Competitive players must know that some tablebases ignore the fifty-move rule. According to that rule, if fifty moves have passed without a capture or a pawn move, either player may claim a draw. FIDE changed the rules several times, starting in 1974, to allow one hundred moves for endgames where fifty moves were insufficient to win. In 1988, FIDE allowed seventy-five moves for KBBKN, KNNKP, KQKBB, KQKNN, KRBKR, and KQPKQ with the pawn on the seventh rank, because tablebases had uncovered positions in these endgames requiring more than fifty moves to win. In 1992, FIDE canceled these exceptions and restored the fifty-move rule to its original standing.<ref name="haworthoptimisation"/> Thus a tablebase may identify a position as won or lost, when it is in fact drawn by the fifty-move rule. Such a position is sometimes termed a "cursed win" (where mate can be forced, but it runs afoul of the 50-move rule), or a "blessed loss" from the perspective of the other player.<ref>{{Cite web|url=https://python-chess.readthedocs.io/en/v1.9.3/syzygy.html|title=Syzygy endgame tablebase probing — python-chess 1.9.3 documentation|website=python-chess.readthedocs.io|accessdate=1 March 2023}}</ref>

In 2013, ICCF changed the rules for correspondence chess tournaments starting from 2014; a player may claim a win or draw based on six-man tablebases.<ref>[http://www.iccf.com/message?message=624 The introduction of table base claims] by Eric Ruch - ICCF President</ref> In this case the fifty-move rule is not applied, and the number of moves to mate is not taken into consideration. In 2020, this was increased to seven-man tablebases.<ref>{{Cite web|url=https://webfiles.iccf.com/rules/2021/THE%20ICCF%20LAWS%20OF%20CORRESPONDENCE%20CHESS%20-%20updated%201-28-21.pdf|title=The ICCF Laws of Correspondence Chess|website=webfiles.iccf.com|accessdate=1 March 2023}}</ref>

=== Computer chess ===
The knowledge contained in tablebases allows the computer a tremendous advantage in the endgame. Not only can computers play perfectly within an endgame, but they can simplify to a winning tablebase position from a more complicated endgame.<ref>{{cite web
 | url=http://www.chessbase.com/newsdetail.asp?newsid=3314
 | author=Steven A. Lopez
 | date=2006-11-11
 | title=Shredderbases
 | publisher=ChessBase.com
 | access-date=2007-04-01
}}</ref> For the latter purpose, some programs use "bitbases" which give the game-theoretical value of positions without the number of moves until conversion or mate – that is, they only reveal whether the position is won, lost or draw. Sometimes even this data is compressed and the bitbase reveals only whether a position is won or not, making no difference between a lost and a drawn game.<ref name="tay" /> Shredderbases, for example, used by the Shredder program, are a type of bitbase,<ref>{{cite web
 | url=http://chessprogramming.org/Eiko_Bleicher
 | title=Profile of Eiko Bleicher, co-developer of shredderbase
 | access-date=6 April 2013}}</ref> which fits all 3-, 4- and 5-piece bitbases in 157&nbsp;[[Megabyte|MB]]. This is a mere fraction of the 7.05&nbsp;GB that the Nalimov tablebases require.<ref>{{cite web
 | url=http://www.shredderchess.com/chess-info/features/shredderbases.html
 | title=Shredder Computer Chess Download - Shredderbases
 | access-date=2008-08-09}}</ref> 

Some [[Software:Computer chess|computer chess]] experts have observed practical drawbacks to the use of tablebases.<ref>{{cite web
 | author=A. Tay
 | url=http://horizonchess.com/FAQ/Winboard/weaktablebase.html
 | title=Can use of endgame tablebases weaken play?
 | date=2002-06-30
 | access-date=2007-04-01
}}</ref> In addition to ignoring the fifty-move rule, a computer in a difficult position might avoid the losing side of a tablebase ending even if the opponent cannot practically win without himself knowing the tablebase. The adverse effect could be a premature resignation, or an inferior line of play that loses with less resistance than a play without tablebase might offer. Another drawback is that tablebases require a lot of [[Computer memory|memory]] to store trillions of positions. The Nalimov tablebases, which use advanced [[Data compression|compression]] techniques, require 7.05&nbsp;[[Gigabyte|GB]] of hard disk space for all 5-piece endings and 1.2 TB for 6-piece endings.<ref name=":3">{{cite web
 | url=http://chessdb.sourceforge.net/tutorial/t_tool_egtb.php
 | title=Endgame Tablebases
 | work=ChessDB Tutorial
 | author=David Kirkby
 | date=2007-03-12
 | access-date=2007-04-01
}}</ref><ref>{{cite web
 | url=http://www.shredderchess.com/online-chess/online-databases/endgame-database-info.html
 | title=Shredder Computer Chess Download - Endgame Database Info
 | author=Stefan Meyer-Kahlen
 | access-date=2008-08-17
}}</ref> The 7-piece Lomonosov tablebase requires 140 [[Terabyte|TB]] of storage space. Some computers play better overall if their memory is devoted instead to the ordinary search and evaluation function. Modern engines play endgames significantly better, and using tablebases only results in a very minor improvement to their performance.<ref>{{Cite web |title=Useful data |url=https://github.com/official-stockfish/Stockfish/wiki/Useful-data |access-date=2023-11-02 |website=GitHub |language=en}}</ref>

Syzygy tablebases were developed by Ronald de Man and released in April 2013 in a form optimized for use by a chess program during search. This variety consists of two tables per endgame: a smaller WDL (win/draw/loss) table which contains knowledge of the 50-move rule, and a larger DTZ table (distance to zero ply, i.e., pawn move or capture). The WDL tables were designed to be small enough to fit on a [[Solid-state drive|solid-state drive]] for quick access during search, whereas the DTZ form is for use at the root position to choose the game-theoretically quickest distance to resetting the 50-move rule while retaining a winning position, instead of performing a search. Syzygy tablebases are available for all 6-piece endings, and are now supported by many top engines, including [[Software:Stockfish (chess)|Stockfish]], [[Software:Leela Chess Zero|Leela]], [[Software:Komodo (chess)|Dragon]], and Torch.<ref>{{cite web|title=Syzygy Bases|url=http://chessprogramming.org/Syzygy_Bases|website=Chess Programming Wiki|access-date=24 March 2015}}</ref> Since August 2018, all 7-piece Syzygy tables are also available.<ref name="lichess.org"/>

In 2020, Ronald de Man estimated that 8-man tablebases would be economically feasible within 5 to 10 years, as just 2 PB of disk space would store them in Syzygy format,<ref name="8manestimate" /> and they could be generated using existing code on a conventional server with 64 TB of RAM.<ref>{{cite web |last1=de Man |first1=Ronald |title=What is the best way to obtain the 7-piece tablebases? - Page 4 - TalkChess.com |url=http://talkchess.com/forum3/viewtopic.php?f=2&t=74185&sid=19fe7590ed6ff626fd224042b2cb7567&start=30#p848515 |website=talkchess.com |access-date=9 November 2022}}</ref> 
=== Endgame theory ===
{{Chess diagram
|tright
|Lewis Stiller, 1991
|  |  |  |  |  |  |nl|
|  |  |  |  |  |kl|rl|
|  |  |nd|  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |nd|  |  |  |  |
|  |kd|  |  |  |  |  |
|White to move and '''mate in 262'''. This is the longest mate with six or fewer pieces on the board.
}}
In contexts where the fifty-move rule may be ignored, tablebases have answered longstanding questions about whether certain combinations of material are wins or draws. The following interesting results have emerged:
* KBBKN — Bernhard Horwitz and Josef Kling (1851) proposed that Black can draw by entering a defensive fortress, but tablebases demonstrated a general win, with maximum DTC = 66 and maximum DTM = 78.<ref>{{cite journal
 | author=A. J. Roycroft
 | title=Two Bishops Against Knight
 | journal=EG
 | issue=75
 | pages=249
 | year=1984
 | url=http://www.gadycosteff.com/eg/eg75.pdf
 | access-date=2007-05-04
 | archive-url=https://web.archive.org/web/20070928075958/http://www.gadycosteff.com/eg/eg75.pdf
 | archive-date=28 September 2007
 | url-status=dead
 }}</ref> (Also see pawnless chess endgame.)
* KNNKP – Maximum DTC = DTM = 115 moves.
* KNNNNKQ – The knights win in 62.5 percent of positions, with maximum DTM = 85 moves.<ref>{{cite web
 | url=http://www.xs4all.nl/~timkr/chess2/diary_15.htm
 | title=282. First 7-piece endgame database
 | date=2005-04-12
 | access-date=2007-03-25
 | work=Open Chess Diary
 | author=Tim Krabbé
}}</ref><ref>{{cite web
 | url=http://web.quick.cz/EVCOMP/tablebase.htm#7menfirst
 | title=News in 7 piece EGTB
 | date=2005-07-21
 | access-date=2007-03-25
 | author=Emil Vlasák
}}</ref>
* KQRKQR – Despite the equality of material, the player to move wins in 67.74% of positions.<ref>{{cite journal
 | author=G. McC. Haworth
 | title=Discarding Like Pieces
 | journal=ICGA Journal
 |date=August 2001
 | volume=24
 | issue=3
 | page=161
 | doi=10.3233/ICG-2001-24305
 | url=http://centaur.reading.ac.uk/4594/
  | format=PDF
 | access-date=2007-04-01
|archive-url = https://web.archive.org/web/20070929091420/http://www.is.reading.ac.uk/common/publications/02128.pdf |archive-date = 2007-09-29}}</ref> The maximum DTC is 92, and the maximum DTM is 117. In both this endgame and KQQKQQ, the first player to ''check'' usually wins.<ref>Nunn, p. 379, 384</ref>
* KRNKNN and KRBKNN — Friedrich Amelung had analyzed these two endgames in the 1900s.<ref>Stiller, p. 81</ref> KRNKNN and KRBKNN are won for the stronger side in 78% and 95% of the cases, respectively.<ref name="stillermonsters"/><ref>{{cite web
 | author=Tim Krabbé
 | work=Open Chess Diary
 | url=http://www.xs4all.nl/~timkr/chess2/diary_3.htm
 | title=60. Play chess with God
 | access-date=2007-05-13
 | date=2000-04-08
}}</ref> Stiller's DTC tablebase revealed several lengthy wins in these endgames. The longest win in KRBKNN has a DTC of 223 and a DTM of 238 moves (not shown). Even more interesting is the position at right, where White wins starting with 1. Ke6! Stiller reported the DTC as 243 moves, and the DTM was later found to be 262 moves.<ref>Stiller, pp. 102-8</ref>

For some years, a "mate-in-200" position (first diagram below) held the record for the longest computer-generated forced mate. (Otto Blathy had composed a "mate in 292 moves" problem in 1889, albeit from an illegal starting position.<ref>{{cite web
 |url=http://www.geocities.com/bioelectrochemistry/blathy.html 
 |title=Blathy 
 |access-date=2007-05-04 
 |date=2003-06-21 
 |archive-url=https://web.archive.org/web/20091024090323/http://geocities.com/bioelectrochemistry/blathy.html
 |archive-date=24 October 2009
 |url-status=dead
}}</ref>) In May 2006, Bourzutschky and Konoval discovered a KQNKRBN position with a DTC of 517 moves,<ref>Pal Benko, ''Endgame Lab: The Magnificent Seven'', ''Chess Life'', April 2013, p. 44</ref><ref>{{cite web |author=Tim Krabbé |date=2006-05-26 |title=316. A 517-move win |url=http://www.xs4all.nl/~timkr/chess2/diary_16.htm |access-date=2007-05-04 |work=Open Chess Diary}}</ref> whose DTM was later found to be 545 moves.<ref name=":1" /> In 2012, when the Lomonosov 7-piece tablebase was being completed, a position was found with a record DTM of 549 moves (third diagram below).<ref name=":1">{{cite web |title=8 Longest 7-Man Checkmates |url=http://tb7.chessok.com/articles/Top8DTM_eng}}</ref> It was initially assumed that a 1000-move mate in one of the 8-man endgames would be found.<ref name=":1" /> However, cursory targeted research has currently only found a position with DTC 584, which was discovered in 2021 by Bourzutschky.<ref name=":0" />  Assuming this projection holds true, Haworth’s Law (which states that the number of moves roughly doubles for each piece added) breaks down at this point.

{{col-float|width=auto; float:left; clear:left}}
{{col-float-break}}
{{Chess diagram
|tleft
| 
|  |  |  |  |  |  |  |
|  |  |qd|  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |rl|
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |kd
|  |  |pl|  |  |  |rl|
|kl|  |  |  |  |  |  |
|White to move and '''mate in 200'''. White does not move his pawn until move 119. 
| 
}}
{{col-float-break}}
{{Chess diagram
|tleft
|
|  |  |  |  |  |  |  |kd
|  |  |  |  |bl|  |  |
|  |  |bl|  |  |  |  |
|  |  |pl|  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |kl|  |  |  |
|  |  |  |  |  |qd|  |
| Black to move and '''mate in 154'''
}}
{{col-float-break}}
{{Chess diagram
| tleft
| 
|  |nd  |  |kd  |  |  |  |
||  |  |  |  |  |ql  |
|  |  ||  |  |kl  |pl  |
|  |  |  |  |  |  |  |
|  |  |  |  |  ||  |bd
|  |rd  |  ||  |  |  |
|  |  |  |  |  |  |  |
|  |  |  ||  |  |  |
| White to move and '''mate in 549'''. This is the longest mate with seven or fewer pieces on the board.
}}
{{col-float-end}}
{{clear left}}
Many positions are winnable despite seeming to be non-winnable by force at first glance. For example, the position in the middle diagram is a win for Black in 154 moves (the white pawn is captured after around 80 moves).<ref name=":4">{{Cite web|url=http://www.k4it.de/index.php?topic=egtb&lang=en|title=Knowledge4IT - Entwurf, Implementierung, Weiterbildung.|website=www.k4it.de|accessdate=1 March 2023}}</ref>

=== Endgame studies ===
{{Chess diagram
| tright
| E. Pogosyants, ''EG'' 1978

|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |rd
|  |  |  |nl|  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |pl
|rl|  |  |  |kl|  |  |kd
| White to play and win.  The composer intended 1. Ne3 Rxh2 2. 0-0-0#! as the main line of the solution, but a tablebase revealed that 1. h4 wins without castling.
}}

Since many composed endgame studies deal with positions that exist in tablebases, their soundness can be checked using the tablebases. Some studies have been proved unsound by the tablebases. That can be either because the composer's solution does not work, or else because there is an equally effective alternative that the composer did not consider. Another way tablebases cook studies is a change in the evaluation of an endgame. For instance, the endgame with a queen and bishop versus two rooks was thought to be a draw, but tablebases proved it to be a win for the queen and bishop, so almost all studies based on this endgame are unsound.<ref>Nunn, pp. 367-68</ref>

For example, Erik Pogosyants composed the study at right, with White to play and win. His intended main line was 1. Ne3 Rxh2 2. 0-0-0#! A tablebase discovered that 1. h4 also wins for White in 33 moves, even though Black can capture the pawn (which is not the best move – in case of capturing the pawn black loses in 21 moves, while Kh1-g2 loses in 32 moves). Incidentally, the tablebase does not recognize the composer's solution because it includes castling.<ref>{{cite web | author=Tim Krabbé | work=Open chess diary | title=324. A cooked, correct study | date=2006-09-15 | url=http://www.xs4all.nl/~timkr/chess2/diarytxt.htm | access-date=2007-05-04}}</ref>

While tablebases have cooked some studies, they have assisted in the creation of other studies. Composers can search tablebases for interesting positions, such as [[Philosophy:Zugzwang|zugzwang]], using a method called [[Examples of data mining#Games|data mining]]. For all three- to five-piece endgames and pawnless six-piece endgames, a complete list of mutual zugzwangs has been tabulated and published.<ref>{{cite journal | author=G. McC. Haworth | title=3–5 Man Mutual Zugzwangs in Chess | journal=Proceedings of the CMG 6th Computer Olympiad Computer-Games Workshop |editor=J.W.H.M. Uiterwijk | volume=TR CS 01-04 | year=2001}}</ref><ref>{{cite journal |author=Haworth |first=G. McC. |date=2001 |year=2001 |title=Ken Thompson's 6-man Tables |journal=ICGA Journal |volume=24 |issue=2 |pages=83–85|doi=10.3233/ICG-2001-24207 |s2cid=35063986 }}</ref><ref>{{cite journal | author=G. McC. Haworth |author2=P. Karrer |author3=J. A. Tamplin |author4=C. Wirth  | title=3–5 Man Chess: Maximals and Mzugs | journal=ICGA Journal | volume=24 | issue=4 | pages=225–30 | year=2001|doi=10.3233/ICG-2001-24404 |url=http://centaur.reading.ac.uk/4581/1/2001j_ICGA_J_HKTW_3-5-man_Chess_Maximals_%26_Mzugs.pdf }}</ref>

There has been some controversy whether to allow endgame studies composed with tablebase assistance into composing tournaments. In 2003, the endgame composer and expert John Roycroft summarized the debate:

<blockquote>[N]ot only do opinions diverge widely, but they are frequently adhered to strongly, even vehemently: at one extreme is the view that since we can never be certain that a computer has been used it is pointless to attempt a distinction, so we should simply evaluate a 'study' on its content, without reference to its origins; at the other extreme is the view that using a 'mouse' to lift an interesting position from a ready-made computer-generated list is in no sense composing, so we should outlaw every such position.<ref name="EG194editorial">{{cite journal | author=A. J. Roycroft | title=Editorial | journal=EG | issue=149 | pages=51 | date=July 2003 | url=http://www.gadycosteff.com/eg/eg149.pdf | access-date=2007-05-04 | archive-url=https://web.archive.org/web/20070928080150/http://www.gadycosteff.com/eg/eg149.pdf | archive-date=28 September 2007 | url-status=dead }}</ref></blockquote>

Roycroft himself agrees with the latter approach. He continues, "One thing alone is clear to us: the distinction between classical composing and computer composing should be preserved for as long as possible: if there is a name associated with a study diagram that name is a claim of authorship."<ref name="EG194editorial"/>

{{Chess diagram
| tright
| Harold van der Heijden, 2001

|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |pl
|  |  |  |  |  |  |  |
|  |  |  |  |  |  |  |
|kl|  |  |  |  |  |  |
|pl|  |  |  |  |  |  |
|  |  |  |  |  |  |kd|rd
|  |  |  |  |  |  |  |
| White to play and draw
}}
Mark Dvoretsky, an International Master, chess trainer, and author, took a more permissive stance. He was commenting in 2006 on a study by Harold van der Heijden, published in 2001, which reached the position at right after three introductory moves. The drawing move for White is 4. Kb4!! (and not 4. Kb5), based on a mutual zugzwang that may occur three moves later.

Dvoretsky comments: <blockquote>Here, we should touch on one delicate question. I am sure that this unique endgame position was discovered with the help of Thompson’s famous computer database. Is this a 'flaw,' diminishing the composer's achievement? <p> Yes, the computer database is an instrument, available to anyone nowadays. Out of it, no doubt, we could probably extract yet more unique positions – there are some chess composers who do so regularly. The standard for evaluation here should be the result achieved. Thus: miracles, based upon complex computer analysis rather than on their content of sharp ideas, are probably of interest only to certain aesthetes.<ref>{{cite web | author=M. Dvoretsky | title=Study Composing Tourney | work=The Instructor | publisher=ChessCafe.com |date=July 2006 | url=http://www.chesscafe.com/text/dvoretsky70.pdf | access-date=2007-04-01}}</ref></blockquote>

== "Play chess with God" ==

On the [[Organization:Bell Labs|Bell Labs]] website, [[Biography:Ken Thompson|Ken Thompson]] once maintained a link to some of his tablebase data. The headline read, "Play chess with God."<ref>{{cite web | url=http://plan9.bell-labs.com/who/ken/ | author=Ken Thompson | title=Play chess with God | date=2002-08-21 | access-date=2007-03-25 | url-status=dead | archive-url=https://web.archive.org/web/20070124092512/http://plan9.bell-labs.com/who/ken/ | archive-date=24 January 2007}}</ref>

Regarding Stiller's long wins, Tim Krabbé struck a similar note: <blockquote>Playing over these moves is an eerie experience. They are not human; a grandmaster does not understand them any better than someone who has learned chess yesterday. The knights jump, the kings orbit, the sun goes down, and every move is the truth. It's like being revealed the Meaning of Life, but it's in Estonian.<ref>{{Cite web|title=research!rsc: Play Chess with God|url=https://research.swtch.com/chess|access-date=2020-12-09|website=research.swtch.com}}</ref>
</blockquote>

== Nomenclature ==
Originally, an endgame tablebase was called an "endgame data base" or "endgame database". This name appeared in both ''EG'' and the ''ICCA Journal'' starting in the 1970s, and is sometimes used today. According to Haworth, the ''ICCA Journal'' first used the word "tablebase" in connection with chess endgames in 1995.<ref>{{cite journal
 | journal=EG
 | issue=137
 | year=1995
 | url=http://www.gadycosteff.com/eg/eg137.pdf
 | title=Tablebases and Tables
 | author=Guy Haworth
 | access-date=2007-05-04
 | pages=151
 | archive-url=https://web.archive.org/web/20120206235341/http://www.gadycosteff.com/eg/eg137.pdf
 | archive-date=6 February 2012
 | url-status=dead
 }}</ref> According to that source, a tablebase contains a complete set of information, but a database might lack some information.

Haworth prefers the term "Endgame Table", and has used it in the articles he has authored.<ref>{{cite web
 | url=http://centaur.reading.ac.uk/view/creators/90000763.html
 | publisher=The University of Reading
 | work=Information Systems at Reading
 | title=Publications for Mr Guy Haworth
 | access-date=2009-06-20
}}</ref> Roycroft has used the term "oracle database" throughout his magazine, ''EG''.<ref>For example, in {{cite journal
 | journal=EG
 | issue=135
 | pages=9
 | url=http://www.gadycosteff.com/eg/eg135.pdf
 | title=Proposal for the Guidance of Tourney Organisers, Composers And Judges: 0. Definitions
 | quote=''odb'' — otherwise known as total information database or tablebase.
 | access-date=2007-04-01
 | archive-url=https://web.archive.org/web/20090325093647/http://www.gadycosteff.com/eg/eg135.pdf
 | archive-date=25 March 2009
 | url-status=dead
 }}</ref> Nonetheless, the mainstream chess community has adopted "endgame tablebase" as the most common name.

== Books ==
[[Biography:John Nunn|John Nunn]] has written three books based on detailed analysis of endgame tablebases:
* {{Cite book |last=Nunn |first=John <!-- |year=1995 |title=Secrets of Minor-Piece Endings |publisher=Batsford |isbn=0-8050-4228-8}}
* {{Cite book
|year=1999
|title=Secrets of Rook Endings
|edition = 2nd
|publisher=Gambit Publications
|isbn=1-901983-18-8}}
* {{Cite book
|year=2002
|title=Secrets of Pawnless Endings
|publisher=Gambit Publications
|edition=2nd
|isbn=978-1-901983-65-4}}

==Tables==
{| class="wikitable sortable collapsible" border="1"
|+Seven-piece endgames 
! Attacking pieces !! Defending pieces!!Longest mate
|-
|30x30px 30x30px||30x30px 30x30px [[File:Chess pdt45.svg|30x30px]]||476
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||380
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||400
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess pdt45.svg|30x30px]]||186
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||143
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||140
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||549
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||260
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||201
|-
|30x30px 30x30px 30x30px||30x30px 30x30px||143
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||211
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||211
|-
|[[File:Chess blt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||298
|-
|30x30px 30x30px 30x30px||30x30px 30x30px||261
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||293
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||217
|-
|[[File:Chess blt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||224
|-
|30x30px 30x30px 30x30px||30x30px [[File:Chess pdt45.svg|30x30px]]||259
|-
|[[File:Chess nlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||228
|-
|30x30px 30x30px 30x30px||30x30px [[File:Chess pdt45.svg|30x30px]]||297
|-
|30x30px 30x30px 30x30px||30x30px [[File:Chess pdt45.svg|30x30px]]||176
|-
|30x30px 30x30px 30x30px||30x30px [[File:Chess pdt45.svg|30x30px]]||182
|-
|30x30px 30x30px 30x30px||30x30px [[File:Chess pdt45.svg|30x30px]]||184
|-
|30x30px 30x30px 30x30px||30x30px 30x30px||296
|-
|[[File:Chess nlt45.svg|30x30px]] 30x30px 30x30px 30x30px||[[File:Chess pdt45.svg|30x30px]]||269
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||191
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess rdt45.svg|30x30px]]||104
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess bdt45.svg|30x30px]]||79
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess ndt45.svg|30x30px]]||92
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess pdt45.svg|30x30px]]||189
|-
|30x30px 30x30px 30x30px||30x30px 30x30px||77
|-
|30x30px 30x30px 30x30px||30x30px 30x30px||88
|-
|30x30px 30x30px||30x30px 30x30px 30x30px||70
|-
|30x30px 30x30px||30x30px 30x30px 30x30px||98
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||262
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px||30x30px [[File:Chess bdt45.svg|30x30px]]||246
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px||30x30px [[File:Chess ndt45.svg|30x30px]]||246
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||238
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||105
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||149
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||140
|-
|[[File:Chess blt45.svg|30x30px]] 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||232
|-
|30x30px 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||86
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px 30x30px||[[File:Chess qdt45.svg|30x30px]]||102
|-
|[[File:Chess rlt45.svg|30x30px]] 30x30px 30x30px||30x30px [[File:Chess ndt45.svg|30x30px]]||210
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||176
|-
|30x30px 30x30px 30x30px||30x30px 30x30px||304
|-
|30x30px 30x30px 30x30px||30x30px 30x30px||152
|-
|30x30px 30x30px 30x30px||30x30px 30x30px||262
|-
|30x30px 30x30px 30x30px||30x30px [[File:Chess bdt45.svg|30x30px]]||212
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px 30x30px||84
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess bdt45.svg|30x30px]]||134
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||112
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||117
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||122
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||182
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess bdt45.svg|30x30px]]||120
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||195
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||229
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||150
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||192
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||176
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess bdt45.svg|30x30px]]||197
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||545
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||169
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||106
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||115
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||154
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px||30x30px 30x30px 30x30px||141
|-
|30x30px 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||94
|-
|30x30px 30x30px||30x30px 30x30px 30x30px||141
|-
|30x30px 30x30px||30x30px 30x30px [[File:Chess ndt45.svg|30x30px]]||107
|-
|30x30px 30x30px||30x30px 30x30px 30x30px||247
|-
|30x30px 30x30px||30x30px 30x30px 30x30px||213
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px [[File:Chess rdt45.svg|30x30px]]||184
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px [[File:Chess bdt45.svg|30x30px]]||239
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px [[File:Chess ndt45.svg|30x30px]]||192
|-
|[[File:Chess qlt45.svg|30x30px]] 30x30px 30x30px||30x30px [[File:Chess pdt45.svg|30x30px]]||297
|}

== Notes ==
{{reflist}}

== References ==
* {{cite book
 | last2=Newborn|first2=Monty
 | year=1991
 | title=How Computers Play Chess
 | publisher=Computer Science Press
 | isbn=0-7167-8121-2}}
* {{cite book
 | year=2002
 | title=Secrets of Pawnless Endings
 | edition=second
 | publisher=Gambit Publications
 | isbn=1-901983-65-X}}
* {{cite web
 |author      = Stiller, Lewis Benjamin
 |year        = 1995
 |title       = Exploiting symmetry on parallel architectures
 |publisher   = PhD Thesis, Johns Hopkins University
 |url         = http://users.rcn.com/lstiller/thesis.pdf
 |access-date  = 2007-05-04
 |url-status     = dead
 |archive-url  = https://web.archive.org/web/20070930063855/http://users.rcn.com/lstiller/thesis.pdf
 |archive-date = 30 September 2007}}

== External links ==
* [http://horizonchess.com/FAQ/Winboard/egtb.html Guide to the use of Computer Chess Endgame Tablebases by Aaron Tay]
* Downloading tablebases
** [http://oics.olympuschess.com/tracker Torrent site for Gaviota, Scorpio, and Syzygy 3,4,5 and 6-men EGTB's]
** [https://web.archive.org/web/20150110071811/http://thepiratebay.se/torrent/6796200/Nalimov_Tablebases_(3_4_5_6)_(more_tablebases) Torrent for Nalimov Tablebases (3+4+5+6) complete]
** [http://kirill-kryukov.com/chess/tablebases-online/ Distribution site for tablebases up to six pieces]
** [https://web.archive.org/web/20140205033204/http://www.cis.uab.edu/hyatt/crafty/TB/3-4-5 3-4-5 pieces] on [[Biography:Robert Hyatt|Robert Hyatt's]] FTP site
* Querying tablebases on the web
** [http://www.k4it.de/index.php?topic=egtb&lang=en Web query server for Nalimov tablebases by Eiko Bleicher] (up to six pieces)
** [http://chessok.com/?page_id=361 Web query server for Nalimov tablebases at ChessOK] (up to six pieces)
** [http://www.lokasoft.nl/tbweb.aspx Web query server for Nalimov tablebases by Lokasoft] (up to six pieces)
** [https://www.shredderchess.com/online/endgame-database.html Web query server for Nalimov tablebases at Shredder] (up to six pieces)
** [https://syzygy-tables.info Web query server for Syzygy tablebases by Niklas Fiekas] (up to seven pieces)
* [http://kirill-kryukov.com/chess/longest-checkmates/ Maximal positions], i.e. longest DTM positions for endgames with up to five pieces and some with six pieces, compiled by Kirill Kryukov


[[Category:Types of databases]]

{{Sourceattribution|Endgame tablebase}}