Endgame tablebase

Endgame tablebase
A typical interface for querying a tablebase

An endgame tablebase is a computerized database that contains precalculated exhaustive analysis of a chess endgame position. It is typically used by a computer chess engine during play, or by a human or computer that is retrospectively analysing a game that has already been played.

The tablebase contains the game-theoretical value (win, loss, or draw) of each possible move in each possible position, and how many moves it would take to achieve that result with perfect play. Thus, the tablebase acts as an oracle, always providing the optimal moves. Typically the database records each possible position with certain pieces remaining on the board, and the best moves with White to move and with Black to move.

Tablebases are generated by retrograde analysis, working backwards from a checkmated position. Tablebases have solved chess for every position with six or fewer pieces (including the two kings). The solutions have profoundly advanced the chess community's understanding of endgame theory. Some positions which humans had analyzed as draws were proved to be winnable; the tablebase analysis could find a mate in more than a hundred moves, far beyond the horizon of humans, and beyond the capability of a computer during play. Tablebases have enhanced competitive play and facilitated the composition of endgame studies. They provide a powerful analytical tool.

Endgame tablebases for other board games like checkers,[1] chess variants[2] or Nine Men's Morris[3] exist, but without a specific mention of the game, one is talking about chess.

Contents


Background

Physical limitations of computer hardware aside, in principle it is possible to solve any game under the condition that the complete state is known and there is no random chance. Strong solutions, i.e. algorithms that can produce perfect play from any position,[4] are known for some simple games such as Tic Tac Toe (draw with perfect play) and 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 (from the starting position) and Go, have not been solved because their game complexity is 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.

Computer chess is one of the oldest domains of artificial intelligence, having begun in the early 1930s. Claude Shannon proposed formal criteria for evaluating chess moves in 1949. In 1951, 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.[5] However, even as competent chess programs began to develop, they exhibited a glaring weakness in playing the endgame. Programmers added specific heuristics for the endgame – for example, the king should move to the center of the board.[6] 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.[7][8] 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[9][10] with analysis of the following classes of endgame: KQK, KRK, KPK, KQKR, KRKB, and KRKN.[11] In 1977 the KQKR database was used in a match versus Grandmaster Walter Browne, see Computer chess#Using endgame databases.

Ken Thompson and others helped extend tablebases to cover all four- and five-piece endgames, including in particular KBBKN, KQPKQ, and KRPKR.[12][13] Lewis Stiller published a thesis with research on some six-piece tablebase endgames in 1995.[14][15]

More recent contributors have included the following people:

  • Eugene Nalimov, after whom the popular Nalimov tablebases are named;
  • Eiko Bleicher, who has adapted the tablebase concept to a program called "Freezer" (see below);
  • Guy Haworth, an academic at the 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 (KQPPKQP) for the endgame of the Kasparov versus The World online match.

The tablebases of all endgames with up to six pieces are available for free download, and may also be queried using web interfaces (see the external links below). Nalimov tablebase requires more than one terabyte of storage space.[16][17]

Generating tablebases

Metrics: Depth to conversion and depth to mate

Solid white.svg a b c d e f g h Solid white.svg
8  black king  black king  black king  black king  black king  black king  black king  black king 8
7  black king  black king  black king  black king  black king  black king  black king  black king 7
6  black king  white king  black king  black king  black king  black king  black king  black king 6
5  black king  black king  black king  black king  black king  black king  black king  black king 5
4  black king  black king  black king  black king  black king  black king  black king  black king 4
3  black king  black king  black king  black king  black king  black king  black king  black king 3
2  black king  black king  white queen  black king  black king  black king  black king  black king 2
1  black king  black king  black king  black rook  black king  black king  black king  black king 1
Solid white.svg a b c d e f g h Solid white.svg
Example: DTC vs. DTM

Before creating a tablebase, a programmer must choose a metric of optimality – in other words, he must define at what point a player has "won" the game. Every position can be defined by its distance (i.e. the number of moves) from the desired endpoint. Two metrics are generally used:

  • Depth to mate (DTM). A checkmate is the only way to win a game.
  • Depth to conversion (DTC). The stronger side can also win by capturing material, thus converting to a simpler endgame. For example, in KQKR, conversion occurs when White captures the Black rook.

