2011-11-12 20:44:06 +01:00
|
|
|
/*
|
|
|
|
Stockfish, a UCI chess playing engine derived from Glaurung 2.1
|
|
|
|
Copyright (C) 2004-2008 Tord Romstad (Glaurung author)
|
2015-02-01 01:46:09 +01:00
|
|
|
Copyright (C) 2008-2015 Marco Costalba, Joona Kiiski, Tord Romstad
|
2016-01-02 23:16:48 +01:00
|
|
|
Copyright (C) 2015-2016 Marco Costalba, Joona Kiiski, Gary Linscott, Tord Romstad
|
2011-11-12 20:44:06 +01:00
|
|
|
|
|
|
|
Stockfish is free software: you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
Stockfish is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
2012-01-01 01:52:19 +01:00
|
|
|
#include <algorithm>
|
2014-05-31 14:23:03 +02:00
|
|
|
#include <cfloat>
|
2013-11-30 20:12:34 +01:00
|
|
|
#include <cmath>
|
2011-11-12 20:44:06 +01:00
|
|
|
|
|
|
|
#include "search.h"
|
|
|
|
#include "timeman.h"
|
2015-02-01 01:46:09 +01:00
|
|
|
#include "uci.h"
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
TimeManagement Time; // Our global time management object
|
|
|
|
|
2011-11-12 20:44:06 +01:00
|
|
|
namespace {
|
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
enum TimeType { OptimumTime, MaxTime };
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
const int MoveHorizon = 50; // Plan time management at most this many moves ahead
|
2015-12-27 23:25:14 +01:00
|
|
|
const double MaxRatio = 6.93; // When in trouble, we can step over reserved time with this ratio
|
|
|
|
const double StealRatio = 0.36; // However we must not steal time from remaining moves over this ratio
|
2011-11-12 20:44:06 +01:00
|
|
|
|
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
// move_importance() is a skew-logistic function based on naive statistical
|
|
|
|
// analysis of "how many games are still undecided after n half-moves". Game
|
|
|
|
// is considered "undecided" as long as neither side has >275cp advantage.
|
2011-11-12 20:44:06 +01:00
|
|
|
// Data was extracted from CCRL game database with some simple filtering criteria.
|
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
double move_importance(int ply) {
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-12-27 23:25:14 +01:00
|
|
|
const double XScale = 8.27;
|
|
|
|
const double XShift = 59.;
|
|
|
|
const double Skew = 0.179;
|
2015-02-01 01:46:09 +01:00
|
|
|
|
|
|
|
return pow((1 + exp((ply - XShift) / XScale)), -Skew) + DBL_MIN; // Ensure non-zero
|
2014-05-31 14:23:03 +02:00
|
|
|
}
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
template<TimeType T>
|
2015-02-01 01:46:09 +01:00
|
|
|
int remaining(int myTime, int movesToGo, int ply, int slowMover)
|
2014-05-31 14:23:03 +02:00
|
|
|
{
|
|
|
|
const double TMaxRatio = (T == OptimumTime ? 1 : MaxRatio);
|
|
|
|
const double TStealRatio = (T == OptimumTime ? 0 : StealRatio);
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-02-01 01:46:09 +01:00
|
|
|
double moveImportance = (move_importance(ply) * slowMover) / 100;
|
2014-05-31 14:23:03 +02:00
|
|
|
double otherMovesImportance = 0;
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2014-05-31 14:23:03 +02:00
|
|
|
for (int i = 1; i < movesToGo; ++i)
|
2015-02-01 01:46:09 +01:00
|
|
|
otherMovesImportance += move_importance(ply + 2 * i);
|
2014-05-31 14:23:03 +02:00
|
|
|
|
2015-02-01 01:46:09 +01:00
|
|
|
double ratio1 = (TMaxRatio * moveImportance) / (TMaxRatio * moveImportance + otherMovesImportance);
|
|
|
|
double ratio2 = (moveImportance + TStealRatio * otherMovesImportance) / (moveImportance + otherMovesImportance);
|
2014-05-31 14:23:03 +02:00
|
|
|
|
2015-02-01 01:46:09 +01:00
|
|
|
return int(myTime * std::min(ratio1, ratio2)); // Intel C++ asks an explicit cast
|
2014-05-31 14:23:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace
|
2011-11-12 20:44:06 +01:00
|
|
|
|
|
|
|
|
2015-02-01 01:46:09 +01:00
|
|
|
/// init() is called at the beginning of the search and calculates the allowed
|
|
|
|
/// thinking time out of the time control and current game ply. We support four
|
|
|
|
/// different kinds of time controls, passed in 'limits':
|
|
|
|
///
|
|
|
|
/// inc == 0 && movestogo == 0 means: x basetime [sudden death!]
|
|
|
|
/// inc == 0 && movestogo != 0 means: x moves in y minutes
|
|
|
|
/// inc > 0 && movestogo == 0 means: x basetime + z increment
|
|
|
|
/// inc > 0 && movestogo != 0 means: x moves in y minutes + z increment
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
void TimeManagement::init(Search::LimitsType& limits, Color us, int ply)
|
2015-02-01 01:46:09 +01:00
|
|
|
{
|
2014-10-12 14:38:00 +02:00
|
|
|
int minThinkingTime = Options["Minimum Thinking Time"];
|
2015-02-01 01:46:09 +01:00
|
|
|
int moveOverhead = Options["Move Overhead"];
|
2014-10-12 14:38:00 +02:00
|
|
|
int slowMover = Options["Slow Mover"];
|
2015-10-23 22:58:14 +02:00
|
|
|
int npmsec = Options["nodestime"];
|
|
|
|
|
|
|
|
// If we have to play in 'nodes as time' mode, then convert from time
|
|
|
|
// to nodes, and use resulting values in time management formulas.
|
|
|
|
// WARNING: Given npms (nodes per millisecond) must be much lower then
|
|
|
|
// real engine speed to avoid time losses.
|
|
|
|
if (npmsec)
|
|
|
|
{
|
|
|
|
if (!availableNodes) // Only once at game start
|
|
|
|
availableNodes = npmsec * limits.time[us]; // Time is in msec
|
|
|
|
|
|
|
|
// Convert from millisecs to nodes
|
|
|
|
limits.time[us] = (int)availableNodes;
|
|
|
|
limits.inc[us] *= npmsec;
|
|
|
|
limits.npmsec = npmsec;
|
|
|
|
}
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
startTime = limits.startTime;
|
2014-05-31 14:23:03 +02:00
|
|
|
unstablePvFactor = 1;
|
2015-10-23 22:58:14 +02:00
|
|
|
optimumTime = maximumTime = std::max(limits.time[us], minThinkingTime);
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-02-01 01:46:09 +01:00
|
|
|
const int MaxMTG = limits.movestogo ? std::min(limits.movestogo, MoveHorizon) : MoveHorizon;
|
|
|
|
|
|
|
|
// We calculate optimum time usage for different hypothetical "moves to go"-values
|
|
|
|
// and choose the minimum of calculated search time values. Usually the greatest
|
|
|
|
// hypMTG gives the minimum values.
|
|
|
|
for (int hypMTG = 1; hypMTG <= MaxMTG; ++hypMTG)
|
2011-11-12 20:44:06 +01:00
|
|
|
{
|
2014-05-31 14:23:03 +02:00
|
|
|
// Calculate thinking time for hypothetical "moves to go"-value
|
2015-02-01 01:46:09 +01:00
|
|
|
int hypMyTime = limits.time[us]
|
|
|
|
+ limits.inc[us] * (hypMTG - 1)
|
|
|
|
- moveOverhead * (2 + std::min(hypMTG, 40));
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2012-01-01 01:52:19 +01:00
|
|
|
hypMyTime = std::max(hypMyTime, 0);
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-02-01 01:46:09 +01:00
|
|
|
int t1 = minThinkingTime + remaining<OptimumTime>(hypMyTime, hypMTG, ply, slowMover);
|
|
|
|
int t2 = minThinkingTime + remaining<MaxTime >(hypMyTime, hypMTG, ply, slowMover);
|
2011-11-12 20:44:06 +01:00
|
|
|
|
2015-10-23 22:58:14 +02:00
|
|
|
optimumTime = std::min(t1, optimumTime);
|
|
|
|
maximumTime = std::min(t2, maximumTime);
|
2011-11-12 20:44:06 +01:00
|
|
|
}
|
|
|
|
|
2012-01-01 01:52:19 +01:00
|
|
|
if (Options["Ponder"])
|
2015-10-23 22:58:14 +02:00
|
|
|
optimumTime += optimumTime / 4;
|
2011-11-12 20:44:06 +01:00
|
|
|
}
|