Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
99 | pmbaty | 1 | /* |
2 | Texel - A UCI chess engine. |
||
3 | Copyright (C) 2014 Peter Ă–sterlund, peterosterlund2@gmail.com |
||
4 | |||
5 | This program is free software: you can redistribute it and/or modify |
||
6 | it under the terms of the GNU General Public License as published by |
||
7 | the Free Software Foundation, either version 3 of the License, or |
||
8 | (at your option) any later version. |
||
9 | |||
10 | This program is distributed in the hope that it will be useful, |
||
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
||
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
||
13 | GNU General Public License for more details. |
||
14 | |||
15 | You should have received a copy of the GNU General Public License |
||
16 | along with this program. If not, see <http://www.gnu.org/licenses/>. |
||
17 | */ |
||
18 | |||
19 | /* |
||
20 | * tbprobe.hpp |
||
21 | * |
||
22 | * Created on: Jun 2, 2014 |
||
23 | * Author: petero |
||
24 | */ |
||
25 | |||
26 | #ifndef TBPROBE_HPP_ |
||
27 | #define TBPROBE_HPP_ |
||
28 | |||
29 | #include "transpositionTable.hpp" |
||
30 | #include "moveGen.hpp" |
||
31 | |||
32 | #include <string> |
||
33 | |||
34 | |||
35 | class Position; |
||
36 | |||
37 | /** |
||
38 | * Handle tablebase probing. |
||
39 | */ |
||
40 | class TBProbe { |
||
41 | friend class TBTest; |
||
42 | public: |
||
43 | /** Initialize tablebases. */ |
||
44 | static void initialize(const std::string& gtbPath, int cacheMB, |
||
45 | const std::string& rtbPath); |
||
46 | |||
47 | /** Return true if GTB or RTB probing is enabled. */ |
||
48 | static bool tbEnabled(); |
||
49 | |||
50 | /** Probe one or more tablebases to get an exact score or a usable bound. |
||
51 | * @param pos The position to probe. The position can be temporarily modified |
||
52 | * but is restored to original state before function returns. |
||
53 | */ |
||
54 | static bool tbProbe(Position& pos, int ply, int alpha, int beta, |
||
55 | TranspositionTable::TTEntry& ent); |
||
56 | |||
57 | /** If some TB files are missing, it may be necessary to only search a subset |
||
58 | * of the root moves in order to make progress. This might happen for example |
||
59 | * in KPK if the KQK table is missing and search is not able to see the mate |
||
60 | * after promoting the pawn. |
||
61 | * @param pos The root position. |
||
62 | * @param legalMoves The set of legal root moves. |
||
63 | * @param movesToSearch The moves to search. |
||
64 | * @return True if a subset should be searched, false to search all moves. |
||
65 | */ |
||
66 | static bool getSearchMoves(Position& pos, const MoveList& legalMoves, |
||
67 | std::vector<Move>& movesToSearch); |
||
68 | |||
69 | /** Enhance PV with DTM information from gaviota tablebases. */ |
||
70 | static void extendPV(const Position& rootPos, std::vector<Move>& pv); |
||
71 | |||
72 | /** Probe gaviota DTM tablebases. |
||
73 | * @param pos The position to probe. The position can be temporarily modified |
||
74 | * but is restored to original state before function returns. |
||
75 | * @param ply The ply value used to adjust mate scores. |
||
76 | * @param score The tablebase score. Only modified for tablebase hits. |
||
77 | * @return True if pos was found in the tablebases. |
||
78 | */ |
||
79 | static bool gtbProbeDTM(Position& pos, int ply, int& score); |
||
80 | |||
81 | /** |
||
82 | * Probe gaviota WDL tablebases. |
||
83 | * @param pos The position to probe. The position can be temporarily modified |
||
84 | * but is restored to original state before function returns. |
||
85 | * @param ply The ply value used to adjust mate scores. |
||
86 | * @param score The tablebase score. Only modified for tablebase hits. |
||
87 | * The returned score is either 0 or a mate bound. |
||
88 | */ |
||
89 | static bool gtbProbeWDL(Position& pos, int ply, int& score); |
||
90 | |||
91 | /** |
||
92 | * Probe syzygy DTZ tablebases. |
||
93 | * @param pos The position to probe. The position can be temporarily modified |
||
94 | * but is restored to original state before function returns. |
||
95 | * @param ply The ply value used to adjust mate scores. |
||
96 | * @param score The tablebase score. Only modified for tablebase hits. |
||
97 | * The returned score is either 0 or a mate bound. The bound |
||
98 | * is computed by considering the DTZ value and the maximum number |
||
99 | * of zeroing moves before mate. |
||
100 | */ |
||
101 | static bool rtbProbeDTZ(Position& pos, int ply, int& score); |
||
102 | |||
103 | /** |
||
104 | * Probe syzygy WDL tablebases. |
||
105 | * @param pos The position to probe. The position can be temporarily modified |
||
106 | * but is restored to original state before function returns. |
||
107 | * @param ply The ply value used to adjust mate scores. |
||
108 | * @param score The tablebase score. Only modified for tablebase hits. |
||
109 | * The returned score is either 0 or a mate bound. |
||
110 | */ |
||
111 | static bool rtbProbeWDL(Position& pos, int ply, int& score); |
||
112 | |||
113 | private: |
||
114 | /** Initialize */ |
||
115 | static void gtbInitialize(const std::string& path, int cacheMB, int wdlFraction); |
||
116 | |||
117 | static void initWDLBounds(); |
||
118 | static int getMaxDTZ(int matId); |
||
119 | static int getMaxSubMate(const Position& pos); |
||
120 | static int getMaxSubMate(std::vector<int>& pieces, int pawnMoves); |
||
121 | static void initMaxDTM(); |
||
122 | static void initMaxDTZ(); |
||
123 | |||
124 | struct GtbProbeData { |
||
125 | unsigned int stm, epsq, castles; |
||
126 | static const int MAXLEN = 17; |
||
127 | unsigned int wSq[MAXLEN]; |
||
128 | unsigned int bSq[MAXLEN]; |
||
129 | unsigned char wP[MAXLEN]; |
||
130 | unsigned char bP[MAXLEN]; |
||
131 | int materialId; |
||
132 | }; |
||
133 | |||
134 | /** Convert position to GTB probe format. */ |
||
135 | static void getGTBProbeData(const Position& pos, GtbProbeData& gtbData); |
||
136 | |||
137 | static bool gtbProbeDTM(const GtbProbeData& gtbData, int ply, int& score); |
||
138 | |||
139 | static bool gtbProbeWDL(const GtbProbeData& gtbData, int ply, int& score); |
||
140 | }; |
||
141 | |||
142 | |||
143 | #endif /* TBPROBE_HPP_ */ |