Haworth has discussed two other metrics, namely "depth to zeroing-move" (DTZ) and "depth by the rule" (DTR). These metrics support the fifty-move rule, but DTR tablebases have not yet been computed, and DTZ tablebases have not yet been generally released to the public.[18]

The difference between DTC and DTM can be understood by analyzing the diagram at right. How White should proceed depends on which metric is used.

Metric Play DTC DTM
DTC 1. Qxd1 Kc8 2. Qd2 Kb8 3. Qd8 mate 1 3
DTM 1. Qc7+ Ka8 2. Qa7 mate 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. Usually DTC is smaller than DTM, but the DTM metric leads to the quickest checkmate. Exceptions occur where the weaker side has only a king, and in the unusual endgame of two knights versus one pawn; then DTC = DTM because either there is no defending material to capture or capturing the material does no good. (Indeed, capturing the defending pawn in the latter endgame results in a draw.)

Step 1: Generating all possible positions

David Levy, How Computers Play Chess
Solid white.svg a b c d e f g h Solid white.svg
8  black king  black king  black king  black king  black king  black king  black king  black king 8
7  black king  black king  black king  black king  black king  black king  black king  black king 7
6  black king  black king  black king  black king  black king  black king  black king  black king 6
5  black king  black king  black king  black king  black king  black king  black king  black king 5
4  black king  black king  black king  cross  black king  black king  black king  black king 4
3  black king  black king  cross  cross  black king  black king  black king  black king 3
2  black king  cross  cross  cross  black king  black king  black king  black king 2
1  cross  cross  cross  cross  black king  black king  black king  black king 1
Solid white.svg a b c d e f g h Solid white.svg
The ten unique 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 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.[19][20]

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 not 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.[21] 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:

"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."[22]

The retrograde analysis is only necessary from the checkmated positions. Other positions need not be worked from because every position that is not reached from a checkmated position is a draw.[23]

Figure 1 illustrates the idea of retrograde analysis. White mates in two moves with 1. Kc6, leading to the position in Figure 2. Then if 1...Kb8 2. Qb7 mate, and if 1...Kd8 2. Qd7 mate (Figure 3).

Figure 3, before White's second move, is defined as "mate in one 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.

Figure 1
Solid white.svg a b c d e f g h Solid white.svg
8 a8 black king b8 black king c8 black king d8 black king e8 black king f8 black king g8 black king h8 black king 8
7 a7 black king b7 black king c7 black king d7 black king e7 black king f7 black king g7 black king h7 white queen 7
6 a6 black king b6 black king c6 black king d6 black king e6 black king f6 black king g6 black king h6 black king 6
5 a5 black king b5 black king c5 black king d5 white king e5 black king f5 black king g5 black king h5 black king 5
4 a4 black king b4 black king c4 black king d4 black king e4 black king f4 black king g4 black king h4 black king 4
3 a3 black king b3 black king c3 black king d3 black king e3 black king f3 black king g3 black king h3 black king 3
2 a2 black king b2 black king c2 black king d2 black king e2 black king f2 black king g2 black king h2 black king 2
1 a1 black king b1 black king c1 black king d1 black king e1 black king f1 black king g1 black king h1 black king 1
Solid white.svg a b c d e f g h Solid white.svg
White to move: mate in three ply (Kc6)
Figure 2
Solid white.svg a b c d e f g h Solid white.svg
8 a8 black king b8 black king c8 black king d8 black king e8 black king f8 black king g8 black king h8 black king 8
7 a7 black king b7 black king c7 black king d7 black king e7 black king f7 black king g7 black king h7 white queen 7
6 a6 black king b6 black king c6 white king d6 black king e6 black king f6 black king g6 black king h6 black king 6
5 a5 black king b5 black king c5 black king d5 black king e5 black king f5 black king g5 black king h5 black king 5
4 a4 black king b4 black king c4 black king d4 black king e4 black king f4 black king g4 black king h4 black king 4
3 a3 black king b3 black king c3 black king d3 black king e3 black king f3 black king g3 black king h3 black king 3
2 a2 black king b2 black king c2 black king d2 black king e2 black king f2 black king g2 black king h2 black king 2
1 a1 black king b1 black king c1 black king d1 black king e1 black king f1 black king g1 black king h1 black king 1
Solid white.svg a b c d e f g h Solid white.svg
Black to move: mate in two ply (Kd8 or Kb8)
Figure 3
Solid white.svg a b c d e f g h Solid white.svg
8 a8 black king b8 black king c8 black king d8 black king e8 black king f8 black king g8 black king h8 black king 8
7 a7 black king b7 black king c7 black king d7 black king e7 black king f7 black king g7 black king h7 white queen 7
6 a6 black king b6 black king c6 white king d6 black king e6 black king f6 black king g6 black king h6 black king 6
5 a5 black king b5 black king c5 black king d5 black king e5 black king f5 black king g5 black king h5 black king 5
4 a4 black king b4 black king c4 black king d4 black king e4 black king f4 black king g4 black king h4 black king 4
3 a3 black king b3 black king c3 black king d3 black king e3 black king f3 black king g3 black king h3 black king 3
2 a2 black king b2 black king c2 black king d2 black king e2 black king f2 black king g2 black king h2 black king 2
1 a1 black king b1 black king c1 black king d1 black king e1 black king f1 black king g1 black king h1 black king 1
Solid white.svg a b c d e f g h Solid white.svg
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 self-consistency of the tablebase results.[24]

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.

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.[25]

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

