Skip to content

Commit

Permalink
- Stack::cutoffCnt導入。
Browse files Browse the repository at this point in the history 
- razaringにcutoffCnt使用
- alpha値を更新した時に残りの指し手の探索深さを減らす
  • Loading branch information
@yaneurao
yaneurao committed Oct 17, 2023
1 parent 4038b46 commit 48efc7b
Show file tree
Hide file tree
Showing 3 changed files with 86 additions and 50 deletions.
12 changes: 8 additions & 4 deletions source/engine/yaneuraou-engine/yaneuraou-param.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -158,14 +158,18 @@ PARAM_DEFINE PARAM_PROBCUT_DEPTH = 4;
// probcutのmargin
// 式 = beta + PARAM_PROBCUT_MARGIN1 - improving * PARAM_PROBCUT_MARGIN2
// improvingの効果怪しいので抑え気味にしておく。
// 元の値 = 179 , step = 20
// 元の値 = 168 , step = 20
// [PARAM] min:100,max:300,step:10,interval:1,time_rate:1,fixed
PARAM_DEFINE PARAM_PROBCUT_MARGIN1 = 179;
PARAM_DEFINE PARAM_PROBCUT_MARGIN1 = 168;

// 元の値 = 46 , step = 10
// 元の値 = 70 , step = 10
// [PARAM] min:20,max:80,step:10,interval:1,time_rate:1,fixed
PARAM_DEFINE PARAM_PROBCUT_MARGIN2 = 46;
PARAM_DEFINE PARAM_PROBCUT_MARGIN2 = 70;

// 前のバージョンのStockfishではこの値は481。
// 元の値 = 416 , step = 10
// [PARAM] min:20,max:80,step:10,interval:1,time_rate:1,fixed
PARAM_DEFINE PARAM_PROBCUT_MARGIN3 = 416;

