git.sesse.net Git - stockfish/blob - src/movepick.cpp

   1 /*
   2   Stockfish, a UCI chess playing engine derived from Glaurung 2.1
   3   Copyright (C) 2004-2008 Tord Romstad (Glaurung author)
   4   Copyright (C) 2008-2015 Marco Costalba, Joona Kiiski, Tord Romstad
   5   Copyright (C) 2015-2016 Marco Costalba, Joona Kiiski, Gary Linscott, Tord Romstad
   6
   7   Stockfish is free software: you can redistribute it and/or modify
   8   it under the terms of the GNU General Public License as published by
   9   the Free Software Foundation, either version 3 of the License, or
  10   (at your option) any later version.
  11
  12   Stockfish is distributed in the hope that it will be useful,
  13   but WITHOUT ANY WARRANTY; without even the implied warranty of
  14   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15   GNU General Public License for more details.
  16
  17   You should have received a copy of the GNU General Public License
  18   along with this program.  If not, see <http://www.gnu.org/licenses/>.
  19 */
  20
  21 #include <cassert>
  22
  23 #include "movepick.h"
  24 #include "thread.h"
  25
  26 namespace {
  27
  28   enum Stages {
  29     MAIN_SEARCH, GOOD_CAPTURES_INIT, GOOD_CAPTURES, KILLERS, KILLERS_2,
  30     QUIET_INIT, QUIET, BAD_CAPTURES,
  31     EVASION, ALL_EVASIONS,
  32     QSEARCH_WITH_CHECKS, QCAPTURES_CHECKS_INIT, QCAPTURES_CHECKS, CHECKS,
  33     QSEARCH_WITHOUT_CHECKS, QCAPTURES_NO_CHECKS, REMAINING,
  34     RECAPTURE, RECAPTURES,
  35     PROBCUT, PROBCUT_INIT, PROBCUT_CAPTURES
  36   };
  37
  38   // Our insertion sort, which is guaranteed to be stable, as it should be
  39   void insertion_sort(ExtMove* begin, ExtMove* end)
  40   {
  41     ExtMove tmp, *p, *q;
  42
  43     for (p = begin + 1; p < end; ++p)
  44     {
  45         tmp = *p;
  46         for (q = p; q != begin && *(q-1) < tmp; --q)
  47             *q = *(q-1);
  48         *q = tmp;
  49     }
  50   }
  51
  52   // pick_best() finds the best move in the range (begin, end) and moves it to
  53   // the front. It's faster than sorting all the moves in advance when there
  54   // are few moves, e.g., the possible captures.
  55   Move pick_best(ExtMove* begin, ExtMove* end)
  56   {
  57       std::swap(*begin, *std::max_element(begin, end));
  58       return *begin;
  59   }
  60
  61 } // namespace
  62
  63
  64 /// Constructors of the MovePicker class. As arguments we pass information
  65 /// to help it to return the (presumably) good moves first, to decide which
  66 /// moves to return (in the quiescence search, for instance, we only want to
  67 /// search captures, promotions, and some checks) and how important good move
  68 /// ordering is at the current node.
  69
  70 MovePicker::MovePicker(const Position& p, Move ttm, Depth d, Search::Stack* s)
  71            : pos(p), ss(s), depth(d) {
  72
  73   assert(d > DEPTH_ZERO);
  74
  75   Square prevSq = to_sq((ss-1)->currentMove);
  76   countermove = pos.this_thread()->counterMoves[pos.piece_on(prevSq)][prevSq];
  77
  78   stage = pos.checkers() ? EVASION : MAIN_SEARCH;
  79   ttMove = ttm && pos.pseudo_legal(ttm) ? ttm : MOVE_NONE;
  80   stage += (ttMove == MOVE_NONE);
  81 }
  82
  83 MovePicker::MovePicker(const Position& p, Move ttm, Depth d, Square s)
  84            : pos(p) {
  85
  86   assert(d <= DEPTH_ZERO);
  87
  88   if (pos.checkers())
  89       stage = EVASION;
  90
  91   else if (d > DEPTH_QS_NO_CHECKS)
  92       stage = QSEARCH_WITH_CHECKS;
  93
  94   else if (d > DEPTH_QS_RECAPTURES)
  95       stage = QSEARCH_WITHOUT_CHECKS;
  96
  97   else
  98   {
  99       stage = RECAPTURE;
 100       recaptureSquare = s;
 101       return;
 102   }
 103
 104   ttMove = ttm && pos.pseudo_legal(ttm) ? ttm : MOVE_NONE;
 105   stage += (ttMove == MOVE_NONE);
 106 }
 107
 108 MovePicker::MovePicker(const Position& p, Move ttm, Value th)
 109            : pos(p), threshold(th) {
 110
 111   assert(!pos.checkers());
 112
 113   stage = PROBCUT;
 114
 115   // In ProbCut we generate captures with SEE higher than the given threshold
 116   ttMove =   ttm
 117           && pos.pseudo_legal(ttm)
 118           && pos.capture(ttm)
 119           && pos.see(ttm) > threshold ? ttm : MOVE_NONE;
 120
 121   stage += (ttMove == MOVE_NONE);
 122 }
 123
 124
 125 /// score() assigns a numerical value to each move in a move list. The moves with
 126 /// highest values will be picked first.
 127 template<>
 128 void MovePicker::score<CAPTURES>() {
 129   // Winning and equal captures in the main search are ordered by MVV, preferring
 130   // captures near our home rank. Surprisingly, this appears to perform slightly
 131   // better than SEE-based move ordering: exchanging big pieces before capturing
 132   // a hanging piece probably helps to reduce the subtree size.
 133   // In the main search we want to push captures with negative SEE values to the
 134   // badCaptures[] array, but instead of doing it now we delay until the move
 135   // has been picked up, saving some SEE calls in case we get a cutoff.
 136   for (auto& m : *this)
 137       m.value =  PieceValue[MG][pos.piece_on(to_sq(m))]
 138                - Value(200 * relative_rank(pos.side_to_move(), to_sq(m)));
 139 }
 140
 141 template<>
 142 void MovePicker::score<QUIETS>() {
 143
 144   const HistoryStats& history = pos.this_thread()->history;
 145   const FromToStats& fromTo = pos.this_thread()->fromTo;
 146
 147   const CounterMoveStats* cm = (ss-1)->counterMoves;
 148   const CounterMoveStats* fm = (ss-2)->counterMoves;
 149   const CounterMoveStats* f2 = (ss-4)->counterMoves;
 150
 151   Color c = pos.side_to_move();
 152
 153   for (auto& m : *this)
 154       m.value =      history[pos.moved_piece(m)][to_sq(m)]
 155                + (cm ? (*cm)[pos.moved_piece(m)][to_sq(m)] : VALUE_ZERO)
 156                + (fm ? (*fm)[pos.moved_piece(m)][to_sq(m)] : VALUE_ZERO)
 157                + (f2 ? (*f2)[pos.moved_piece(m)][to_sq(m)] : VALUE_ZERO)
 158                + fromTo.get(c, m);
 159 }
 160
 161 template<>
 162 void MovePicker::score<EVASIONS>() {
 163   // Try winning and equal captures ordered by MVV/LVA, then non-captures ordered
 164   // by history value, then bad captures and quiet moves with a negative SEE ordered
 165   // by SEE value.
 166   const HistoryStats& history = pos.this_thread()->history;
 167   const FromToStats& fromTo = pos.this_thread()->fromTo;
 168   Color c = pos.side_to_move();
 169   Value see;
 170
 171   for (auto& m : *this)
 172       if ((see = pos.see_sign(m)) < VALUE_ZERO)
 173           m.value = see - HistoryStats::Max; // At the bottom
 174
 175       else if (pos.capture(m))
 176           m.value =  PieceValue[MG][pos.piece_on(to_sq(m))]
 177                    - Value(type_of(pos.moved_piece(m))) + HistoryStats::Max;
 178       else
 179           m.value = history[pos.moved_piece(m)][to_sq(m)] + fromTo.get(c, m);
 180 }
 181
 182
 183 /// next_move() is the most important method of the MovePicker class. It returns
 184 /// a new pseudo legal move every time it is called, until there are no more moves
 185 /// left. It picks the move with the biggest value from a list of generated moves
 186 /// taking care not to return the ttMove if it has already been searched.
 187
 188 Move MovePicker::next_move() {
 189
 190   Move move;
 191
 192   switch (stage) {
 193
 194   case MAIN_SEARCH: case EVASION: case QSEARCH_WITH_CHECKS:
 195   case QSEARCH_WITHOUT_CHECKS: case PROBCUT:
 196       ++stage;
 197       return ttMove;
 198
 199   case GOOD_CAPTURES_INIT:
 200       endBadCaptures = cur = moves;
 201       endMoves = generate<CAPTURES>(pos, cur);
 202       score<CAPTURES>();
 203       ++stage;
 204
 205   case GOOD_CAPTURES:
 206       while (cur < endMoves)
 207       {
 208           move = pick_best(cur++, endMoves);
 209           if (move != ttMove)
 210           {
 211               if (pos.see_sign(move) >= VALUE_ZERO)
 212                   return move;
 213
 214               // Losing capture, move it to the beginning of the array
 215               *endBadCaptures++ = move;
 216           }
 217       }
 218       ++stage;
 219
 220       // First killer move
 221       move = ss->killers[0];
 222       if (    move != MOVE_NONE
 223           &&  move != ttMove
 224           &&  pos.pseudo_legal(move)
 225           && !pos.capture(move))
 226           return move;
 227
 228   case KILLERS:
 229       ++stage;
 230       move = ss->killers[1]; // Second killer move
 231       if (    move != MOVE_NONE
 232           &&  move != ttMove
 233           &&  pos.pseudo_legal(move)
 234           && !pos.capture(move))
 235           return move;
 236
 237   case KILLERS_2:
 238       ++stage;
 239       move = countermove;
 240       if (    move != MOVE_NONE
 241           &&  move != ttMove
 242           &&  move != ss->killers[0]
 243           &&  move != ss->killers[1]
 244           &&  pos.pseudo_legal(move)
 245           && !pos.capture(move))
 246           return move;
 247
 248   case QUIET_INIT:
 249       cur = endBadCaptures;
 250       endMoves = generate<QUIETS>(pos, cur);
 251       score<QUIETS>();
 252       if (depth < 3 * ONE_PLY)
 253       {
 254           ExtMove* goodQuiet = std::partition(cur, endMoves, [](const ExtMove& m)
 255                                              { return m.value > VALUE_ZERO; });
 256           insertion_sort(cur, goodQuiet);
 257       } else
 258           insertion_sort(cur, endMoves);
 259       ++stage;
 260
 261   case QUIET:
 262       while (cur < endMoves)
 263       {
 264           move = *cur++;
 265           if (   move != ttMove
 266               && move != ss->killers[0]
 267               && move != ss->killers[1]
 268               && move != countermove)
 269               return move;
 270       }
 271       ++stage;
 272       cur = moves; // Point to beginning of bad captures
 273
 274   case BAD_CAPTURES:
 275       if (cur < endBadCaptures)
 276           return *cur++;
 277       break;
 278
 279   case ALL_EVASIONS:
 280       cur = moves;
 281       endMoves = generate<EVASIONS>(pos, cur);
 282       if (endMoves - cur > 1)
 283           score<EVASIONS>();
 284       stage = REMAINING;
 285       goto remaining;
 286
 287   case QCAPTURES_CHECKS_INIT:
 288   case QCAPTURES_NO_CHECKS:
 289       cur = moves;
 290       endMoves = generate<CAPTURES>(pos, cur);
 291       score<CAPTURES>();
 292       ++stage;
 293
 294 remaining:
 295   case QCAPTURES_CHECKS:
 296   case REMAINING:
 297       while (cur < endMoves)
 298       {
 299           move = pick_best(cur++, endMoves);
 300           if (move != ttMove)
 301               return move;
 302       }
 303       if (stage == REMAINING)
 304           break;
 305       cur = moves;
 306       endMoves = generate<QUIET_CHECKS>(pos, cur);
 307       ++stage;
 308
 309   case CHECKS:
 310       while (cur < endMoves)
 311       {
 312           move = cur++->move;
 313           if (move != ttMove)
 314               return move;
 315       }
 316       break;
 317
 318   case RECAPTURE:
 319       cur = moves;
 320       endMoves = generate<CAPTURES>(pos, cur);
 321       score<CAPTURES>();
 322       ++stage;
 323
 324   case RECAPTURES:
 325       while (cur < endMoves)
 326       {
 327           move = pick_best(cur++, endMoves);
 328           if (to_sq(move) == recaptureSquare)
 329               return move;
 330       }
 331       break;
 332
 333   case PROBCUT_INIT:
 334       cur = moves;
 335       endMoves = generate<CAPTURES>(pos, cur);
 336       score<CAPTURES>();
 337       ++stage;
 338
 339   case PROBCUT_CAPTURES:
 340       while (cur < endMoves)
 341       {
 342           move = pick_best(cur++, endMoves);
 343           if (   move != ttMove
 344               && pos.see(move) > threshold)
 345               return move;
 346       }
 347       break;
 348
 349   default:
 350       assert(false);
 351   }
 352
 353   return MOVE_NONE;
 354 }