Solid white.svg a b c d e f g h Solid white.svg
8  black king  black king  black king  black king  black king  black king  black king  white king 8
7  white rook  black king  black king  black king  black bishop  black king  black king  black king 7
6  black king  black king  black king  black king  black king  black king  black king  black king 6
5  black king  black king  black king  black king  black king  black king  black king  black king 5
4  black king  black king  black king  black king  black king  black king  black king  black king 4
3  black pawn  black king  black king  black king  black king  black king  black king  black king 3
2  white pawn  black king  black king  black king  black king  black king  black king  black king 2
1  black king  black king  black king  black king  black king  black king  black king  black king 1
Solid white.svg a b c d e f g h Solid white.svg
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 KRP(a2)KBP(a3), where the Black bishop moves on the dark squares (see example position at right).[26] In this position, we can make the following a priori assumptions:

1. 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.
2. The White pawn stays on a2; capture moves are handled by the 1st rule.
3. The Black pawn stays on a3; capture moves are handled by the 1st rule.[27]

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 can produce a tablebase for seven-piece positions with blocked pawns, even though seven-piece tablebases are generally not available.[28]

Applications

Correspondence chess

Kasparov vs The World, 1999
Solid white.svg a b c d e f g h Solid white.svg
8  black king  black king  black king  black king  black king  black king  black king  black king 8
7  black king  black king  black king  black king  black king  black king  black king  black king 7
6  black king  black king  black king  black pawn  black king  white king  black king  black king 6
5  black king  black king  black king  black king  black king  black king  white pawn  black king 5
4  black king  white queen  black king  black king  black king  black king  black king  black king 4
3  black king  black king  black king  black king  black king  black king  black king  black king 3
2  black king  black king  black king  black king  black king  black king  black king  black king 2
1  black king  black king  black king  black queen  black king  black king  black king  black king 1
Solid white.svg a b c d e f g h Solid white.svg
The position after 55.Qxb4; tablebases tell us 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. A six-piece tablebase (KQQKQQ) was used to analyze the endgame that occurred in the correspondence game Kasparov versus The World.[29] Players have also used tablebases to analyze endgames from over-the-board play after the game is over.

Competitive players need to know that 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.[18] Thus a tablebase may identify a position as won or lost, when it is in fact drawn by the fifty-move rule.

Haworth has designed a tablebase that produces results consistent with the fifty-move rule. However most tablebases search for the theoretical limits of forced mate, even if it requires several hundred moves.

Computer chess

The knowledge contained in tablebases affords 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.[30] 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 draw game.[23]

