Rev 108 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 33 | pmbaty | 1 | #include "chess.h" |
| 2 | #include "data.h" |
||
| 154 | pmbaty | 3 | #if defined(SYZYGY) |
| 4 | # include "tbprobe.h" |
||
| 5 | #endif |
||
| 6 | /* last modified 08/03/16 */ |
||
| 33 | pmbaty | 7 | /* |
| 8 | ******************************************************************************* |
||
| 9 | * * |
||
| 10 | * Search() is the recursive routine used to implement the alpha/beta * |
||
| 11 | * negamax search (similar to minimax but simpler to code.) Search() is * |
||
| 12 | * called whenever there is "depth" remaining so that all moves are subject * |
||
| 13 | * to searching. Search() recursively calls itself so long as there is at * |
||
| 14 | * least one ply of depth left, otherwise it calls Quiesce() instead. * |
||
| 15 | * * |
||
| 16 | ******************************************************************************* |
||
| 17 | */ |
||
| 108 | pmbaty | 18 | int Search(TREE * RESTRICT tree, int ply, int depth, int wtm, int alpha, |
| 19 | int beta, int in_check, int do_null) { |
||
| 20 | int repeat = 0, value = 0, pv_node = alpha != beta - 1, n_depth; |
||
| 21 | int searched[256]; |
||
| 33 | pmbaty | 22 | |
| 23 | /* |
||
| 24 | ************************************************************ |
||
| 25 | * * |
||
| 108 | pmbaty | 26 | * Timeout. Check to see if we have searched enough nodes * |
| 33 | pmbaty | 27 | * that it is time to peek at how much time has been used, * |
| 28 | * or if is time to check for operator keyboard input. * |
||
| 29 | * This is usually enough nodes to force a time/input * |
||
| 30 | * check about once per second, except when the target * |
||
| 31 | * time per move is very small, in which case we try to * |
||
| 32 | * check the time more frequently. * |
||
| 33 | * * |
||
| 34 | * Note that we check input or time-out in thread 0. This * |
||
| 35 | * makes the code simpler and eliminates some problematic * |
||
| 36 | * race conditions. * |
||
| 37 | * * |
||
| 38 | ************************************************************ |
||
| 39 | */ |
||
| 40 | #if defined(NODES) |
||
| 108 | pmbaty | 41 | if (search_nodes && --temp_search_nodes <= 0) { |
| 33 | pmbaty | 42 | abort_search = 1; |
| 43 | return 0; |
||
| 44 | } |
||
| 45 | #endif |
||
| 46 | if (tree->thread_id == 0) { |
||
| 47 | if (--next_time_check <= 0) { |
||
| 48 | next_time_check = nodes_between_time_checks; |
||
| 49 | if (TimeCheck(tree, 1)) { |
||
| 50 | abort_search = 1; |
||
| 51 | return 0; |
||
| 52 | } |
||
| 53 | if (CheckInput()) { |
||
| 54 | Interrupt(ply); |
||
| 55 | if (abort_search) |
||
| 56 | return 0; |
||
| 57 | } |
||
| 58 | } |
||
| 59 | } |
||
| 60 | if (ply >= MAXPLY - 1) |
||
| 61 | return beta; |
||
| 62 | /* |
||
| 63 | ************************************************************ |
||
| 64 | * * |
||
| 108 | pmbaty | 65 | * Draws. Check for draw by repetition, which includes * |
| 33 | pmbaty | 66 | * 50 move draws also. This is the quickest way to get * |
| 67 | * out of further searching, with minimal effort. This * |
||
| 108 | pmbaty | 68 | * and the next four steps are skipped for moves at the * |
| 33 | pmbaty | 69 | * root (ply = 1). * |
| 70 | * * |
||
| 71 | ************************************************************ |
||
| 72 | */ |
||
| 73 | if (ply > 1) { |
||
| 74 | if ((repeat = Repeat(tree, ply))) { |
||
| 154 | pmbaty | 75 | if (repeat == 2 || !in_check) { |
| 108 | pmbaty | 76 | value = DrawScore(wtm); |
| 77 | if (value < beta) |
||
| 154 | pmbaty | 78 | SavePV(tree, ply, repeat); |
| 33 | pmbaty | 79 | #if defined(TRACE) |
| 108 | pmbaty | 80 | if (ply <= trace_level) |
| 154 | pmbaty | 81 | printf("draw by %s detected, ply=%d.\n", |
| 82 | (repeat == 3) ? "50-move" : "repetition", ply); |
||
| 33 | pmbaty | 83 | #endif |
| 108 | pmbaty | 84 | return value; |
| 85 | } |
||
| 33 | pmbaty | 86 | } |
| 87 | /* |
||
| 88 | ************************************************************ |
||
| 89 | * * |
||
| 108 | pmbaty | 90 | * Mate distance pruning. If we have found a mate, we can * |
| 91 | * stop if we are too deep to find a shorter mate. This * |
||
| 92 | * only affects the size of the tree in positions where * |
||
| 93 | * there are forced mates. It does not change the outcome * |
||
| 94 | * of the search at all, just the time it takes. * |
||
| 95 | * * |
||
| 96 | ************************************************************ |
||
| 97 | */ |
||
| 98 | alpha = Max(alpha, -MATE + ply - 1); |
||
| 99 | beta = Min(beta, MATE - ply); |
||
| 100 | if (alpha >= beta) |
||
| 101 | return alpha; |
||
| 102 | /* |
||
| 103 | ************************************************************ |
||
| 104 | * * |
||
| 105 | * Trans/Ref. Check the transposition/refutation (hash) * |
||
| 33 | pmbaty | 106 | * table to see if we have searched this position * |
| 107 | * previously and still have the results available. We * |
||
| 108 | * might get a real score, or a bound, or perhaps only a * |
||
| 109 | * good move to try first. The possible results are: * |
||
| 110 | * * |
||
| 108 | pmbaty | 111 | * 1. HashProbe() returns "HASH_HIT". This terminates the * |
| 112 | * search instantly and we simply return the value found * |
||
| 113 | * in the hash table. This value is simply the value we * |
||
| 114 | * found when we did a real search in this position * |
||
| 115 | * previously, and ProbeTransRef() verifies that the value * |
||
| 116 | * is useful based on draft and current bounds. * |
||
| 33 | pmbaty | 117 | * * |
| 118 | * 2. HashProbe() returns "AVOID_NULL_MOVE" which means * |
||
| 119 | * the hashed score/bound was no good, but it indicated * |
||
| 120 | * that trying a null-move in this position would be a * |
||
| 121 | * waste of time since it will likely fail low, not high. * |
||
| 122 | * * |
||
| 108 | pmbaty | 123 | * 3. HashProbe() returns "HASH_MISS" when forces us to do * |
| 124 | * a normal search to resolve this node. * |
||
| 33 | pmbaty | 125 | * * |
| 126 | ************************************************************ |
||
| 127 | */ |
||
| 108 | pmbaty | 128 | switch (HashProbe(tree, ply, depth, wtm, alpha, beta, &value)) { |
| 33 | pmbaty | 129 | case HASH_HIT: |
| 130 | return value; |
||
| 131 | case AVOID_NULL_MOVE: |
||
| 132 | do_null = 0; |
||
| 133 | case HASH_MISS: |
||
| 134 | break; |
||
| 135 | } |
||
| 136 | /* |
||
| 137 | ************************************************************ |
||
| 138 | * * |
||
| 108 | pmbaty | 139 | * EGTBs. Now it's time to try a probe into the endgame * |
| 33 | pmbaty | 140 | * tablebase files. This is done if we notice that there * |
| 154 | pmbaty | 141 | * are 6 or fewer pieces left on the board AND the 50 move * |
| 142 | * counter is zero which enables probing the WDL EGTBs * |
||
| 143 | * correctly. Probing after a capture won't work as it is * |
||
| 144 | * possible that there is a necessary pawn push here and * |
||
| 145 | * there to reset the 50 move counter, otherwise we could * |
||
| 146 | * think we were following a winning path but heading to a * |
||
| 147 | * draw. * |
||
| 148 | * * |
||
| 33 | pmbaty | 149 | * This is another way to get out of the search quickly, * |
| 150 | * but not as quickly as the previous steps since this can * |
||
| 151 | * result in an I/O operation. * |
||
| 152 | * * |
||
| 153 | * Note that in "swindle mode" this can be turned off by * |
||
| 154 | * Iterate() setting "EGTB_use = 0" so that we won't probe * |
||
| 155 | * the EGTBs since we are searching only the root moves * |
||
| 156 | * that lead to a draw and we want to play the move that * |
||
| 157 | * makes the draw more difficult to reach by the opponent * |
||
| 158 | * to give him a chance to make a mistake. * |
||
| 159 | * * |
||
| 160 | * Another special case is that we slightly fudge the * |
||
| 154 | pmbaty | 161 | * score for draws. The scores are -0.03 for a "blessed * |
| 162 | * loss", 0.0 for a pure draw, and +0.03 for a "cursed * |
||
| 163 | * win". These are then modified by adding 0.01 if the * |
||
| 164 | * side on move is ahead in material, and subtracting 0.01 * |
||
| 165 | * if the side on move is behind material. This creates * |
||
| 166 | * the following inequality: * |
||
| 33 | pmbaty | 167 | * * |
| 154 | pmbaty | 168 | * BL- < BL= < BL+ < D- < D= < D+ < CW- < CW= <CW+ * |
| 169 | * * |
||
| 170 | * Where BL=blessed loss, D = draw, and CW = cursed win, * |
||
| 171 | * and - means behind in material, = means equal material, * |
||
| 172 | * and + means ahead in material. * |
||
| 173 | * * |
||
| 33 | pmbaty | 174 | ************************************************************ |
| 175 | */ |
||
| 154 | pmbaty | 176 | #if defined(SYZYGY) |
| 108 | pmbaty | 177 | if (depth > EGTB_depth && TotalAllPieces <= EGTB_use && |
| 154 | pmbaty | 178 | !Castle(ply, white) && !Castle(ply, black) && Reversible(ply) == 0) { |
| 179 | int tb_result; |
||
| 33 | pmbaty | 180 | |
| 181 | tree->egtb_probes++; |
||
| 154 | pmbaty | 182 | tb_result = |
| 183 | tb_probe_wdl(Occupied(white), Occupied(black), |
||
| 184 | Kings(white) | Kings(black), Queens(white) | Queens(black), |
||
| 185 | Rooks(white) | Rooks(black), Bishops(white) | Bishops(black), |
||
| 186 | Knights(white) | Knights(black), Pawns(white) | Pawns(black), |
||
| 187 | Reversible(ply), 0, EnPassant(ply), wtm, HashKey); |
||
| 188 | if (tb_result != TB_RESULT_FAILED) { |
||
| 108 | pmbaty | 189 | tree->egtb_hits++; |
| 154 | pmbaty | 190 | switch (tb_result) { |
| 191 | case TB_LOSS: |
||
| 192 | alpha = -TBWIN; |
||
| 193 | break; |
||
| 194 | case TB_BLESSED_LOSS: |
||
| 195 | alpha = -3; |
||
| 196 | break; |
||
| 197 | case TB_DRAW: |
||
| 198 | alpha = 0; |
||
| 199 | break; |
||
| 200 | case TB_CURSED_WIN: |
||
| 201 | alpha = 3; |
||
| 202 | break; |
||
| 203 | case TB_WIN: |
||
| 204 | alpha = TBWIN; |
||
| 205 | break; |
||
| 206 | } |
||
| 207 | if (tb_result != TB_LOSS && tb_result != TB_WIN) { |
||
| 108 | pmbaty | 208 | if (MaterialSTM(wtm) > 0) |
| 209 | alpha += 1; |
||
| 210 | else if (MaterialSTM(wtm) < 0) |
||
| 211 | alpha -= 1; |
||
| 33 | pmbaty | 212 | } |
| 213 | if (alpha < beta) |
||
| 154 | pmbaty | 214 | SavePV(tree, ply, 4); |
| 33 | pmbaty | 215 | return alpha; |
| 216 | } |
||
| 217 | } |
||
| 218 | #endif |
||
| 219 | /* |
||
| 220 | ************************************************************ |
||
| 221 | * * |
||
| 108 | pmbaty | 222 | * Null-move. We now know there is no quick way to get * |
| 223 | * out of here, which leaves one more possibility, * |
||
| 224 | * although it does require a search, but to a reduced * |
||
| 225 | * depth. We try a null move to see if we can get a quick * |
||
| 226 | * cutoff with only a little work. This operates as * |
||
| 227 | * follows. Instead of making a legal move, the side on * |
||
| 228 | * move passes and does nothing. The resulting position * |
||
| 229 | * is searched to a shallower depth than normal (see * |
||
| 230 | * below). This will result in a cutoff if our position * |
||
| 231 | * is very good, but it produces the cutoff much quicker * |
||
| 232 | * since the search is far shallower than a normal search * |
||
| 233 | * that would also be likely to fail high. * |
||
| 33 | pmbaty | 234 | * * |
| 108 | pmbaty | 235 | * The reduction amount starts off at null_depth (normally * |
| 236 | * set to 3 but the user can change this via the crafty * |
||
| 237 | * personality command) but is then increased as follows: * |
||
| 238 | * * |
||
| 239 | * R = null_depth + depth / null_divisor * |
||
| 240 | * * |
||
| 241 | * null_divisor defaults to 6, but this can also be set * |
||
| 242 | * by the user to try more/less aggressive settings. * |
||
| 243 | * * |
||
| 33 | pmbaty | 244 | * This is skipped for any of the following reasons: * |
| 245 | * * |
||
| 108 | pmbaty | 246 | * 1. The side on move is in check. The null move * |
| 247 | * results in an illegal position. * |
||
| 248 | * 2. No more than one null move can appear in succession * |
||
| 249 | * as all this does is burn 2x plies of depth. * |
||
| 250 | * 3. The side on move has only pawns left, which makes * |
||
| 251 | * zugzwang positions more likely. * |
||
| 252 | * 4. The transposition table probe found an entry that * |
||
| 253 | * indicates that a null-move search will not fail * |
||
| 254 | * high, so we avoid the wasted effort. * |
||
| 33 | pmbaty | 255 | * * |
| 256 | ************************************************************ |
||
| 257 | */ |
||
| 108 | pmbaty | 258 | |
| 33 | pmbaty | 259 | tree->last[ply] = tree->last[ply - 1]; |
| 108 | pmbaty | 260 | n_depth = (TotalPieces(wtm, occupied) > 9 || n_root_moves > 17 || |
| 154 | pmbaty | 261 | depth > 3) ? 1 : 3; |
| 108 | pmbaty | 262 | if (do_null && !pv_node && depth > n_depth && !in_check && |
| 263 | TotalPieces(wtm, occupied)) { |
||
| 33 | pmbaty | 264 | uint64_t save_hash_key; |
| 108 | pmbaty | 265 | int R = null_depth + depth / null_divisor; |
| 33 | pmbaty | 266 | |
| 267 | tree->curmv[ply] = 0; |
||
| 268 | #if defined(TRACE) |
||
| 269 | if (ply <= trace_level) |
||
| 108 | pmbaty | 270 | Trace(tree, ply, depth, wtm, value - 1, value, "SearchNull", serial, |
| 271 | NULL_MOVE, 0); |
||
| 33 | pmbaty | 272 | #endif |
| 273 | tree->status[ply + 1] = tree->status[ply]; |
||
| 274 | Reversible(ply + 1) = 0; |
||
| 275 | save_hash_key = HashKey; |
||
| 276 | if (EnPassant(ply + 1)) { |
||
| 277 | HashEP(EnPassant(ply + 1)); |
||
| 278 | EnPassant(ply + 1) = 0; |
||
| 279 | } |
||
| 108 | pmbaty | 280 | tree->null_done[Min(R, 15)]++; |
| 281 | if (depth - R - 1 > 0) |
||
| 33 | pmbaty | 282 | value = |
| 108 | pmbaty | 283 | -Search(tree, ply + 1, depth - R - 1, Flip(wtm), -beta, -beta + 1, |
| 284 | 0, NO_NULL); |
||
| 33 | pmbaty | 285 | else |
| 108 | pmbaty | 286 | value = -Quiesce(tree, ply + 1, Flip(wtm), -beta, -beta + 1, 1); |
| 33 | pmbaty | 287 | HashKey = save_hash_key; |
| 288 | if (abort_search || tree->stop) |
||
| 289 | return 0; |
||
| 290 | if (value >= beta) { |
||
| 108 | pmbaty | 291 | HashStore(tree, ply, depth, wtm, LOWER, value, tree->hash_move[ply]); |
| 33 | pmbaty | 292 | return value; |
| 293 | } |
||
| 294 | } |
||
| 295 | /* |
||
| 296 | ************************************************************ |
||
| 297 | * * |
||
| 108 | pmbaty | 298 | * IID. This step is rarely executed. It is used when * |
| 33 | pmbaty | 299 | * there is no best move from the hash table, and this is * |
| 300 | * a PV node, since we need a good move to search first. * |
||
| 301 | * While killers moves are good, they are not quite good * |
||
| 302 | * enough. the simplest solution is to try a shallow * |
||
| 303 | * search (depth-2) to get a move. note that when we call * |
||
| 304 | * Search() with depth-2, it, too, will not have a hash * |
||
| 305 | * move, and will therefore recursively continue this * |
||
| 306 | * process, hence the name "internal iterative deepening." * |
||
| 307 | * * |
||
| 308 | ************************************************************ |
||
| 309 | */ |
||
| 108 | pmbaty | 310 | tree->next_status[ply].phase = HASH; |
| 311 | if (!tree->hash_move[ply] && depth >= 6 && do_null && ply > 1 && pv_node) { |
||
| 312 | tree->curmv[ply] = 0; |
||
| 313 | if (depth - 2 > 0) |
||
| 314 | value = |
||
| 315 | Search(tree, ply, depth - 2, wtm, alpha, beta, in_check, DO_NULL); |
||
| 316 | else |
||
| 317 | value = Quiesce(tree, ply, wtm, alpha, beta, 1); |
||
| 318 | if (abort_search || tree->stop) |
||
| 319 | return 0; |
||
| 320 | if (value > alpha) { |
||
| 321 | if (value < beta) { |
||
| 322 | if ((int) tree->pv[ply - 1].pathl > ply) |
||
| 323 | tree->hash_move[ply] = tree->pv[ply - 1].path[ply]; |
||
| 324 | } else |
||
| 325 | tree->hash_move[ply] = tree->curmv[ply]; |
||
| 326 | tree->last[ply] = tree->last[ply - 1]; |
||
| 327 | tree->next_status[ply].phase = HASH; |
||
| 33 | pmbaty | 328 | } |
| 329 | } |
||
| 330 | } |
||
| 108 | pmbaty | 331 | /* |
| 33 | pmbaty | 332 | ************************************************************ |
| 333 | * * |
||
| 108 | pmbaty | 334 | * Search moves. Now we call SearchMoveList() to interate * |
| 335 | * through the move list and search each new position. * |
||
| 336 | * Note that this is done in a separate procedure because * |
||
| 337 | * this is also the code that is used to do the parallel * |
||
| 338 | * search. * |
||
| 339 | * * |
||
| 340 | ************************************************************ |
||
| 341 | */ |
||
| 342 | searched[0] = 0; |
||
| 343 | value = |
||
| 344 | SearchMoveList(tree, ply, depth, wtm, alpha, beta, searched, in_check, |
||
| 345 | repeat, serial); |
||
| 346 | return value; |
||
| 347 | } |
||
| 348 | |||
| 154 | pmbaty | 349 | /* last modified 08/03/16 */ |
| 108 | pmbaty | 350 | /* |
| 351 | ******************************************************************************* |
||
| 352 | * * |
||
| 353 | * SearchMoveList() is the recursive routine used to implement the main * |
||
| 354 | * search loop. This code is responsible for iterating through the move * |
||
| 355 | * list until it encounters a condition that ends the search at this ply. * |
||
| 356 | * At that point it simply returns the current negamax value to the caller * |
||
| 357 | * to handle as necessary. * |
||
| 358 | * * |
||
| 359 | * The "mode" flag indicates which of the following conditions apply here * |
||
| 360 | * which directly controls parts of the search. * |
||
| 361 | * * |
||
| 362 | * mode = serial -> this is a serial search. * |
||
| 363 | * * |
||
| 364 | * mode = parallel -> this is a parallel search, which implies that this * |
||
| 365 | * is a partial search which means we do NOT want to * |
||
| 366 | * do any trans/ref updating and we also need to take * |
||
| 367 | * care about locking things that are being updated * |
||
| 368 | * by more than one thread in parallel. * |
||
| 369 | * * |
||
| 370 | * When mode = parallel, this code performs the same function as the old * |
||
| 371 | * SearchParallel() code, except that it is the main search loop for the * |
||
| 372 | * program, there is no longer any duplicated code. This is called by the * |
||
| 373 | * normal Search() function and by ThreadWait() where idle processes wait * |
||
| 374 | * for work and then call this procedure to search a subset of the moves at * |
||
| 375 | * this ply (in parallel with other threads). * |
||
| 376 | * * |
||
| 377 | ******************************************************************************* |
||
| 378 | */ |
||
| 379 | int SearchMoveList(TREE * RESTRICT tree, int ply, int depth, int wtm, |
||
| 380 | int alpha, int beta, int searched[], int in_check, int repeat, int mode) { |
||
| 381 | TREE *current; |
||
| 382 | int extend, reduce, check, original_alpha = alpha, t_beta; |
||
| 154 | pmbaty | 383 | int i, j, value = 0, pv_node = alpha != beta - 1, search_result, order; |
| 384 | int moves_done = 0, bestmove, type; |
||
| 108 | pmbaty | 385 | |
| 386 | /* |
||
| 387 | ************************************************************ |
||
| 388 | * * |
||
| 389 | * Basic initialization before we begin the loop through * |
||
| 390 | * the move list. If this is a parallel search, we have * |
||
| 391 | * already searched one move, so we set t_beta to alpha+1 * |
||
| 392 | * to set up for a normal PVS search (for moves 2-n) * |
||
| 393 | * instead of using alpha,beta for the first move as we do * |
||
| 394 | * in a normal search. Also, if this is a serial search, * |
||
| 395 | * we are fixing to search the first move so we set the * |
||
| 396 | * searched move counter to zero, where in a parallel * |
||
| 397 | * search this has already been done and we leave it alone * |
||
| 398 | * here. * |
||
| 399 | * * |
||
| 400 | * We also set <current> to tree for a serial search, and * |
||
| 401 | * to tree->parent for a parallel search since we need to * |
||
| 402 | * share the move list at split nodes. * |
||
| 403 | * * |
||
| 404 | ************************************************************ |
||
| 405 | */ |
||
| 406 | tree->next_status[ply].phase = HASH; |
||
| 407 | if (mode == parallel) { |
||
| 408 | current = tree->parent; |
||
| 409 | t_beta = alpha + 1; |
||
| 410 | } else { |
||
| 411 | current = tree; |
||
| 412 | t_beta = beta; |
||
| 413 | } |
||
| 414 | /* |
||
| 415 | ************************************************************ |
||
| 416 | * * |
||
| 417 | * Iterate. Now iterate through the move list and search * |
||
| 33 | pmbaty | 418 | * the resulting positions. Note that Search() culls any * |
| 419 | * move that is not legal by using Check(). The special * |
||
| 420 | * case is that we must find one legal move to search to * |
||
| 421 | * confirm that it's not a mate or draw. * |
||
| 422 | * * |
||
| 108 | pmbaty | 423 | * We call NextMove() which will generate moves in the * |
| 424 | * normal way (captures, killers, etc) or it will use the * |
||
| 425 | * GenerateEvasions() generator if we are in check. For * |
||
| 426 | * the special case of ply=1, we use NextRootMove() since * |
||
| 427 | * the ply=1 move list has been generated and the order is * |
||
| 428 | * updated as each search iteration is executed. * |
||
| 33 | pmbaty | 429 | * * |
| 430 | ************************************************************ |
||
| 431 | */ |
||
| 432 | while (1) { |
||
| 108 | pmbaty | 433 | if (ply == 1 && moves_done == 1 && alpha == original_alpha && |
| 434 | mode == serial) |
||
| 33 | pmbaty | 435 | break; |
| 108 | pmbaty | 436 | if (mode == parallel) |
| 437 | Lock(current->lock); |
||
| 154 | pmbaty | 438 | order = (ply > 1) ? NextMove(current, ply, depth, wtm, in_check) |
| 439 | : NextRootMove(current, tree, wtm); |
||
| 108 | pmbaty | 440 | if (mode == parallel) { |
| 154 | pmbaty | 441 | tree->curmv[ply] = current->curmv[ply]; |
| 108 | pmbaty | 442 | Unlock(current->lock); |
| 443 | } |
||
| 444 | if (!order) |
||
| 33 | pmbaty | 445 | break; |
| 446 | #if defined(TRACE) |
||
| 447 | if (ply <= trace_level) |
||
| 154 | pmbaty | 448 | Trace(tree, ply, depth, wtm, alpha, beta, "SearchMoveList", mode, |
| 449 | current->phase[ply], order); |
||
| 33 | pmbaty | 450 | #endif |
| 108 | pmbaty | 451 | MakeMove(tree, ply, wtm, tree->curmv[ply]); |
| 33 | pmbaty | 452 | tree->nodes_searched++; |
| 154 | pmbaty | 453 | search_result = ILLEGAL; |
| 108 | pmbaty | 454 | if (in_check || !Check(wtm)) |
| 33 | pmbaty | 455 | do { |
| 108 | pmbaty | 456 | searched[0]++; |
| 457 | moves_done++; |
||
| 154 | pmbaty | 458 | search_result = LEGAL; |
| 108 | pmbaty | 459 | searched[searched[0]] = tree->curmv[ply]; |
| 33 | pmbaty | 460 | /* |
| 461 | ************************************************************ |
||
| 462 | * * |
||
| 108 | pmbaty | 463 | * Check. If the move to be made checks the opponent, * |
| 33 | pmbaty | 464 | * then we need to remember that he's in check and also * |
| 108 | pmbaty | 465 | * extend the depth by one ply for him to get out. * |
| 33 | pmbaty | 466 | * * |
| 467 | * We do not extend unsafe checking moves (as indicated by * |
||
| 108 | pmbaty | 468 | * the SEE algorithm), since these are usually a waste of * |
| 469 | * time and simply blow up the tree search space. * |
||
| 33 | pmbaty | 470 | * * |
| 108 | pmbaty | 471 | * Note that extending here disables any potential foward * |
| 472 | * pruning or reductions for this move. * |
||
| 473 | * * |
||
| 33 | pmbaty | 474 | ************************************************************ |
| 475 | */ |
||
| 476 | extend = 0; |
||
| 477 | reduce = 0; |
||
| 108 | pmbaty | 478 | if (Check(Flip(wtm))) { |
| 479 | check = 1; |
||
| 480 | if (SEEO(tree, wtm, |
||
| 481 | tree->curmv[ply]) - pcval[Captured(tree->curmv[ply])] <= |
||
| 482 | 0) { |
||
| 33 | pmbaty | 483 | extend = check_depth; |
| 484 | tree->extensions_done++; |
||
| 485 | } |
||
| 486 | } else |
||
| 108 | pmbaty | 487 | check = 0; |
| 33 | pmbaty | 488 | /* |
| 489 | ************************************************************ |
||
| 490 | * * |
||
| 108 | pmbaty | 491 | * Futility. First attempt at forward pruning based on * |
| 492 | * the futility idea. * |
||
| 33 | pmbaty | 493 | * * |
| 494 | * We have an array of pruning margin values that are * |
||
| 495 | * indexed by depth (remaining plies left until we drop * |
||
| 496 | * into the quiescence search) and which increase with * |
||
| 497 | * depth since more depth means a greater chance of * |
||
| 498 | * bringing the score back up to alpha or beyond. If the * |
||
| 499 | * current material + the bonus is less than alpha, we * |
||
| 500 | * simply avoid searching this move at all, and skip to * |
||
| 501 | * the next move without expending any more effort. Note * |
||
| 502 | * that this is classic forward-pruning and can certainly * |
||
| 503 | * introduce errors into the search. However, cluster * |
||
| 504 | * testing has shown that this improves play in real * |
||
| 505 | * games. The current implementation only prunes in the * |
||
| 108 | pmbaty | 506 | * last 6 plies before quiescence, although this can be * |
| 33 | pmbaty | 507 | * tuned with the "eval" command changing the "pruning * |
| 108 | pmbaty | 508 | * depth" value to something other than 7 (test is for * |
| 509 | * depth < pruning depth, current value is 7 which prunes * |
||
| 510 | * in last 6 plies only). Testing shows no benefit in * |
||
| 511 | * larger values than 7, although this might change in * |
||
| 33 | pmbaty | 512 | * future versions as other things are modified. * |
| 513 | * * |
||
| 514 | * Exception: * |
||
| 515 | * * |
||
| 516 | * We do not prune if we are safely pushing a passed * |
||
| 517 | * pawn to the 6th rank, where it becomes very dangerous * |
||
| 518 | * since it can promote in two more moves. * |
||
| 519 | * * |
||
| 108 | pmbaty | 520 | * All pruning and reduction code is skipped if any of the * |
| 521 | * following are true: * |
||
| 522 | * * |
||
| 523 | * (1) side on move is in check. * |
||
| 524 | * * |
||
| 525 | * (2) move has not already been flagged for a search * |
||
| 526 | * extension. * |
||
| 527 | * * |
||
| 528 | * (3) this is not the first move at this ply. * |
||
| 529 | * * |
||
| 33 | pmbaty | 530 | ************************************************************ |
| 531 | */ |
||
| 154 | pmbaty | 532 | if (!in_check && (!extend || !pv_node) && order > 1 && |
| 108 | pmbaty | 533 | !(PawnPush(wtm, tree->curmv[ply]))) { |
| 154 | pmbaty | 534 | if (depth < FP_depth && !check && |
| 535 | MaterialSTM(wtm) + FP_margin[depth] <= alpha && !pv_node) { |
||
| 108 | pmbaty | 536 | tree->moves_fpruned++; |
| 537 | break; |
||
| 33 | pmbaty | 538 | } |
| 539 | /* |
||
| 540 | ************************************************************ |
||
| 541 | * * |
||
| 108 | pmbaty | 542 | * LMP. Final attempt at forward pruning based on the * |
| 543 | * "late move pruning" idea (a take-off on LMR). * |
||
| 33 | pmbaty | 544 | * * |
| 108 | pmbaty | 545 | * The basic idea here is that once we have searched a * |
| 546 | * significant number of moves at a ply, it becomes less * |
||
| 547 | * and less likely that any of the moves left will produce * |
||
| 548 | * a cutoff. If the move appears to be simple (not a * |
||
| 549 | * check, etc) then we simply skip it, once the move count * |
||
| 550 | * has been satisfied. At present, we only do this in the * |
||
| 154 | pmbaty | 551 | * last 16 plies although this might be changed in the * |
| 552 | * future. If you look at the LMP array after it has been * |
||
| 553 | * initialized, you will notice that it is unlikely that * |
||
| 554 | * LMP can be triggered much beyond depth 8 as you have to * |
||
| 555 | * have a BUNCH of moves to search to reach those limits. * |
||
| 33 | pmbaty | 556 | * * |
| 108 | pmbaty | 557 | ************************************************************ |
| 558 | */ |
||
| 154 | pmbaty | 559 | if (order > LMP[depth] && depth < LMP_depth && !pv_node && !check && |
| 560 | alpha > -MATE + 300 && !CaptureOrPromote(tree->curmv[ply])) { |
||
| 108 | pmbaty | 561 | tree->moves_mpruned++; |
| 562 | break; |
||
| 563 | } |
||
| 564 | /* |
||
| 565 | ************************************************************ |
||
| 33 | pmbaty | 566 | * * |
| 108 | pmbaty | 567 | * LMR. Now it's time to try to reduce the search depth * |
| 568 | * if the move appears to be "poor" because it appears * |
||
| 569 | * later in the move list. * |
||
| 33 | pmbaty | 570 | * * |
| 108 | pmbaty | 571 | * The reduction is variable and is done via a table look- * |
| 572 | * up that uses a function based on remaining depth (more * |
||
| 573 | * depth remaining, the larger the reduction) and the * |
||
| 574 | * number of moves searched (more moves searched, the * |
||
| 575 | * larger the reduction). The "shape" of this reduction * |
||
| 576 | * formula is user-settable via the "lmr" command. * |
||
| 577 | * * |
||
| 33 | pmbaty | 578 | ************************************************************ |
| 579 | */ |
||
| 108 | pmbaty | 580 | reduce = LMR[Min(depth, 31)][Min(order, 63)]; |
| 154 | pmbaty | 581 | if (reduce && (pv_node || extend)) |
| 582 | reduce--; |
||
| 108 | pmbaty | 583 | tree->LMR_done[reduce]++; |
| 33 | pmbaty | 584 | } |
| 108 | pmbaty | 585 | /* |
| 33 | pmbaty | 586 | ************************************************************ |
| 587 | * * |
||
| 108 | pmbaty | 588 | * Now do the PVS search on the current move. * |
| 33 | pmbaty | 589 | * * |
| 108 | pmbaty | 590 | * Note that we do the usual alpha/beta cutoff tests here * |
| 591 | * but we only set an indicator that is used after we have * |
||
| 592 | * called Unmake(). This cleaned up the exit from search * |
||
| 593 | * and makes it easier to understand when there is only * |
||
| 594 | * one point where this is done, without needing multiple * |
||
| 595 | * Unmake() calls when there are different exit points. * |
||
| 33 | pmbaty | 596 | * * |
| 154 | pmbaty | 597 | ************************************************************** |
| 33 | pmbaty | 598 | */ |
| 108 | pmbaty | 599 | value = |
| 600 | SearchMove(tree, ply, depth, wtm, alpha, t_beta, beta, extend, |
||
| 601 | reduce, check); |
||
| 602 | if (value > alpha) { |
||
| 154 | pmbaty | 603 | search_result = IN_WINDOW; |
| 108 | pmbaty | 604 | if (value >= beta) |
| 154 | pmbaty | 605 | search_result = FAIL_HIGH; |
| 108 | pmbaty | 606 | if (mode == parallel && ply == 1) |
| 154 | pmbaty | 607 | search_result = FAIL_HIGH; |
| 108 | pmbaty | 608 | } |
| 609 | } while (0); |
||
| 610 | UnmakeMove(tree, ply, wtm, tree->curmv[ply]); |
||
| 611 | if (abort_search || tree->stop) |
||
| 612 | break; |
||
| 33 | pmbaty | 613 | /* |
| 614 | ************************************************************ |
||
| 615 | * * |
||
| 108 | pmbaty | 616 | * Test 1. When we get here, we have made a move, * |
| 617 | * searched it (and re-searched if necessary/appropriate), * |
||
| 618 | * and the move has been unmade so that the board is in a * |
||
| 619 | * correct state. * |
||
| 33 | pmbaty | 620 | * * |
| 154 | pmbaty | 621 | * If search_result = FAIL_HIGH, the search failed high. * |
| 622 | * The first thing to handle is the case where we are at * |
||
| 108 | pmbaty | 623 | * ply=1, which is a special case. If we are going to * |
| 624 | * fail high here and terminate the search immediately, we * |
||
| 625 | * need to build the fail-high PV to back up to Iterate() * |
||
| 626 | * so it will produce the correct output and widen the * |
||
| 627 | * alpha/beta window. * |
||
| 33 | pmbaty | 628 | * * |
| 108 | pmbaty | 629 | * We then check to see if this is a parallel search. If * |
| 630 | * so then we are done here, but we need to tell all of * |
||
| 631 | * the siblings that are helping at this split point that * |
||
| 632 | * they should immediately stop searching here since we * |
||
| 633 | * don't need their results. * |
||
| 33 | pmbaty | 634 | * * |
| 108 | pmbaty | 635 | * Otherwise we update the killer moves and history * |
| 636 | * counters and store the fail-high information in the * |
||
| 637 | * trans/ref table for future use if we happen to reach * |
||
| 638 | * this position again. * |
||
| 33 | pmbaty | 639 | * * |
| 640 | ************************************************************ |
||
| 641 | */ |
||
| 154 | pmbaty | 642 | if (search_result == FAIL_HIGH) { |
| 108 | pmbaty | 643 | if (ply == 1) { |
| 644 | if (!tree->stop) { |
||
| 645 | tree->pv[1].path[1] = tree->curmv[1]; |
||
| 646 | tree->pv[1].pathl = 2; |
||
| 647 | tree->pv[1].pathh = 0; |
||
| 648 | tree->pv[1].pathd = iteration; |
||
| 649 | tree->pv[0] = tree->pv[1]; |
||
| 33 | pmbaty | 650 | } |
| 108 | pmbaty | 651 | } |
| 652 | #if (CPUS > 1) |
||
| 653 | if (mode == parallel) { |
||
| 654 | Lock(lock_smp); |
||
| 655 | Lock(tree->parent->lock); |
||
| 656 | if (!tree->stop) { |
||
| 657 | int proc; |
||
| 658 | |||
| 659 | parallel_aborts++; |
||
| 154 | pmbaty | 660 | for (proc = 0; proc < smp_max_threads; proc++) |
| 108 | pmbaty | 661 | if (tree->parent->siblings[proc] && proc != tree->thread_id) |
| 662 | ThreadStop(tree->parent->siblings[proc]); |
||
| 663 | } |
||
| 664 | Unlock(tree->parent->lock); |
||
| 665 | Unlock(lock_smp); |
||
| 154 | pmbaty | 666 | return beta; |
| 108 | pmbaty | 667 | } |
| 668 | #endif |
||
| 669 | tree->fail_highs++; |
||
| 670 | if (order == 1) |
||
| 671 | tree->fail_high_first_move++; |
||
| 672 | HashStore(tree, ply, depth, wtm, LOWER, value, tree->curmv[ply]); |
||
| 673 | History(tree, ply, depth, wtm, tree->curmv[ply], searched); |
||
| 674 | return beta; |
||
| 675 | /* |
||
| 33 | pmbaty | 676 | ************************************************************ |
| 677 | * * |
||
| 154 | pmbaty | 678 | * Test 2. If search_result = IN_WINDOW, this is a search * |
| 679 | * that improved alpha without failing high. We simply * |
||
| 680 | * update alpha and continue searching moves. * |
||
| 33 | pmbaty | 681 | * * |
| 108 | pmbaty | 682 | * Special case: If ply = 1 in a normal search, we have * |
| 683 | * a best move and score that just changed. We need to * |
||
| 684 | * update the root move list by adding the PV and the * |
||
| 685 | * score, and then we look to make sure this new "best * |
||
| 686 | * move" is not actually worse than the best we have found * |
||
| 687 | * so far this iteration. If it is worse, we restore the * |
||
| 688 | * best move and score from the real best move so our * |
||
| 689 | * search window won't be out of whack, which would let * |
||
| 690 | * moves with scores in between this bad move and the best * |
||
| 154 | pmbaty | 691 | * move fail high, cause re-searches, and waste time. We * |
| 692 | * also need to restore the root move list so that the * |
||
| 693 | * best move (the one we just used to replace the move * |
||
| 694 | * with a worse score) is first so it is searched first on * |
||
| 695 | * the next iteration. * |
||
| 33 | pmbaty | 696 | * * |
| 108 | pmbaty | 697 | * If this is ply = 1, we display the PV to keep the user * |
| 698 | * informed. * |
||
| 699 | * * |
||
| 33 | pmbaty | 700 | ************************************************************ |
| 701 | */ |
||
| 154 | pmbaty | 702 | } else if (search_result == IN_WINDOW) { |
| 108 | pmbaty | 703 | alpha = value; |
| 704 | if (ply == 1 && mode == serial) { |
||
| 154 | pmbaty | 705 | int best; |
| 706 | |||
| 707 | // |
||
| 708 | // update path/score for this move |
||
| 709 | // |
||
| 108 | pmbaty | 710 | tree->pv[1].pathv = value; |
| 711 | tree->pv[0] = tree->pv[1]; |
||
| 154 | pmbaty | 712 | for (best = 0; best < n_root_moves; best++) |
| 713 | if (root_moves[best].move == tree->pv[1].path[1]) { |
||
| 714 | root_moves[best].path = tree->pv[1]; |
||
| 715 | root_moves[best].path.pathv = alpha; |
||
| 716 | break; |
||
| 33 | pmbaty | 717 | } |
| 154 | pmbaty | 718 | // |
| 719 | // if this move is not #1 in root list, move it there |
||
| 720 | // |
||
| 721 | if (best != 0) { |
||
| 722 | ROOT_MOVE t; |
||
| 723 | t = root_moves[best]; |
||
| 724 | for (i = best; i > 0; i--) |
||
| 725 | root_moves[i] = root_moves[i - 1]; |
||
| 726 | root_moves[0] = t; |
||
| 727 | } |
||
| 728 | // |
||
| 729 | // if a better score has already been found then move that |
||
| 730 | // move to the front of the list and update alpha bound. |
||
| 731 | // |
||
| 732 | for (i = 0; i < n_root_moves; i++) { |
||
| 733 | if (value <= root_moves[i].path.pathv) { |
||
| 734 | ROOT_MOVE t; |
||
| 108 | pmbaty | 735 | value = root_moves[i].path.pathv; |
| 736 | alpha = value; |
||
| 737 | tree->pv[0] = root_moves[i].path; |
||
| 738 | tree->pv[1] = tree->pv[0]; |
||
| 154 | pmbaty | 739 | t = root_moves[i]; |
| 740 | for (j = i; j > 0; j--) |
||
| 741 | root_moves[j] = root_moves[j - 1]; |
||
| 742 | root_moves[0] = t; |
||
| 33 | pmbaty | 743 | } |
| 154 | pmbaty | 744 | } |
| 108 | pmbaty | 745 | Output(tree); |
| 746 | failhi_delta = 16; |
||
| 747 | faillo_delta = 16; |
||
| 748 | } |
||
| 749 | } |
||
| 33 | pmbaty | 750 | /* |
| 751 | ************************************************************ |
||
| 752 | * * |
||
| 154 | pmbaty | 753 | * Test 3. If search_result = ILLEGAL, this search was * |
| 754 | * given an illegal move and no search was done, we skip * |
||
| 755 | * any updating and simply select the next move to search. * |
||
| 108 | pmbaty | 756 | * * |
| 757 | ************************************************************ |
||
| 758 | */ |
||
| 154 | pmbaty | 759 | else if (search_result == ILLEGAL) |
| 108 | pmbaty | 760 | continue; |
| 761 | t_beta = alpha + 1; |
||
| 762 | /* |
||
| 763 | ************************************************************ |
||
| 764 | * * |
||
| 765 | * SMP. If are doing an SMP search, and we have idle * |
||
| 33 | pmbaty | 766 | * processors, now is the time to get them involved. We * |
| 767 | * have now satisfied the "young brothers wait" condition * |
||
| 108 | pmbaty | 768 | * since we have searched at least one move. All that is * |
| 769 | * left is to check the split constraints to see if this * |
||
| 770 | * is an acceptable split point. * |
||
| 33 | pmbaty | 771 | * * |
| 772 | * (1) We can't split within N plies of the frontier * |
||
| 773 | * nodes to avoid excessive split overhead. * |
||
| 774 | * * |
||
| 108 | pmbaty | 775 | * (2) We can't split until at least N nodes have been * |
| 33 | pmbaty | 776 | * searched since this thread was last split, to * |
| 777 | * avoid splitting too often, mainly in endgames. * |
||
| 778 | * * |
||
| 779 | * (3) We have to have searched one legal move to avoid * |
||
| 780 | * splitting at a node where we have no legal moves * |
||
| 781 | * (the first move tried might have been illegal as * |
||
| 782 | * in when we encounter a stalemate). * |
||
| 783 | * * |
||
| 784 | * (4) If we are at ply=1, we can't split unless the * |
||
| 785 | * smp_split_at_root flag is set to 1, AND the next * |
||
| 786 | * move in the ply=1 move list is not flagged as * |
||
| 787 | * "do not search in parallel" which happens when * |
||
| 788 | * this move was a best move in the last couple of * |
||
| 789 | * searches and we want all processors on it at once * |
||
| 790 | * to get a score back quicker. * |
||
| 791 | * * |
||
| 108 | pmbaty | 792 | * (5) if the variable smp_split is != 0, we have idle * |
| 793 | * threads that can help, which means we want to get * |
||
| 794 | * them involved quickly, OR if this node is an * |
||
| 795 | * acceptable "gratuitous-split" point by being far * |
||
| 796 | * enough from the tips of the tree to avoid * |
||
| 797 | * excessive overhead. * |
||
| 33 | pmbaty | 798 | * * |
| 108 | pmbaty | 799 | * We use this code recursively to perform a parallel * |
| 800 | * search at this ply. But when we finish a partial piece * |
||
| 801 | * of the search in parallel, we don't need to update any * |
||
| 802 | * search data structures, we will defer that until all of * |
||
| 803 | * parallel threads complete and return back into this * |
||
| 804 | * code after the parallel search has been collapsed back * |
||
| 805 | * to one instance of search at this ply. * |
||
| 33 | pmbaty | 806 | * * |
| 807 | * Special case: we do not split if we are at ply=1 and * |
||
| 808 | * alpha == original_alpha. That means the first move * |
||
| 809 | * failed low, and we are going to exit search and return * |
||
| 810 | * to Iterate() to report this. * |
||
| 811 | * * |
||
| 108 | pmbaty | 812 | * In Generation II, multiple threads can reach this point * |
| 813 | * at the same time. We allow multiple threads to split * |
||
| 814 | * at the same time, but then the idle threads will choose * |
||
| 815 | * to join the thread with the most attractive split point * |
||
| 816 | * rather than just taking pot-luck. The only limitation * |
||
| 817 | * on a thread adding a split point here is that if the * |
||
| 154 | pmbaty | 818 | * thread already has enough joinable split points that * |
| 819 | * have not been joined yet, we do not incur the overhead * |
||
| 820 | * of creating another split point until one of the * |
||
| 821 | * existing split points has been completed or a thread * |
||
| 822 | * joins at at one of those available split points. * |
||
| 33 | pmbaty | 823 | * * |
| 108 | pmbaty | 824 | * We do not lock anything here, as the split operation * |
| 825 | * only affects thread-local data. When the split is done * |
||
| 826 | * then the ThreadJoin() function will acquire the lock * |
||
| 827 | * needed to avoid race conditions during the join op- * |
||
| 828 | * eration. * |
||
| 33 | pmbaty | 829 | * * |
| 830 | ************************************************************ |
||
| 831 | */ |
||
| 832 | #if (CPUS > 1) |
||
| 108 | pmbaty | 833 | if (mode == serial && moves_done && smp_threads && |
| 834 | ThreadSplit(tree, ply, depth, alpha, original_alpha, moves_done)) |
||
| 33 | pmbaty | 835 | do { |
| 836 | tree->alpha = alpha; |
||
| 837 | tree->beta = beta; |
||
| 838 | tree->value = alpha; |
||
| 108 | pmbaty | 839 | tree->wtm = wtm; |
| 33 | pmbaty | 840 | tree->ply = ply; |
| 841 | tree->depth = depth; |
||
| 108 | pmbaty | 842 | tree->in_check = in_check; |
| 843 | tree->searched = searched; |
||
| 844 | if (Split(tree)) { |
||
| 33 | pmbaty | 845 | if (abort_search || tree->stop) |
| 846 | return 0; |
||
| 847 | value = tree->value; |
||
| 848 | if (value > alpha) { |
||
| 108 | pmbaty | 849 | if (ply == 1) |
| 850 | tree->pv[0] = tree->pv[1]; |
||
| 33 | pmbaty | 851 | if (value >= beta) { |
| 108 | pmbaty | 852 | HashStore(tree, ply, depth, wtm, LOWER, value, tree->cutmove); |
| 33 | pmbaty | 853 | return value; |
| 854 | } |
||
| 855 | alpha = value; |
||
| 856 | break; |
||
| 857 | } |
||
| 858 | } |
||
| 859 | } while (0); |
||
| 860 | #endif |
||
| 861 | } |
||
| 862 | /* |
||
| 863 | ************************************************************ |
||
| 864 | * * |
||
| 108 | pmbaty | 865 | * SMP Cleanup. If we are doing an SMP search, there are * |
| 866 | * no "end-of-search" things to do. We have searched all * |
||
| 867 | * the remaining moves at this ply in parallel, and now * |
||
| 868 | * return and let the original search that started this * |
||
| 869 | * sub-tree clean up, do the tests for mate/stalemate, * |
||
| 870 | * update the hash table, etc. * |
||
| 33 | pmbaty | 871 | * * |
| 108 | pmbaty | 872 | * As we return, we end back up in Thread() where we * |
| 873 | * started, which then copies the best score/etc back to * |
||
| 874 | * the parent thread. * |
||
| 875 | * * |
||
| 33 | pmbaty | 876 | ************************************************************ |
| 877 | */ |
||
| 108 | pmbaty | 878 | if (abort_search || tree->stop || mode == parallel) |
| 879 | return alpha; |
||
| 880 | /* |
||
| 881 | ************************************************************ |
||
| 882 | * * |
||
| 883 | * Search completed. All moves have been searched. If * |
||
| 884 | * none were legal, return either MATE or DRAW depending * |
||
| 885 | * on whether the side to move is in check or not. * |
||
| 886 | * * |
||
| 887 | ************************************************************ |
||
| 888 | */ |
||
| 889 | if (moves_done == 0) { |
||
| 890 | value = (Check(wtm)) ? -(MATE - ply) : DrawScore(wtm); |
||
| 33 | pmbaty | 891 | if (value >= alpha && value < beta) { |
| 892 | SavePV(tree, ply, 0); |
||
| 893 | #if defined(TRACE) |
||
| 894 | if (ply <= trace_level) |
||
| 895 | printf("Search() no moves! ply=%d\n", ply); |
||
| 896 | #endif |
||
| 897 | } |
||
| 898 | return value; |
||
| 899 | } else { |
||
| 900 | bestmove = |
||
| 108 | pmbaty | 901 | (alpha == |
| 902 | original_alpha) ? tree->hash_move[ply] : tree->pv[ply].path[ply]; |
||
| 33 | pmbaty | 903 | type = (alpha == original_alpha) ? UPPER : EXACT; |
| 904 | if (repeat == 2 && alpha != -(MATE - ply - 1)) { |
||
| 108 | pmbaty | 905 | value = DrawScore(wtm); |
| 33 | pmbaty | 906 | if (value < beta) |
| 154 | pmbaty | 907 | SavePV(tree, ply, 3); |
| 33 | pmbaty | 908 | #if defined(TRACE) |
| 909 | if (ply <= trace_level) |
||
| 910 | printf("draw by 50 move rule detected, ply=%d.\n", ply); |
||
| 911 | #endif |
||
| 912 | return value; |
||
| 913 | } else if (alpha != original_alpha) { |
||
| 914 | tree->pv[ply - 1] = tree->pv[ply]; |
||
| 915 | tree->pv[ply - 1].path[ply - 1] = tree->curmv[ply - 1]; |
||
| 916 | } |
||
| 108 | pmbaty | 917 | HashStore(tree, ply, depth, wtm, type, alpha, bestmove); |
| 33 | pmbaty | 918 | return alpha; |
| 919 | } |
||
| 920 | } |
||
| 921 | |||
| 154 | pmbaty | 922 | /* last modified 08/03/16 */ |
| 33 | pmbaty | 923 | /* |
| 924 | ******************************************************************************* |
||
| 925 | * * |
||
| 108 | pmbaty | 926 | * SearchMove() implements the PVS search and returns the value. We do a * |
| 927 | * null-window search with the window (alpha, t_beta) and if that fails high * |
||
| 928 | * we repeat the search with the window {alpha, beta} assuming that beta != * |
||
| 929 | * t_beta. * |
||
| 33 | pmbaty | 930 | * * |
| 931 | ******************************************************************************* |
||
| 932 | */ |
||
| 108 | pmbaty | 933 | int SearchMove(TREE * RESTRICT tree, int ply, int depth, int wtm, int alpha, |
| 934 | int t_beta, int beta, int extend, int reduce, int check) { |
||
| 935 | int value; |
||
| 33 | pmbaty | 936 | /* |
| 937 | ************************************************************ |
||
| 938 | * * |
||
| 108 | pmbaty | 939 | * PVS search. We have determined whether the depth is to * |
| 33 | pmbaty | 940 | * be changed by an extension or a reduction. If we get * |
| 941 | * to this point, then the move is not being pruned. So * |
||
| 942 | * off we go to a recursive search/quiescence call to work * |
||
| 943 | * our way toward a terminal node. * |
||
| 944 | * * |
||
| 108 | pmbaty | 945 | * There is one special-case to handle. If the depth was * |
| 33 | pmbaty | 946 | * reduced, and Search() returns a value >= beta then * |
| 947 | * accepting that is risky (we reduced the move as we * |
||
| 948 | * thought it was bad and expected it to fail low) so we * |
||
| 949 | * repeat the search using the original (non-reduced) * |
||
| 950 | * depth to see if the fail-high happens again. * |
||
| 951 | * * |
||
| 952 | ************************************************************ |
||
| 953 | */ |
||
| 108 | pmbaty | 954 | if (depth + extend - reduce - 1 > 0) { |
| 955 | value = |
||
| 956 | -Search(tree, ply + 1, depth + extend - reduce - 1, Flip(wtm), |
||
| 957 | -t_beta, -alpha, check, DO_NULL); |
||
| 958 | if (value > alpha && reduce) { |
||
| 959 | value = |
||
| 960 | -Search(tree, ply + 1, depth - 1, Flip(wtm), -t_beta, -alpha, check, |
||
| 961 | DO_NULL); |
||
| 962 | } |
||
| 963 | } else |
||
| 964 | value = -Quiesce(tree, ply + 1, Flip(wtm), -t_beta, -alpha, 1); |
||
| 965 | if (abort_search || tree->stop) |
||
| 966 | return 0; |
||
| 33 | pmbaty | 967 | /* |
| 968 | ************************************************************ |
||
| 969 | * * |
||
| 108 | pmbaty | 970 | * PVS re-search. This is the PVS re-search code. If we * |
| 971 | * reach this point and value > alpha and value < beta, * |
||
| 972 | * then this can not be a null-window search. We have to * |
||
| 973 | * re-search the position with the original beta value * |
||
| 974 | * to see if it still fails high before we treat this as a * |
||
| 975 | * real fail-high and back up the value to the previous * |
||
| 976 | * ply. * |
||
| 33 | pmbaty | 977 | * * |
| 978 | ************************************************************ |
||
| 979 | */ |
||
| 108 | pmbaty | 980 | if (value > alpha && value < beta && t_beta < beta) { |
| 981 | if (ply == 1) |
||
| 982 | return beta; |
||
| 983 | if (depth + extend - 1 > 0) |
||
| 984 | value = |
||
| 985 | -Search(tree, ply + 1, depth + extend - 1, Flip(wtm), -beta, -alpha, |
||
| 986 | check, DO_NULL); |
||
| 987 | else |
||
| 988 | value = -Quiesce(tree, ply + 1, Flip(wtm), -beta, -alpha, 1); |
||
| 33 | pmbaty | 989 | if (abort_search || tree->stop) |
| 108 | pmbaty | 990 | return 0; |
| 33 | pmbaty | 991 | } |
| 108 | pmbaty | 992 | return value; |
| 33 | pmbaty | 993 | } |