//
// singular extension
Expand Down
123 changes: 77 additions & 46 deletions source/engine/yaneuraou-engine/yaneuraou-search.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1492,6 +1492,7 @@ namespace {

// 2手先のkillerの初期化。
(ss + 2)->killers[0] = (ss + 2)->killers[1] = MOVE_NONE;
(ss + 2)->cutoffCnt = 0;

ss->doubleExtensions = (ss - 1)->doubleExtensions;

Expand Down Expand Up @@ -1671,8 +1672,16 @@ namespace {
bestValue = mate_in(ss->ply + 1); // 1手詰めなのでこの次のnodeで(指し手がなくなって)詰むという解釈

ASSERT_LV3(pos.legal_promote(m));
tte->save(posKey, value_to_tt(bestValue, ss->ply), ss->ttPv, BOUND_EXACT,
MAX_PLY, m, ss->staticEval);

if (is_ok(m))
tte->save(posKey, value_to_tt(bestValue, ss->ply), ss->ttPv, BOUND_EXACT,
MAX_PLY, m, ss->staticEval);

// [2023/10/17]
// →　MOVE_WINの値は、置換表に書き出さないほうがいいと思う。
// probeでこのMOVE_WINのケースを完全に考慮するのは非常に難しい。
// is_ok(m)は、MOVE_WINではない通常の指し手(トライルールの時の51玉のような指し手)は
// 置換表に書き出すという処理。

// 読み筋にMOVE_WINも出力するためには、このときpv配列を更新したほうが良いが
// ここから更新する手段がない…。
Expand Down Expand Up @@ -1833,7 +1842,9 @@ namespace {

if (is_ok((ss-1)->currentMove) && !(ss-1)->inCheck && !priorCapture)
{
int bonus = std::clamp(-16 * int((ss - 1)->staticEval + ss->staticEval), -2000, 2000);
int bonus = std::clamp(-18 * int((ss-1)->staticEval + ss->staticEval), -1812, 1812);
// この右辺の↑係数、調整すべきだろうけども、4 Eloのところ調整しても…みたいな意味はある。

thisThread->mainHistory[from_to((ss-1)->currentMove)][~us] << bonus;
}

Expand Down Expand Up @@ -1861,18 +1872,22 @@ namespace {
// ※　VALUE_NONE == 32002なのでこれより大きなstaticEvalの値であることはない。

// -----------------------
// Step 7. Razoring.
// Step 7. Razoring (~1 Elo)
// -----------------------

// If eval is really low check with qsearch if it can exceed alpha, if it can't,
// return a fail low.
// Adjust razor margin according to cutoffCnt. (~1 Elo)

// evalが非常に低い場合、qsearchを使用してalphaを超えるかどうかを確認します。
// 超えられない場合、fail lowを返します。
// cutoffCntに応じてrazorのマージンを調整します

// eval が alpha よりもずっと下にある場合、qsearch が alpha よりも上に押し上げることが
// できるかどうかをチェックし、もしできなければ fail low を返す。

if ( !PvNode
&& depth <= 7
&& eval < alpha - 348 - 258 * depth * depth)
// TODO : ここのパラメーター調整するか考える。
if (eval < alpha - 492 - (257 - 200 * ((ss+1)->cutoffCnt > 3)) * depth * depth)
{
value = qsearch<NonPV>(pos, ss, alpha - 1, alpha);
if (value < alpha)
Expand Down Expand Up @@ -1991,19 +2006,43 @@ namespace {
}

// -----------------------
// Step 10. ProbCut (~4 Elo)
// Step 10. If the position doesn't have a ttMove, decrease depth by 2
// (or by 4 if the TT entry for the current position was hit and the stored depth is greater than or equal to the current depth).
// Use qsearch if depth is equal or below zero (~9 Elo)
// -----------------------

// この局面にttMoveがない場合、深さを2減少させます
// （または、現在の位置のTTエントリがヒットし、保存されている深さが現在の深さ以上の場合は4減少させます）
// 深さがゼロ以下の場合はqsearchを使用します。

// ※　このあとも置換表にヒットしないであろうから、ここを浅めで探索しておく。
// (次に他のスレッドがこの局面に来たときには置換表にヒットするのでそのときにここの局面の
// 探索が完了しているほうが助かるため)

if ( PvNode
&& !ttMove)
depth -= 2 + 2 * (ss->ttHit && tte->depth() >= depth);

if (depth <= 0)
return qsearch<PV>(pos, ss, alpha, beta);

if ( cutNode
&& depth >= 8
&& !ttMove)
depth -= 2;

// probCutに使うbeta値。
probCutBeta = beta + PARAM_PROBCUT_MARGIN1/*179*/ - PARAM_PROBCUT_MARGIN2/*46*/ * improving;
probCutBeta = beta + PARAM_PROBCUT_MARGIN1/*168*/ - PARAM_PROBCUT_MARGIN2/*70*/ * improving;

// ProbCut(王手のときはスキップする)
// -----------------------
// Step 11. ProbCut (~4 Elo)
// -----------------------

// If we have a good enough capture and a reduced search returns a value
// If we have a good enough capture (or queen promotion) and a reduced search returns a value
// much above beta, we can (almost) safely prune the previous move.

// もし、このnodeで非常に良いcaptureの指し手があり(例えば、SEEの値が動かす駒の価値を上回るようなもの)
// 探索深さを減らしてざっくり見てもbetaを非常に上回る値を返すようなら、このnodeをほぼ安全に枝刈りすることが出来る。
// 十分に良い捕獲する指し手(注:例えば、SEEの値が動かす駒の価値を上回るようなもの)（またはクイーンへの昇格）を持っており、
// reduceされた探索(注:深さを減らしたざっくりとした探索)がbetaよりもはるかに高い値を返す場合、
// 前の手を（ほぼ）安全に枝刈りすることができます。

if ( !PvNode
&& depth > PARAM_PROBCUT_DEPTH/*4*/
Expand Down Expand Up @@ -2087,24 +2126,9 @@ namespace {
}

// -----------------------
// Step 11. If the position is not in TT, decrease depth by 2 or 1 depending on node type (~3 Elo)
// Step 11. ProbCut (~10 Elo)
// -----------------------

// 局面がTTになかったのなら、探索深さを2下げる。
// ※　このあとも置換表にヒットしないであろうから、ここを浅めで探索しておく。
// (次に他のスレッドがこの局面に来たときには置換表にヒットするのでそのときにここの局面の
// 探索が完了しているほうが助かるため)

if ( PvNode
&& depth >= 3
&& !ttMove)
depth -= 2;

if ( cutNode
&& depth >= 8
&& !ttMove)
depth--;

// When in check, search starts here
// 王手がかかっている局面では、探索はここから始まる。
moves_loop:
Expand All @@ -2116,16 +2140,15 @@ namespace {
Eval::evaluate_with_no_return(pos);

// -----------------------
// Step 12. A small Probcut idea, when we are in check (~0 Elo)
// Step 12. A small Probcut idea, when we are in check (~4 Elo)
// -----------------------

probCutBeta = beta + 481;
probCutBeta = beta + PARAM_PROBCUT_MARGIN3 /*416*/;
if ( ss->inCheck
&& !PvNode
&& depth >= 2
&& ttCapture
&& (tte->bound() & BOUND_LOWER)
&& tte->depth() >= depth - 3
&& tte->depth() >= depth - 4
&& ttValue >= probCutBeta
&& abs(ttValue) < VALUE_TB_WIN_IN_MAX_PLY
&& abs(beta) < VALUE_TB_WIN_IN_MAX_PLY
Expand Down Expand Up @@ -2819,26 +2842,34 @@ namespace {
if (PvNode && !rootNode)
update_pv(ss->pv, move, (ss + 1)->pv);

// Update alpha! Always alpha < beta
// alpha値を更新したので更新しておく
if (PvNode && value < beta)
if (value >= beta)
{
alpha = value;
ss->cutoffCnt += 1 + !ttMove;
ASSERT_LV3(value >= beta); // Fail high

// PvNodeでalpha値を更新した。
// このとき相手からの詰みがあるかどうかを調べるなどしたほうが良いなら
// ここに書くべし。
// value >= beta なら fail high(beta cut)

// また、non PVであるなら探索窓の幅が0なのでalphaを更新した時点で、value >= betaが言えて、
// beta cutである。
break;
}
else
{
// value >= beta なら fail high(beta cut)
// Reduce other moves if we have found at least one score improvement (~2 Elo)
// 少なくとも1つのスコアの改善が見られた場合、他の手(の探索深さ)を削減します。

// また、non PVであるなら探索窓の幅が0なのでalphaを更新した時点で、value >= betaが言えて、
// beta cutである。
if ( depth > 2
&& depth < 12
&& beta < 13828
&& value > -11369)
depth -= 2;

ASSERT_LV3(value >= beta); // Fail high
break;
ASSERT_LV3(depth > 0);
alpha = value; // Update alpha! Always alpha < beta

// alpha値を更新したので更新しておく
// このとき相手からの詰みがあるかどうかを調べるなどしたほうが良いなら
// ここに書くべし。
}
}
}
Expand Down
1 change: 1 addition & 0 deletions source/search.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,7 @@ namespace Search {
bool ttPv; // 置換表にPV nodeで調べた値が格納されていたか(これは価値が高い)
bool ttHit; // 置換表にhitしたかのフラグ
int doubleExtensions; // 前のノードで延長した手数と今回のノードで延長したか手数を加算した値
int cutoffCnt; // cut off(betaを超えたので枝刈りとしてreturn)した回数。
};
#endif

Expand Down

0 comments on commit 48efc7b

Please sign in to comment.