However, some computer chess experts have observed practical drawbacks.[31] 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 memory to store the many thousands of positions. The Nalimov tablebases, which use special-purpose compression technique, require 7.05 GB of hard disk space for all five-piece endings. The six-piece endings require approximately 1.2 terabytes.[32][33] Nalimov seven-piece tablebases require more hard drive storage capacity and RAM to operate than will be practical to use for the foreseeable future. Bitbases, however, take much less space. Shredderbases, for example, used by the Shredder program, compress all three, four and five piece bases into 157 MB. This is a mere fraction of the 7.05 GB that the Nalimov tablebases require.[34]

Some computers play better overall if their memory is devoted instead to the ordinary search and evaluation function. Modern computers analyze far enough ahead conventionally to handle the elementary endgames without needing tablebases (i.e. without suffering from the horizon effect). It is only for more sophisticated positions that the tablebase will improve significantly over the ordinary computer.

Endgame theory

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 or 67 and maximum DTM = 78.[35] (Also see pawnless chess endgame.)
  • KNNKP — Alexey Troitsky established this as a win for the knights if the pawn was blocked behind the Troitzky line. Analysis of the tablebases has clarified that even if the pawn has crossed the Troitzky line, White can sometimes win by forcing zugzwang.[36] Maximum DTC = DTM = 115 moves.
  • KNNNNKQ — The knights win in 62.5 percent of positions, with maximum DTM = 85 moves.[37][38]
  • KQRKQR — Despite the equality of material, the player to move wins in 67.74% of positions.[39] The maximum DTC is 92, and the maximum DTM is 117. In both this endgame and KQQKQQ, the first player to check usually wins.[40]
Lewis Stiller, 1991
Solid white.svg a b c d e f g h Solid white.svg
8  black king  black king  black king  black king  black king  black king  white knight  black king 8
7  black king  black king  black king  black king  black king  white king  white rook  black king 7
6  black king  black king  black knight  black king  black king  black king  black king  black king 6
5  black king  black king  black king  black king  black king  black king  black king  black king 5
4  black king  black king  black king  black king  black king  black king  black king  black king 4
3  black king  black king  black king  black king  black king  black king  black king  black king 3
2  black king  black king  black knight  black king  black king  black king  black king  black king 2
1  black king  black king  black king  black king  black king  black king  black king  black king 1
Solid white.svg a b c d e f g h Solid white.svg
White mates in 262 moves
  • KRNKNN and KRBKNN — Friedrich Amelung had analyzed these two endgames in the 1900s.[41] KRNKNN and KRBKNN are won for the strongest side in 78% and 95% of the cases, respectively.[22][42] 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 amazing 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.[43]

For some years, this position held the record for the longest computer-generated forced mate (Otto Blathy had composed a "mate in 292 moves" problem already in 1889).[44] However, in May 2006, Bourzutschky and Konoval discovered a KQNKRBN position with an astonishing DTC of 517 moves. This was more than twice as long as Stiller's maximum, and almost 200 moves beyond the previous record of a 330 DTC for a position of KQBNKQB_1001. Bourzutschky wrote, "This was a big surprise for us and is a great tribute to the complexity of chess."[45][46]

In August 2006, Bourzutschky released preliminary results from his analysis of the following seven-piece endgames: KQQPKQQ, KRRPKRR, and KBBPKNN.[24]

Solid white.svg a b c d e f g h Solid white.svg
8 a8 black king b8 black king c8 black king d8 black king e8 black king f8 black king g8 black king h8 black king 8
7 a7 black king b7 black king c7 black king d7 black king e7 white bishop f7 black king g7 black king h7 black king 7
6 a6 black king b6 black king c6 white bishop d6 black king e6 black king f6 black king g6 black king h6 black king 6
5 a5 black king b5 black king c5 white pawn d5 black king e5 black king f5 black king g5 black king h5 black king 5
4 a4 black king b4 black king c4 black king d4 black king e4 black king f4 black king g4 black king h4 black king 4
3 a3 black king b3 black king c3 black king d3 black king e3 black king f3 black king g3 black king h3 black king 3
2 a2 black king b2 black king c2 black king d2 white king e2 black king f2 black king g2 black king h2 black king 2
1 a1 black king b1 black king c1 black king d1 black king e1 black king f1 black queen g1 black king h1 black king 1
Solid white.svg a b c d e f g h Solid white.svg
Black to move wins in 154 moves

