Bounds.hpp

Go to the documentation of this file.

/*
 * ======================================================================================
 *
 * ░▒▓███████▓▒░░▒▓████████▓▒░▒▓███████▓▒░       ░▒▓███████▓▒░ ░▒▓██████▓▒░▒▓████████▓▒░
 * ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░      ░▒▓█▓▒░░▒▓█▓▒░      ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░ ░▒▓█▓▒░
 * ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░      ░▒▓█▓▒░░▒▓█▓▒░      ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░ ░▒▓█▓▒░
 * ░▒▓███████▓▒░░▒▓██████▓▒░ ░▒▓█▓▒░░▒▓█▓▒░      ░▒▓███████▓▒░░▒▓█▓▒░░▒▓█▓▒░ ░▒▓█▓▒░
 * ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░      ░▒▓█▓▒░░▒▓█▓▒░      ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░ ░▒▓█▓▒░
 * ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░      ░▒▓█▓▒░░▒▓█▓▒░      ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░ ░▒▓█▓▒░
 * ░▒▓███████▓▒░░▒▓████████▓▒░▒▓█▓▒░░▒▓█▓▒░      ░▒▓███████▓▒░ ░▒▓██████▓▒░  ░▒▓█▓▒░
 *
 * ======================================================================================
 */

 
#pragma once
 
#include <cstddef> // IWYU pragma: keep - for size_t
#include <libbenbot/eval/Score.hpp>
#include <optional>
 
namespace ben_bot::search {
 
using eval::Score;
using std::size_t;

struct Bounds final {
    Score alpha { -eval::MAX };

    Score beta { eval::MAX };

    [[nodiscard]] constexpr auto invert() const noexcept -> Bounds;

    [[nodiscard]] constexpr auto null_window() const noexcept -> Bounds;

    [[nodiscard]] constexpr auto contains(Score score) const noexcept -> bool;

    [[nodiscard]] constexpr auto mate_distance_pruning(size_t plyFromRoot) noexcept -> std::optional<Score>;
};
 
/*
                         ___                           ,--,
      ,---,            ,--.'|_                ,--,   ,--.'|
    ,---.'|            |  | :,'             ,--.'|   |  | :
    |   | :            :  : ' :             |  |,    :  : '    .--.--.
    |   | |   ,---.  .;__,'  /    ,--.--.   `--'_    |  ' |   /  /    '
  ,--.__| |  /     \ |  |   |    /       \  ,' ,'|   '  | |  |  :  /`./
 /   ,'   | /    /  |:__,'| :   .--.  .-. | '  | |   |  | :  |  :  ;_
.   '  /  |.    ' / |  '  : |__  \__\/: . . |  | :   '  : |__ \  \    `.
'   ; |:  |'   ;   /|  |  | '.'| ," .--.; | '  : |__ |  | '.'| `----.   \
|   | '/  ''   |  / |  ;  :    ;/  /  ,.  | |  | '.'|;  :    ;/  /`--'  /__  ___  ___
|   :    :||   :    |  |  ,   /;  :   .'   \;  :    ;|  ,   /'--'.     /  .\/  .\/  .\
 \   \  /   \   \  /    ---`-' |  ,     .-./|  ,   /  ---`-'   `--'---'\  ; \  ; \  ; |
  `----'     `----'             `--`---'     ---`-'                     `--" `--" `--"
 
 */
 
constexpr auto Bounds::invert() const noexcept -> Bounds
{
    return {
        .alpha = -beta,
        .beta  = -alpha
    };
}
 
constexpr auto Bounds::null_window() const noexcept -> Bounds
{
    return {
        .alpha = Score { static_cast<eval::Value>(-alpha.value - UINT16_C(1)) },
        .beta  = -alpha
    };
}
 
constexpr auto Bounds::contains(const Score score) const noexcept -> bool
{
    return score > alpha and score < beta;
}
 
constexpr auto Bounds::mate_distance_pruning(const size_t plyFromRoot) noexcept -> std::optional<Score>
{
    const auto mateScore = Score::mate(plyFromRoot);
 
    if (alpha.is_winning_mate()) {
        if (mateScore < beta) {
            beta = mateScore;
 
            if (alpha >= mateScore)
                return mateScore;
        }
 
        return std::nullopt;
    }
 
    if (alpha.is_losing_mate()) {
        if (mateScore > alpha) {
            alpha = mateScore;
 
            if (beta <= mateScore)
                return mateScore;
        }
    }
 
    return std::nullopt;
}
 
} // namespace ben_bot::search