From a950199453a8b106e98e0803d89ee0bc15c84967 Mon Sep 17 00:00:00 2001 From: yaneurao Date: Mon, 16 Oct 2023 11:21:00 +0900 Subject: [PATCH] =?UTF-8?q?-=20=E5=A4=89=E6=95=B0improvement=E3=81=AE?= =?UTF-8?q?=E5=89=8A=E9=99=A4=E3=80=82=20-=20PARAM=5FNULL=5FMOVE=5FMARGIN2?= =?UTF-8?q?=E4=BD=BF=E3=81=A3=E3=81=A6=E3=81=AA=E3=81=8B=E3=81=A3=E3=81=9F?= =?UTF-8?q?=E3=81=AE=E3=81=A7=E5=89=8A=E9=99=A4=E3=80=82=20-=20PARAM=5FNUL?= =?UTF-8?q?L=5FMOVE=5FMARGIN3=E5=89=8A=E9=99=A4=E3=80=82?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - 以下をroll back。(V7.71p2の実験より) else if (excludedMove) { // Providing the hint that this node's accumulator will be used often brings significant Elo gain (~13 Elo) //Eval::NNUE::hint_common_parent_position(pos); // TODO : → 今回のNNUEの計算は端折れるのか？ eval = ss->staticEval; } --- .../engine/yaneuraou-engine/yaneuraou-param.h | 14 ++--- .../yaneuraou-engine/yaneuraou-search.cpp | 52 +++++++++---------- 2 files changed, 29 insertions(+), 37 deletions(-) diff --git a/source/engine/yaneuraou-engine/yaneuraou-param.h b/source/engine/yaneuraou-engine/yaneuraou-param.h index 6320edccf..7624eabe1 100644 --- a/source/engine/yaneuraou-engine/yaneuraou-param.h +++ b/source/engine/yaneuraou-engine/yaneuraou-param.h @@ -119,19 +119,13 @@ PARAM_DEFINE PARAM_NULL_MOVE_DYNAMIC_GAMMA = 147; // [PARAM] min:0,max:50000,step:500,interval:1,time_rate:1,fixed PARAM_DEFINE PARAM_NULL_MOVE_MARGIN0 = 14695; -// 元の値 = 15 , step = 2 +// 元の値 = 24 , step = 2 +// Stockfishの前バージョンではこの値は15。 // [PARAM] min:10,max:60,step:2,interval:1,time_rate:1,fixed PARAM_DEFINE PARAM_NULL_MOVE_MARGIN1 = 15; -// 元の値 = 22 , step = 2 -// [PARAM] min:10,max:60,step:2,interval:1,time_rate:1,fixed -PARAM_DEFINE PARAM_NULL_MOVE_MARGIN2 = 22; - -// 元の値 = 15 , step = 4 -// [PARAM] min:5,max:40,step:2,interval:1,time_rate:1,fixed -PARAM_DEFINE PARAM_NULL_MOVE_MARGIN3 = 15; - -// 元の値 = 198 , step = 50 +// 元の値 = 281 , step = 50 +// Stockfishの前バージョンではこの値は198。 // [PARAM] min:0,max:400,step:30,interval:1,time_rate:1,fixed PARAM_DEFINE PARAM_NULL_MOVE_MARGIN4 = 198; diff --git a/source/engine/yaneuraou-engine/yaneuraou-search.cpp b/source/engine/yaneuraou-engine/yaneuraou-search.cpp index 4ac8d36e7..95a11060d 100644 --- a/source/engine/yaneuraou-engine/yaneuraou-search.cpp +++ b/source/engine/yaneuraou-engine/yaneuraou-search.cpp @@ -1385,9 +1385,7 @@ namespace { // moveCount : 調べた指し手の数(合法手に限る) // captureCount : 調べた駒を捕獲する指し手の数(capturesSearched[]用のカウンター) // quietCount : 調べた駒を捕獲しない指し手の数(quietsSearched[]用のカウンター) - // improvement : improvingフラグのもうちょっと細かい版(int型なので) improving = improvement > 0 - // →この計算に psq_score()が必要なのだが、これ将棋で実装してないのでcomplexityの計算しないことにする。 - int moveCount, captureCount, quietCount, improvement; + int moveCount, captureCount, quietCount; // ----------------------- // Step 1. Initialize node @@ -1763,18 +1761,19 @@ namespace { ss->staticEval = eval = VALUE_NONE; improving = false; - improvement = 0; goto moves_loop; } - else if (excludedMove) - { - // Providing the hint that this node's accumulator will be used often brings significant Elo gain (~13 Elo) + //else if (excludedMove) + //{ + // // Providing the hint that this node's accumulator will be used often brings significant Elo gain (~13 Elo) - //Eval::NNUE::hint_common_parent_position(pos); - // TODO : → 今回のNNUEの計算は端折れるのか？ + // //Eval::NNUE::hint_common_parent_position(pos); + // // TODO : → 今回のNNUEの計算は端折れるのか？ + + // eval = ss->staticEval; + //} + // TODO : ↑入れるとR50ぐらい弱くなる。何か初期化を忘れているのか？ - eval = ss->staticEval; - } else if (ss->ttHit) { // Never assume anything about values stored in TT @@ -1831,11 +1830,14 @@ namespace { // evalベースの枝刈り // ----------------------- - // Use static evaluation difference to improve quiet move ordering (~3 Elo) + // Use static evaluation difference to improve quiet move ordering (~4 Elo) // 局面の静的評価値(eval)が得られたので、以下ではこの評価値を用いて各種枝刈りを行なう。 // 王手のときはここにはこない。(上のinCheckのなかでMOVES_LOOPに突入。) + // is_ok()はMOVE_NULLかのチェック。 + // 1手前でMOVE_NULLではなく、王手がかかっておらず、駒を取る指し手ではなかったなら…。 + if (is_ok((ss-1)->currentMove) && !(ss-1)->inCheck && !priorCapture) { int bonus = std::clamp(-16 * int((ss - 1)->staticEval + ss->staticEval), -2000, 2000); @@ -1852,19 +1854,18 @@ namespace { // ※ VALUE_NONEの場合は、王手がかかっていてevaluate()していないわけだから、 // 枝刈りを甘くして調べないといけないのでimproving扱いとする。 - improvement = (ss-2)->staticEval != VALUE_NONE ? ss->staticEval - (ss-2)->staticEval - : (ss-4)->staticEval != VALUE_NONE ? ss->staticEval - (ss-4)->staticEval - : 175; - // ※　VALUE_NONE == 32002なのでこれより大きなstaticEvalの値であることはない。 - - // やねうら王ではpsq_score()を実装していないのでcomplexityは導入せず[2022/04/13] + // Set up the improving flag, which is true if current static evaluation is + // bigger than the previous static evaluation at our turn (if we were in + // check at our previous move we look at static evaluation at move prior to it + // and if we were in check at move prior to it flag is set to true) and is + // false otherwise. The improving flag is used in various pruning heuristics. + improving = (ss-2)->staticEval != VALUE_NONE ? ss->staticEval > (ss-2)->staticEval + : (ss-4)->staticEval != VALUE_NONE ? ss->staticEval > (ss-4)->staticEval + : true; - //complexity = abs(ss->staticEval - (us == WHITE ? eg_value(pos.psq_score()) : -eg_value(pos.psq_score()))); + // Step 7. Razoring (~1 Elo) - //thisThread->complexityAverage.update(complexity); - - // improvingフラグは、improvementをbool化したもの。 - improving = improvement > 0; + // ※　VALUE_NONE == 32002なのでこれより大きなstaticEvalの値であることはない。 // ----------------------- // Step 7. Razoring. @@ -1928,10 +1929,7 @@ namespace { && (ss - 1)->statScore < PARAM_NULL_MOVE_MARGIN0/*14695*/ && eval >= beta && eval >= ss->staticEval - && ss->staticEval >= beta - PARAM_NULL_MOVE_MARGIN1 /*15*/ * depth - - improvement / PARAM_NULL_MOVE_MARGIN3 /* 15 */ - + PARAM_NULL_MOVE_MARGIN4 /*198*/ - /* + complexity / 28 */ + && ss->staticEval >= beta - PARAM_NULL_MOVE_MARGIN1 /*24*/ * depth + PARAM_NULL_MOVE_MARGIN4 /*281*/ && !excludedMove // && pos.non_pawn_material(us) // これ終盤かどうかを意味する。将棋でもこれに相当する条件が必要かも。 && ss->ply >= thisThread->nmpMinPly