Many positions are winnable although at first sight they appear to be non-winnable. For example, this position is a win for Black in 154 moves (during which white pawn is liquidated after around 80 moves) (absolutely non-typical for this kind of endgame) (see Six-Man Endgame Server - http://www.k4it.de/index.php?topic=egtb&lang=en).[citation needed]

Endgame studies

E. Pogosyants, EG 1978
Solid white.svg a b c d e f g h Solid white.svg
8  black king  black king  black king  black king  black king  black king  black king  black king 8
7  black king  black king  black king  black king  black king  black king  black king  black king 7
6  black king  black king  black king  black king  black king  black king  black king  black rook 6
5  black king  black king  black king  white knight  black king  black king  black king  black king 5
4  black king  black king  black king  black king  black king  black king  black king  black king 4
3  black king  black king  black king  black king  black king  black king  black king  black king 3
2  black king  black king  black king  black king  black king  black king  black king  white pawn 2
1  white rook  black king  black king  black king  white king  black king  black king  black king 1
Solid white.svg a b c d e f g h Solid white.svg
White to play and win. The composer intended 1. Ne3 as a solution, but a tablebase revealed that 1. h4 also wins.
Harold van der Heijden, 2001
Solid white.svg a b c d e f g h Solid white.svg
8  black king  black king  black king  black king  black king  black king  black king  black king 8
7  black king  black king  black king  black king  black king  black king  black king  white pawn 7
6  black king  black king  black king  black king  black king  black king  black king  black king 6
5  black king  black king  black king  black king  black king  black king  black king  black king 5
4  white king  black king  black king  black king  black king  black king  black king  black king 4
3  white pawn  black king  black king  black king  black king  black king  black king  black king 3
2  black king  black king  black king  black king  black king  black king  black king  black rook 2
1  black king  black king  black king  black king  black king  black king  black king  black king 1
Solid white.svg a b c d e f g h Solid white.svg
White to play and draw

Since many composed endgame studies deal with positions that exist in tablebases, their soundness can be checked using the tablebases. Some studies have been cooked, i.e. 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.[47]

For example, Erik Pogosyants composed the study at right, with White to play and win. His intended main line was 1. Ne3 Rxh2 2. O-O-O mate! 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). Coincidentally, the tablebase does not recognize the composer's solution because it includes castling.[48]

While tablebases have cooked some studies, they have assisted in the creation of other studies. Composers can search tablebases for interesting positions, such as zugzwang, using a method called 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.[49][50][51]

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

"[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."[52]

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."[52]

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

"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?

"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."[53]

"Play chess with God"

On the Bell Labs website, Ken Thompson maintains a link to some of his tablebase data. The headline reads, "Play chess with God."[54]

Regarding Stiller's long wins, Tim Krabbé struck a similar note:

"A grandmaster wouldn't be better at these endgames than someone who had learned chess yesterday. It's a sort of chess that has nothing to do with chess, a chess that we could never have imagined without computers. The Stiller moves are awesome, almost scary, because you know they are the truth, God's Algorithm – it's like being revealed the Meaning of Life, but you don't understand one word."[22]

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.[55] 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.[56] Roycroft has used the term "oracle database" throughout his magazine, EG.[57] Nonetheless, the mainstream chess community has adopted "endgame tablebase" as the most common name.

Books

John Nunn has written three books based on detailed analysis of endgame tablebases:

  • Nunn, John (1995). Secrets of Minor-Piece Endings. Batsford. ISBN 0-8050-4228-8 
  • Nunn, John (1999). Secrets of Rook Endings (2nd ed.). Gambit Publications. ISBN 1-901983-18-8 
  • Nunn, John (2002). Secrets of Pawnless Endings (2nd ed.). Gambit Publications. ISBN 978-1-901983-65-4 

See also

Notes

  1. ^ Website of KingsRow about the creation of the eight-piece endgame tablebase
  2. ^ gothicchess.com; examples of long endings for Gothic chess
  3. ^ Ralpf Gasser (1996). "Solving nine men's morris". http://library.msri.org/books/Book29/files/gasser.pdf. 
  4. ^ Allis, Louis Victor (1994) (PDF). Searching for Solutions in Games and Artificial Intelligence. Department of Computer Science, University of Limburg. p. 8. ISBN 90-900748-8-0. http://fragrieu.free.fr/SearchingForSolutions.pdf. Retrieved 2009-05-03. 
  5. ^ Levy & Newborn, pp. 25-38
  6. ^ Levy & Newborn, pp. 129-30
  7. ^ Stiller, p. 84
  8. ^ R. E. Bellman (February 1965). "On the application of dynamic programming to the determination of optimal play in chess and checkers". Proceedings of the National Academy of Sciences of the United States of America 53 (2): 244–246. doi:10.1073/pnas.53.2.244. 
  9. ^ T. Ströhlein (1970). Untersuchungen über kombinatorische Spiele [Translation: Investigations on Combinatorial Games] Ph.D. Thesis. Technical University of Munich. 
  10. ^ See also "The 'End-Papers'" (PDF). EG (52): 25. July 1978. http://www.gadycosteff.com/eg/eg52.pdf. Retrieved 2007-04-01. "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.)" 
  11. ^ T. Niblett; A. J. Roycroft (June 1979). "How the GBR Class 0103 Data Base was Created" (PDF). EG (56): 145–46. http://www.gadycosteff.com/eg/eg56.pdf. Retrieved 2007-05-04. 
  12. ^ Levy & Newborn, p. 144
  13. ^ See also:
  14. ^ Stiller, pp. 68-113
  15. ^ See also: L. B. Stiller (1991). "Some Results from a Massively Parallel Retrograde Analysis". ICCA Journal. 
  16. ^ J. Hurd; G. McC. Haworth.. "Chess Endgame Data Assurance." (PDF). http://www.gilith.com/research/papers/chess.pdf. Retrieved 2008-12-13. 
  17. ^ Gary M. Danelishen (25 February 2008). The Final Theory of Chess. Open Wiki of Chess Openings. p. 6. ISBN 978-0-9815677-0-9. http://books.google.com/books?id=FeaDBUAO6JcC&pg=PA6. Retrieved 10 August 2011. 
  18. ^ a b G. McC. Haworth (March 2000). "Strategies for Constrained Optimisation" (PDF). ICGA Journal. Archived from the original on 2007-09-29. http://web.archive.org/web/20070929091551/http://www.is.reading.ac.uk/common/publications/02124.pdf. Retrieved 2009-06-20. 
  19. ^ Levy & Newborn, pp. 140-43
  20. ^ See also Stiller 1995:93-98.
  21. ^ Muller, H.G.. "EGTB generator". http://home.hccnet.nl/h.g.muller/EGTB.html. Retrieved 2009-05-03. "Pawns would break the front-back and diagonal symmetries, because they care about direction in their moves." 
  22. ^ a b c Tim Krabbé.. "Stiller's Monsters or Perfection in Chess.". http://www.xs4all.nl/~timkr/chess/perfect.htm. Retrieved 2007-04-01. 
  23. ^ a b Aaron Tay. "A guide to Endgames Tablebase". http://horizonchess.com/FAQ/Winboard/egtb.html. Retrieved 2009-05-02. 
  24. ^ a b M. Bourzutschky (2006-08-27). "7-man endgames with pawns". CCRL Discussion Board. http://kirill-kryukov.com/chess/discussion-board/viewtopic.php?t=805. Retrieved 2010-06-14. 
  25. ^ Stiller, pp. 99-100
  26. ^ H. J. Herik; I. S. Herschberg, N. Naka (1987). "A Six-Men-Endgame Database: KRP(a2)KbBP(a3)". ICGA Journal 10 (4): 163–180. 
  27. ^ E. Bleicher (2004-08-26.). "Building Chess Endgame Databases for Positions with many Pieces using A-priori Information." (PDF). http://www.knowledge4it.de/download/FreezerAugust2004.pdf. Retrieved 2007-04-01. 
  28. ^ K. Müller (May 2005). "Freeze!" (PDF). Endgame Corner. ChessCafe.com. http://www.chesscafe.com/text/mueller50.pdf. Retrieved 2007-04-01. 
  29. ^ E. V. Nalimov; C. Wirth, G. McC. Haworth (1999). "KQQKQQ and the Kasparov–World Game". ICGA Journal 22 (4): 195–212. 
  30. ^ Steven A. Lopez (2006-11-11). "Shredderbases". ChessBase.com. http://www.chessbase.com/newsdetail.asp?newsid=3314. Retrieved 2007-04-01. 
  31. ^ A. Tay (2002-06-30). "Can use of endgame tablebases weaken play?". http://horizonchess.com/FAQ/Winboard/weaktablebase.html. Retrieved 2007-04-01. 
  32. ^ David Kirkby (2007-03-12). "Endgame Tablebases". ChessDB Tutorial. http://chessdb.sourceforge.net/tutorial/t_tool_egtb.php. Retrieved 2007-04-01. 
  33. ^ Stefan Meyer-Kahlen. "Shredder Computer Chess Download - Endgame Database Info". http://www.shredderchess.com/online-chess/online-databases/endgame-database-info.html. Retrieved 2008-08-17. 
  34. ^ "Shredder Computer Chess Download - Shredderbases". http://www.shredderchess.com/chess-info/features/shredderbases.html. Retrieved 2008-08-09. 
  35. ^ A. J. Roycroft (1984). "Two Bishops Against Knight" (PDF). EG (75): 249. http://www.gadycosteff.com/eg/eg75.pdf. Retrieved 2007-05-04. 
  36. ^ D. V. Hooper (1986). "GBR Class 0002.01" (PDF). EG (83): 3. http://www.gadycosteff.com/eg/eg75.pdf. Retrieved 2007-05-04. 
  37. ^ Tim Krabbé (2005-04-12). "282. First 7-piece endgame database". Open Chess Diary. http://www.xs4all.nl/~timkr/chess2/diary_15.htm. Retrieved 2007-03-25. 
  38. ^ Emil Vlasák (2005-07-21). "News in 7 piece EGTB". http://web.quick.cz/EVCOMP/tablebase.htm#7menfirst. Retrieved 2007-03-25. 
  39. ^ G. McC. Haworth (August 2001). "Discarding Like Pieces" (PDF). Archived from the original on 2007-09-29. http://web.archive.org/web/20070929091420/http://www.is.reading.ac.uk/common/publications/02128.pdf. Retrieved 2007-04-01. 
  40. ^ Nunn, p. 379, 384
  41. ^ Stiller, p. 81
  42. ^ Tim Krabbé (2000-04-08). "60. Play chess with God". Open Chess Diary. http://www.xs4all.nl/~timkr/chess2/diary_3.htm. Retrieved 2007-05-13. 
  43. ^ Stiller, pp. 102-8
  44. ^ "Blathy". 2003-06-21. Archived from the original on 2009-10-24. http://web.archive.org/web/20091024090323/http://geocities.com/bioelectrochemistry/blathy.html. Retrieved 2007-05-04. 
  45. ^ Tim Krabbé (2006-03-31). "311. White plays and wins in 330 moves". Open Chess Diary. http://www.xs4all.nl/~timkr/chess2/diary_16.htm. Retrieved 2007-05-04. 
  46. ^ Tim Krabbé (2006-05-26). "316. A 517-move win". Open Chess Diary. http://www.xs4all.nl/~timkr/chess2/diary_16.htm. Retrieved 2007-05-04. 
  47. ^ Nunn, pp. 367-68
  48. ^ Tim Krabbé (2006-09-15). "324. A cooked, correct study". Open chess diary. http://www.xs4all.nl/~timkr/chess2/diarytxt.htm. Retrieved 2007-05-04. 
  49. ^ G. McC. Haworth; Editor: J.W.H.M. Uiterwijk (2001). "3–5 Man Mutual Zugzwangs in Chess". Proceedings of the CMG 6th Computer Olympiad Computer-Games Workshop TR CS 01-04. 
  50. ^ G. McC. Haworth (2001). "Ken Thompson's 6-man Tables". ICGA Journal. 
  51. ^ G. McC. Haworth; P. Karrer, J. A. Tamplin, and C. Wirth (2001). "3–5 Man Chess: Maximals and Mzugs". ICGA Journal 24 (4): 225–30. 
  52. ^ a b A. J. Roycroft (July 2003). "Editorial" (PDF). EG (149): 51. http://www.gadycosteff.com/eg/eg149.pdf. Retrieved 2007-05-04. 
  53. ^ M. Dvoretsky (July 2006). "Study Composing Tourney" (PDF). The Instructor. ChessCafe.com. http://www.chesscafe.com/text/dvoretsky70.pdf. Retrieved 2007-04-01. 
  54. ^ Ken Thompson (2002-08-21). "Play chess with God". http://plan9.bell-labs.com/who/ken/. Retrieved 2007-03-25. 
  55. ^ Guy Haworth (1995). "Tablebases and Tables" (PDF). EG (137): 151. http://www.gadycosteff.com/eg/eg137.pdf. Retrieved 2007-05-04. 
  56. ^ "Publications for Mr Guy Haworth". Information Systems at Reading. The University of Reading. http://centaur.reading.ac.uk/view/creators/90000763.html. Retrieved 2009-06-20. 
  57. ^ For example, in "Proposal For The Guidance Of Tourney Organisers, Composers And Judges: 0. Definitions" (PDF). EG (135): 9. http://www.gadycosteff.com/eg/eg135.pdf. Retrieved 2007-04-01. "odb — otherwise known as total information database or tablebase." 

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • tablebase — noun A computerized database that contains precalculated exhaustive analysis of a chess endgame position, typically used by a computer chess engine during play …   Wiktionary

  • Chess endgame — In chess and chess like games, the endgame (or end game or ending) is the stage of the game when there are few pieces left on the board. The line between middlegame and endgame is often not clear, and may occur gradually or with the quick… …   Wikipedia

  • Chess endgame literature — refers to books and magazines about chess endgames. A bibliography of endgame books is below. Many chess writers have contributed to the theory of endgames over the centuries, including Ruy López de Segura, François André Philidor, Josef Kling… …   Wikipedia

  • Two knights endgame — Chess diagram|= tright| = | | | | | | | |= | | | | | | | |= |xo| | | | |xo| |= | |xo| | |xo| | |= xo| | |xo|xo| | |xo|= | | | | | | | |= | | | | | | | |= | | | | | | | |= Troitzky line, two white knights can checkmate if the black pawn is blocked …   Wikipedia

  • Computer chess — 1990s Pressure sensory chess computer with LCD screen Chess+ For the iPad …   Wikipedia

  • Glossary of chess — See also: Outline of chess and Glossary of chess problems This page explains commonly used terms in chess in alphabetical order. Some of these have their own pages, like fork and pin. For a list of unorthodox chess pieces, see fairy chess… …   Wikipedia

  • List of chess terms — This page explains commonly used terms in chess in alphabetical order. Some of these have their own pages, like fork and pin. For a list of unorthodox chess pieces, see fairy chess piece; for a list of terms specific to chess problems, see chess… …   Wikipedia

  • Kasparov versus The World — was a game of chess played in 1999 over the Internet. Conducting the white pieces, Garry Kasparov faced the rest of the world in consultation, with the World Team moves to be decided by plurality vote. Over 50,000 individuals from more than 75… …   Wikipedia

  • Outline of chess — A game of chess, in the starting position. See also: Glossary of chess and Index of chess articles The following outline is provided as an overview of and topical guide to chess: Chess – two player board game played on a chessboard, a square …   Wikipedia

  • Fortress (chess) — This article is about a defensive technique in chess. For the chess variant, see Fortress chess. In chess, the fortress is an endgame drawing technique in which the side behind in material sets up a zone of protection around their king that… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”