/builds/MusicScience37Projects/numerical-analysis/numerical-collection-cpp/include/num_collect/opt/adaptive_diagonal_curves.h

Source (jump to first uncovered line)
/*
 * Copyright 2021 MusicScience37 (Kenta Kabashima)
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
/*!
 * \file
 * \brief Definition of dividing_rectangles class.
 */
#pragma once

#include <algorithm>
#include <cmath>
#include <cstddef>
#include <cstdint>
#include <iterator>
#include <limits>
#include <memory>
#include <queue>
#include <string_view>
#include <utility>
#include <vector>

#include <hash_tables/maps/multi_open_address_map_st.h>

#include "num_collect/base/concepts/real_scalar.h"
#include "num_collect/base/exception.h"
#include "num_collect/base/index_type.h"
#include "num_collect/logging/iterations/iteration_logger.h"
#include "num_collect/logging/log_tag_view.h"
#include "num_collect/logging/logging_macros.h"
#include "num_collect/opt/concepts/multi_variate_objective_function.h"
#include "num_collect/opt/concepts/objective_function.h"
#include "num_collect/opt/impl/ternary_vector.h"
#include "num_collect/opt/optimizer_base.h"
#include "num_collect/util/assert.h"
#include "num_collect/util/safe_cast.h"

namespace num_collect::opt {

//! Tag of adaptive_diagonal_curves.
constexpr auto adaptive_diagonal_curves_tag =
    logging::log_tag_view("num_collect::opt::adaptive_diagonal_curves");

namespace impl {

/*!
 * \brief Class of dictionaries of sampling points in \ref
 * num_collect::opt::adaptive_diagonal_curves.
 *
 * \tparam ObjectiveFunction Type of objective function.
 */
template <concepts::objective_function ObjectiveFunction>
class adc_sample_dict;

/*!
 * \brief Class of dictionaries of sampling points in \ref
 * num_collect::opt::adaptive_diagonal_curves.
 *
 * \tparam ObjectiveFunction Type of objective function.
 */
template <concepts::multi_variate_objective_function ObjectiveFunction>
class adc_sample_dict<ObjectiveFunction> {
public:
    //! Type of the objective function.
    using objective_function_type = ObjectiveFunction;

    //! Type of variables.
    using variable_type = typename objective_function_type::variable_type;

    //! Type of function values.
    using value_type = typename objective_function_type::value_type;

    /*!
     * \brief Constructor.
     *
     * \param[in] obj_fun Objective function.
     */
    explicit adc_sample_dict(
        const objective_function_type& obj_fun = objective_function_type())
        : obj_fun_(obj_fun) {
        constexpr std::size_t initial_space = 10000;
        value_dict_.reserve_approx(initial_space);
    }

    /*!
     * \brief Change the objective function.
     *
     * \param[in] obj_fun Objective function.
     */
    void change_objective_function(const objective_function_type& obj_fun) {
        obj_fun_ = obj_fun;
    }

    /*!
     * \brief Initialize this object.
     *
     * \param[in] lower Element-wise lower limit.
     * \param[in] upper Element-wise upper limit.
     */
    void init(const variable_type& lower, const variable_type& upper) {
        if (lower.size() != upper.size()) {
            NUM_COLLECT_LOG_AND_THROW(invalid_argument,
                "Element-wise limits must have the same size.");
        }
        if (!(lower.array() < upper.array()).all()) {
            NUM_COLLECT_LOG_AND_THROW(invalid_argument,
                "Element-wise limits must satisfy lower < upper for each "
                "element.");
        }
        lower_ = lower;
        width_ = upper - lower;
        dim_ = lower.size();
        value_dict_.clear();
    }

    /*!
     * \brief Evaluate or get function value.
     *
     * \warning This function assumes that init() has already been called.
     *
     * \param[in] point Point in the unit hyper-cube.
     * \return Function value.
     */
    [[nodiscard]] auto operator()(const ternary_vector& point) -> value_type {
        return value_dict_.get_or_create_with_factory(
            point, [this, &point] { return evaluate_on(point); });
    }

    /*!
     * \brief Get the number of dimension.
     *
     * \return Number of dimension.
     */
    [[nodiscard]] auto dim() const -> index_type { return dim_; }

    /*!
     * \copydoc num_collect::opt::optimizer_base::opt_variable
     */
    [[nodiscard]] auto opt_variable() const -> const variable_type& {
        return opt_variable_;
    }

    /*!
     * \brief Get the point in the unit hyper-cube for the current optimal
     * variable.
     *
     * \return Point in the unit hyper-cube for the current optimal variable.
     */
    [[nodiscard]] auto opt_point() const -> const ternary_vector& {
        return opt_point_;
    }

    /*!
     * \copydoc num_collect::opt::optimizer_base::opt_value
     */
    [[nodiscard]] auto opt_value() const -> const value_type& {
        return opt_value_;
    }

    /*!
     * \copydoc num_collect::opt::optimizer_base::evaluations
     */
    [[nodiscard]] auto evaluations() const noexcept -> index_type {
        return static_cast<index_type>(value_dict_.size());
    }

private:
    /*!
     * \brief Evaluate function value.
     *
     * \warning This function assumes that init() has already been called.
     *
     * \param[in] point Point in the unit hyper-cube.
     * \return Function value.
     */
    [[nodiscard]] auto evaluate_on(const ternary_vector& point) -> value_type {
        NUM_COLLECT_DEBUG_ASSERT(point.dim() == dim_);
        auto var = variable_type(dim_);
        for (index_type i = 0; i < dim_; ++i) {
            var(i) = lower_(i) +
                width_(i) * point.elem_as<typename variable_type::Scalar>(i);
        }
        obj_fun_.evaluate_on(var);

        if (value_dict_.empty() || obj_fun_.value() < opt_value_) {
            opt_point_ = point;
            opt_variable_ = var;
            opt_value_ = obj_fun_.value();
        }

        return obj_fun_.value();
    }

    //! Objective function.
    objective_function_type obj_fun_;

    //! Element-wise lower limit.
    variable_type lower_{};

    //! Element-wise width.
    variable_type width_{};

    //! Number of dimension.
    index_type dim_{0};

    //! Dictionary of sampled points.
    hash_tables::maps::multi_open_address_map_st<impl::ternary_vector,
        value_type>
        value_dict_{};

    //! Point in the unit hyper-cube for the current optimal variable.
    ternary_vector opt_point_{};

    //! Current optimal variable.
    variable_type opt_variable_{};

    //! Current optimal value.
    value_type opt_value_{};
};

/*!
 * \brief Class of rectangles as proposed in \cite Sergeyev2000 for \ref
 * num_collect::opt::adaptive_diagonal_curves.
 *
 * \tparam Value Type of function values.
 */
template <base::concepts::real_scalar Value>
class adc_rectangle {
public:
    //! Type of function values.
    using value_type = Value;

    /*!
     * \brief Constructor.
     *
     * \param[in] vertex A vertex with lower components.
     * \param[in] ave_value Average function value.
     */
    adc_rectangle(
        const impl::ternary_vector& vertex, const value_type& ave_value)
        : vertex_(vertex), ave_value_(ave_value) {}

    /*!
     * \brief Get the vertex with lower first component.
     *
     * \return A vertex with lower first component.
     */
    [[nodiscard]] auto vertex() const -> const impl::ternary_vector& {
        return vertex_;
    }

    /*!
     * \brief Get the average function value.
     *
     * \return Average function value.
     */
    [[nodiscard]] auto ave_value() const -> const value_type& {
        return ave_value_;
    }

    /*!
     * \brief Determine sampling points.
     *
     * \return Sampling points.
     */
    [[nodiscard]] auto sample_points() const
        -> std::pair<ternary_vector, ternary_vector> {
        return determine_sample_points(vertex_);
    }

    /*!
     * \brief Get the distance between center point and vertex.
     *
     * \return Distance between center point and vertex.
     */
    [[nodiscard]] auto dist() const -> value_type {
        auto squared_sum = static_cast<value_type>(0);
        for (index_type i = 0; i < vertex_.dim(); ++i) {
            using std::pow;
            squared_sum +=
                pow(static_cast<value_type>(3), -2 * (vertex_.digits(i) - 1));
        }
        using std::sqrt;
        const auto half = static_cast<value_type>(0.5);
        return half * sqrt(squared_sum);
    }

    /*!
     * \brief Determine sampling points.
     *
     * \param[in] lowest_vertex A vertex with lower first component.
     * \return Sampling points.
     */
    [[nodiscard]] static auto determine_sample_points(
        const ternary_vector& lowest_vertex)
        -> std::pair<ternary_vector, ternary_vector> {
        auto res = std::make_pair(lowest_vertex, lowest_vertex);
        const auto dim = lowest_vertex.dim();
        for (index_type i = 0; i < dim; ++i) {
            const auto digits = lowest_vertex.digits(i);
            NUM_COLLECT_DEBUG_ASSERT(digits > 0);
            std::uint_fast32_t one_count = 0;
            for (index_type j = 0; j < digits; ++j) {
                if (lowest_vertex(i, j) == ternary_vector::digit_type{1}) {
                    ++one_count;
                }
            }

            auto last_digit =  // NOLINTNEXTLINE: false positive
                static_cast<std::int_fast32_t>(lowest_vertex(i, digits - 1));
            ++last_digit;
            constexpr std::uint_fast32_t odd_mask = 1;
            if ((one_count & odd_mask) == odd_mask) {
                res.first(i, digits - 1) =
                    static_cast<ternary_vector::digit_type>(last_digit);
            } else {
                res.second(i, digits - 1) =
                    static_cast<ternary_vector::digit_type>(last_digit);
            }
        }
        normalize_point(res.first);
        normalize_point(res.second);
        return res;
    }

private:
    /*!
     * \brief Normalize point.
     *
     * \param[in,out] point Point.
     */
    static void normalize_point(ternary_vector& point) {
        for (index_type i = 0; i < point.dim(); ++i) {
            for (index_type j = point.digits(i) - 1; j > 0; --j) {
                if (point(i, j) == ternary_vector::digit_type{3}) {
                    point(i, j) = 0;
                    std::int_fast32_t temp =
                        point(i, j - 1);  // NOLINT: false positive
                    ++temp;
                    point(i, j - 1) =
                        static_cast<ternary_vector::digit_type>(temp);
                }
            }
        }
    }

    //! A vertex with lower first component.
    impl::ternary_vector vertex_;

    //! Average function value.
    value_type ave_value_;
};

/*!
 * \brief Class of groups in \cite Sergeyev2006 for \ref
 * num_collect::opt::adaptive_diagonal_curves.
 *
 * \tparam Value Type of function values.
 */
template <base::concepts::real_scalar Value>
class adc_group {
public:
    //! Type of function values.
    using value_type = Value;

    //! Type of hyper-rectangles.
    using rectangle_type = adc_rectangle<value_type>;

    //! Type of pointers of hyper-rectangles.
    using rectangle_pointer_type = std::shared_ptr<rectangle_type>;

    /*!
     * \brief Constructor.
     *
     * \param[in] dist Distance between center point and vertex.
     */
    explicit adc_group(value_type dist) : dist_(dist) {}

    /*!
     * \brief Add a hyper-rectangle to this group.
     *
     * \param[in] rect Rectangle.
     */
    void push(rectangle_pointer_type rect) {
        NUM_COLLECT_DEBUG_ASSERT(rect);
        rects_.push(std::move(rect));
    }

    /*!
     * \brief Access the hyper-rectangle with the smallest average of
     * function values at diagonal vertices.
     *
     * \return Reference of pointer to the rectangle.
     */
    [[nodiscard]] auto min_rect() const -> const rectangle_pointer_type& {
        NUM_COLLECT_DEBUG_ASSERT(!rects_.empty());
        return rects_.top();
    }

    /*!
     * \brief Check whether this group is empty.
     *
     * \return Whether this group is empty.
     */
    [[nodiscard]] auto empty() const -> bool { return rects_.empty(); }

    /*!
     * \brief Pick out the hyper-rectangle with the smallest average of function
     * values at diagonal vertices.
     *
     * \return Rectangle.
     */
    [[nodiscard]] auto pop() -> rectangle_pointer_type {
        NUM_COLLECT_DEBUG_ASSERT(!rects_.empty());
        auto rect = rects_.top();
        rects_.pop();
        return rect;
    }

    /*!
     * \brief Get the distance between center point and vertex.
     *
     * \return Distance between center point and vertex.
     */
    [[nodiscard]] auto dist() const -> const value_type& { return dist_; }

private:
    /*!
     * \brief Class to compare rectangles.
     */
    struct greater {
        /*!
         * \brief Compare rectangles.
         *
         * \param[in] left Left-hand-side rectangle.
         * \param[in] right Right-hand-side rectangle.
         * \return Result of left > right.
         */
        [[nodiscard]] auto operator()(const rectangle_pointer_type& left,
            const rectangle_pointer_type& right) const -> bool {
            return left->ave_value() > right->ave_value();
        }
    };

    //! Type of queues of rectangles.
    using queue_type = std::priority_queue<rectangle_pointer_type,
        std::vector<rectangle_pointer_type>, greater>;

    //! Rectangles.
    queue_type rects_{};

    //! Distance between center point and vertex.
    value_type dist_;
};

}  // namespace impl

/*!
 * \brief Class of adaptive diagonal curves (ADC) method \cite Sergeyev2006 for
 * optimization.
 *
 * \tparam ObjectiveFunction Type of the objective function.
 */
template <concepts::objective_function ObjectiveFunction>
class adaptive_diagonal_curves
    : public optimizer_base<adaptive_diagonal_curves<ObjectiveFunction>> {
public:
    //! This class.
    using this_type = adaptive_diagonal_curves<ObjectiveFunction>;

    //! Type of the objective function.
    using objective_function_type = ObjectiveFunction;

    //! Type of variables.
    using variable_type = typename objective_function_type::variable_type;

    //! Type of function values.
    using value_type = typename objective_function_type::value_type;

    /*!
     * \brief Enumeration of states in ADC method.
     */
    enum class state_type : std::uint8_t {
        none,         //!< No operation.
        local,        //!< Local phase (not last iteration).
        local_last,   //!< Last iteration in local phase.
        global,       //!< Global phase (not last iteration).
        global_last,  //!< Last iteration in global phase.
    };

    /*!
     * \brief Convert a state to string.
     *
     * \param[in] state State.
     * \return Name of state.
     */
    [[nodiscard]] static auto state_name(state_type state) -> std::string_view {
        switch (state) {
        case state_type::none:
            return "none";
        case state_type::local:
            return "local";
        case state_type::local_last:
            return "local (last)";
        case state_type::global:
            return "global";
        case state_type::global_last:
            return "global (last)";
        default:
            return "invalid process";
        }
    }

    /*!
     * \brief Constructor.
     *
     * \param[in] obj_fun Objective function.
     */
    explicit adaptive_diagonal_curves(
        const objective_function_type& obj_fun = objective_function_type())
        : optimizer_base<adaptive_diagonal_curves<ObjectiveFunction>>(
              adaptive_diagonal_curves_tag),
          value_dict_(obj_fun) {}

    /*!
     * \brief Change the objective function.
     *
     * \param[in] obj_fun Objective function.
     */
    void change_objective_function(const objective_function_type& obj_fun) {
        value_dict_.change_objective_function(obj_fun);
    }

    /*!
     * \brief Initialize the algorithm.
     *
     * \param[in] lower Lower limit.
     * \param[in] upper Upper limit.
     */
    void init(const variable_type& lower, const variable_type& upper) {
        value_dict_.init(lower, upper);
        groups_.clear();
        iterations_ = 0;
        state_ = state_type::none;

        // Initialize groups_, optimal_value_, optimal_group_index_.
        create_first_rectangle();

        // prec_optimal_value_, prec_optimal_group_index, and
        // iterations_in_current_phase_ are initialized in switch_state().
    }

    /*!
     * \copydoc num_collect::opt::optimizer_base::iterate
     */
    void iterate() {
        switch_state();

        switch (state_) {
        case state_type::local:
            iterate_locally();
            break;
        case state_type::local_last:
            iterate_locally_last();
            break;
        case state_type::global:
            iterate_globally();
            break;
        case state_type::global_last:
            iterate_globally_last();
            break;
        default:
            NUM_COLLECT_LOG_AND_THROW(algorithm_failure,
                "invalid state (bug in adaptive_diagonal_curve class)");
        }

        ++iterations_;
    }

    /*!
     * \copydoc num_collect::base::iterative_solver_base::is_stop_criteria_satisfied
     */
    [[nodiscard]] auto is_stop_criteria_satisfied() const -> bool {
        return evaluations() >= max_evaluations_;
    }

    /*!
     * \copydoc num_collect::base::iterative_solver_base::configure_iteration_logger
     */
    void configure_iteration_logger(
        logging::iterations::iteration_logger<this_type>& iteration_logger)
        const {
        iteration_logger.template append<index_type>(
            "Iter.", &this_type::iterations);
        iteration_logger.template append<index_type>(
            "Eval.", &this_type::evaluations);
        iteration_logger.template append<value_type>(
            "Value", &this_type::opt_value);
        constexpr index_type state_width = 15;
        iteration_logger
            .template append<std::string_view>(
                "State", &this_type::last_state_name)
            ->width(state_width);
    }

    /*!
     * \copydoc num_collect::opt::optimizer_base::opt_variable
     */
    [[nodiscard]] auto opt_variable() const -> const variable_type& {
        return value_dict_.opt_variable();
    }

    /*!
     * \copydoc num_collect::opt::optimizer_base::opt_value
     */
    [[nodiscard]] auto opt_value() const -> const value_type& {
        return value_dict_.opt_value();
    }

    /*!
     * \copydoc num_collect::opt::optimizer_base::iterations
     */
    [[nodiscard]] auto iterations() const noexcept -> index_type {
        return iterations_;
    }

    /*!
     * \copydoc num_collect::opt::optimizer_base::evaluations
     */
    [[nodiscard]] auto evaluations() const noexcept -> index_type {
        return value_dict_.evaluations();
    }

    /*!
     * \brief Get the last state.
     *
     * \return Last state.
     */
    [[nodiscard]] auto last_state() const noexcept -> state_type {
        return state_;
    }

    /*!
     * \brief Get the name of the last state.
     *
     * \return Last state.
     */
    [[nodiscard]] auto last_state_name() const noexcept -> std::string_view {
        return state_name(last_state());
    }

    /*!
     * \brief Set the maximum number of function evaluations.
     *
     * \param[in] value Value.
     * \return This object.
     */
    auto max_evaluations(index_type value) -> adaptive_diagonal_curves& {
        if (value <= 0) {
            NUM_COLLECT_LOG_AND_THROW(invalid_argument,
                "Maximum number of function evaluations must be a positive "
                "integer.");
        }
        max_evaluations_ = value;
        return *this;
    }

    /*!
     * \brief Set the minimum rate of improvement in the function value required
     * for potentially optimal rectangles.
     *
     * \param[in] value Value.
     * \return This object.
     */
    auto min_rate_imp(value_type value) -> adaptive_diagonal_curves& {
        if (value <= static_cast<value_type>(0)) {
            NUM_COLLECT_LOG_AND_THROW(invalid_argument,
                "Minimum rate of improvement in the function value required "
                "for potentially optimal rectangles must be a positive value.");
        }
        min_rate_imp_ = value;
        return *this;
    }

    /*!
     * \brief Set the rate of function value used to check whether the function
     * value decreased in the current phase.
     *
     * \param[in] value Value.
     * \return This object.
     */
    auto decrease_rate_bound(value_type value) -> adaptive_diagonal_curves& {
        if (value <= static_cast<value_type>(0)) {
            NUM_COLLECT_LOG_AND_THROW(invalid_argument,
                "Rate of function value used to check whether the function "
                "value decreased in the current phase must be a positive "
                "value.");
        }
        decrease_rate_bound_ = value;
        return *this;
    }

private:
    //! Type of dictionaries of sample points.
    using dict_type = impl::adc_sample_dict<objective_function_type>;

    //! Type of groups of hyper-rectangles.
    using group_type = impl::adc_group<value_type>;

    //! Type of hyper-rectangles.
    using rectangle_type = typename group_type::rectangle_type;

    /*!
     * \brief Create the first hyper-rectangle.
     */
    void create_first_rectangle() {
        const index_type dim = value_dict_.dim();
        auto point = impl::ternary_vector{dim};
        for (index_type i = 0; i < dim; ++i) {
            point.push_back(i, 0);
        }

        const auto [lower_vertex, upper_vertex] =
            rectangle_type::determine_sample_points(point);
        const auto lower_vertex_value = value_dict_(lower_vertex);
        const auto upper_vertex_value = value_dict_(upper_vertex);
        const auto ave_value = half * (lower_vertex_value + upper_vertex_value);
        const auto rect = std::make_shared<rectangle_type>(point, ave_value);

        groups_.emplace_back(rect->dist());
        groups_.front().push(rect);
        using std::min;
        optimal_value_ = min(lower_vertex_value, upper_vertex_value);
        optimal_group_index_ = 0;
    }

    /*!
     * \brief Switch to the next state if necessary.
     *
     * Step 2.1, 2.4, 3, 4.4, 4.5, 4.7 in \cite Sergeyev2006.
     */
    void switch_state() {
        using std::abs;
        switch (state_) {
        case state_type::local:
            ++iterations_in_current_phase_;
            if (iterations_in_current_phase_ > value_dict_.dim()) {
                state_ = state_type::local_last;
            }
            return;
        case state_type::local_last:
            switch_state_on_local_last();
            return;
        case state_type::global:
            if (optimal_value_ <= prec_optimal_value_ -
                    decrease_rate_bound_ * abs(prec_optimal_value_)) {
                state_ = state_type::local;
                prec_optimal_value_ = optimal_value_;
                iterations_in_current_phase_ = 1;
                prec_optimal_group_index_ = optimal_group_index_;
                return;
            }
            ++iterations_in_current_phase_;
            if (iterations_in_current_phase_ >
                util::safe_cast<index_type>((static_cast<std::size_t>(2)
                    << util::safe_cast<std::size_t>(value_dict_.dim())))) {
                state_ = state_type::global_last;
                return;
            }
            return;
        case state_type::global_last:
            if (optimal_value_ <= prec_optimal_value_ -
                    decrease_rate_bound_ * abs(prec_optimal_value_)) {
                state_ = state_type::local;
                prec_optimal_value_ = optimal_value_;
                iterations_in_current_phase_ = 1;
                prec_optimal_group_index_ = optimal_group_index_;
                return;
            }
            state_ = state_type::global;
            iterations_in_current_phase_ = 1;
            prec_optimal_group_index_ = optimal_group_index_;
            return;
        default:
            state_ = state_type::local;
            prec_optimal_value_ = optimal_value_;
            iterations_in_current_phase_ = 1;
            prec_optimal_group_index_ = optimal_group_index_;
        }
    }

    /*!
     * \brief Switch to the next state if necessary in local_last state.
     */
    void switch_state_on_local_last() {
        using std::abs;
        if (optimal_value_ <= prec_optimal_value_ -
                decrease_rate_bound_ * abs(prec_optimal_value_)) {
            state_ = state_type::local;
            prec_optimal_value_ = optimal_value_;
            iterations_in_current_phase_ = 1;
            prec_optimal_group_index_ = optimal_group_index_;
            return;
        }

        const bool is_optimal_smallest =
            (optimal_group_index_ == groups_.size() - 1);
        const bool is_all_smallest =
            std::all_of(std::begin(groups_), std::end(groups_) - 1,
                [](const group_type& group) { return group.empty(); });
        if ((!is_optimal_smallest) || is_all_smallest) {
            state_ = state_type::local;
            iterations_in_current_phase_ = 1;
            prec_optimal_group_index_ = optimal_group_index_;
            return;
        }

        state_ = state_type::global;
        prec_optimal_value_ = optimal_value_;
        iterations_in_current_phase_ = 1;
        prec_optimal_group_index_ = optimal_group_index_;
    }

    /*!
     * \brief Iterate once in the local phase (not last iteration).
     */
    void iterate_locally() {
        const std::size_t max_group_index = std::max<std::size_t>(
            std::max<std::size_t>(prec_optimal_group_index_, 1) - 1,
            min_nonempty_group_index());
        divide_nondominated_rectangles(
            min_nonempty_group_index(), max_group_index);
    }

    /*!
     * \brief Iterate once at the last of the local phase.
     */
    void iterate_locally_last() {
        const std::size_t max_group_index = std::max<std::size_t>(
            prec_optimal_group_index_, min_nonempty_group_index());
        divide_nondominated_rectangles(
            min_nonempty_group_index(), max_group_index);
    }

    /*!
     * \brief Iterate once in the global phase (not last iteration).
     */
    void iterate_globally() {
        const std::size_t max_group_index =
            (std::max<std::size_t>(
                 prec_optimal_group_index_, min_nonempty_group_index()) +
                min_nonempty_group_index() + 1) /
            2;
        divide_nondominated_rectangles(
            min_nonempty_group_index(), max_group_index);
    }

    /*!
     * \brief Iterate once at teh last of the global phase.
     */
    void iterate_globally_last() { iterate_locally_last(); }

    /*!
     * \brief Get the minimum index of non-empty groups.
     *
     * \return Minimum index of groups.
     */
    [[nodiscard]] auto min_nonempty_group_index() const -> std::size_t {
        for (std::size_t i = 0; i < groups_.size(); ++i) {
            if (!groups_[i].empty()) {
                return i;
            }
        }
        NUM_COLLECT_LOG_AND_THROW(precondition_not_satisfied,
            "adaptive_diagonal_curves::init is not called.");
    }

    /*!
     * \brief Divide nondominated hyper-rectangles.
     *
     * \param[in] min_group Minimum index of groups to search in.
     * \param[in] max_group Maximum index of groups to search in.
     */
    void divide_nondominated_rectangles(
        std::size_t min_group, std::size_t max_group) {
        const auto search_rect =
            determine_nondominated_rectangles(min_group, max_group);
        for (auto iter = std::rbegin(search_rect);
             iter != std::rend(search_rect); ++iter) {
            divide_rectangle(iter->first);
        }
    }

    /*!
     * \brief Determine nondominated hyper-rectangles.
     *
     * \param[in] min_group Minimum index of groups to search in.
     * \param[in] max_group Maximum index of groups to search in.
     * \return List of (index of group, slope).
     */
    [[nodiscard]] auto determine_nondominated_rectangles(
        std::size_t min_group, std::size_t max_group) const
        -> std::vector<std::pair<std::size_t, value_type>> {
        NUM_COLLECT_DEBUG_ASSERT(min_group <= max_group);
        NUM_COLLECT_DEBUG_ASSERT(max_group < groups_.size());
        NUM_COLLECT_DEBUG_ASSERT(!groups_[min_group].empty());

        std::vector<std::pair<std::size_t, value_type>> search_rects;
        search_rects.emplace_back(
            min_group, std::numeric_limits<value_type>::max());

        // convex full scan
        for (std::size_t i = min_group + 1; i <= max_group; ++i) {
            if (groups_[i].empty()) {
                continue;
            }
            while (true) {
                const auto& [last_i, last_slope] = search_rects.back();
                const auto slope = calculate_slope(last_i, i);
                if (slope <= last_slope) {
                    search_rects.emplace_back(i, slope);
                    break;
                }
                search_rects.pop_back();
            }
        }

        // remove rectangles which won't update optimal value
        using std::abs;
        const auto value_bound =
            optimal_value_ - min_rate_imp_ * abs(optimal_value_);
        for (auto iter = search_rects.begin(); iter != search_rects.end();) {
            const auto& [ind, slope] = *iter;
            if (groups_[ind].min_rect()->ave_value() -
                    slope * groups_[ind].dist() <=
                value_bound) {
                ++iter;
            } else {
                iter = search_rects.erase(iter);
            }
        }

        return search_rects;
    }

    /*!
     * \brief Calculate slope.
     *
     * \param[in] group_ind1 Index of group.
     * \param[in] group_ind2 Index of group.
     * \return Slope.
     */
    [[nodiscard]] auto calculate_slope(
        std::size_t group_ind1, std::size_t group_ind2) const -> value_type {
        return (groups_[group_ind1].min_rect()->ave_value() -
                   groups_[group_ind2].min_rect()->ave_value()) /
            (groups_[group_ind1].dist() - groups_[group_ind2].dist());
    }

    /*!
     * \brief Divide a hyper-rectangle.
     *
     * \param[in] group_ind Index of group.
     */
    void divide_rectangle(std::size_t group_ind) {
        impl::ternary_vector vertex = groups_[group_ind].pop()->vertex();
        index_type divided_dim = 1;
        for (; divided_dim < vertex.dim(); ++divided_dim) {
            if (vertex.digits(divided_dim) < vertex.digits(0)) {
                break;
            }
        }
        if (divided_dim == vertex.dim()) {
            divided_dim = 0;
        }

        vertex.push_back(divided_dim, 0);
        const auto rect0 = create_rect(vertex, group_ind + 1);
        vertex(divided_dim, vertex.digits(divided_dim) - 1) = 1;
        const auto rect1 = create_rect(vertex, group_ind + 1);
        vertex(divided_dim, vertex.digits(divided_dim) - 1) = 2;
        const auto rect2 = create_rect(vertex, group_ind + 1);

        if (groups_.size() == group_ind + 1) {
            groups_.emplace_back(rect0->dist());
        }
        groups_[group_ind + 1].push(rect0);
        groups_[group_ind + 1].push(rect1);
        groups_[group_ind + 1].push(rect2);
    }

    /*!
     * \brief Create a hyper-rectangle.
     *
     * \param[in] vertex Vertex with lower first component.
     * \param[in] group_ind Group index.
     * \return Hyper-rectangle.
     */
    [[nodiscard]] auto create_rect(const impl::ternary_vector& vertex,
        std::size_t group_ind) -> std::shared_ptr<rectangle_type> {
        const auto [vertex1, vertex2] =
            rectangle_type::determine_sample_points(vertex);
        const auto value1 = value_dict_(vertex1);
        const auto value2 = value_dict_(vertex2);
        const auto ave_value = half * (value1 + value2);
        if (value1 < optimal_value_) {
            optimal_value_ = value1;
            optimal_group_index_ = group_ind;
        } else if (value1 <= optimal_value_ &&
            group_ind > optimal_group_index_) {
            optimal_group_index_ = group_ind;
        }
        if (value2 < optimal_value_) {
            optimal_value_ = value2;
            optimal_group_index_ = group_ind;
        } else if (value2 <= optimal_value_ &&
            group_ind > optimal_group_index_) {
            optimal_group_index_ = group_ind;
        }
        return std::make_shared<rectangle_type>(vertex, ave_value);
    }

    //! Half.
    static inline const auto half = static_cast<value_type>(0.5);

    //! Dictionary of sampled points.
    dict_type value_dict_;

    //! Groups of hyper-rectangles.
    std::vector<group_type> groups_{};

    //! Number of iterations.
    index_type iterations_{0};

    //! State.
    state_type state_{state_type::none};

    /*!
     * \brief Current optimal value.
     *
     * This value is used for updating \ref optimal_group_index_.
     */
    value_type optimal_value_{};

    //! Index of the group in which the optimal solution exists.
    std::size_t optimal_group_index_{0};

    //! Old optimal value at the start of the current phase.
    value_type prec_optimal_value_{};

    /*!
     * \brief Index of the group in which the old optimal solution at the start
     * of the current phase exists.
     */
    std::size_t prec_optimal_group_index_{0};

    /*!
     * \brief Number of iterations in the current phase.
     *
     * This is initialized at the start of the local or global phases.
     */
    index_type iterations_in_current_phase_{0};

    //! Default maximum number of function evaluations.
    static constexpr index_type default_max_evaluations = 10000;

    //! Maximum number of function evaluations.
    index_type max_evaluations_{default_max_evaluations};

    /*!
     * \brief Default minimum rate of improvement in the function value required
     * for potentially optimal rectangles.
     */
    static inline const auto default_min_rate_imp =
        static_cast<value_type>(1e-4);

    /*!
     * \brief Minimum rate of improvement in the function value required for
     * potentially optimal rectangles.
     */
    value_type min_rate_imp_{default_min_rate_imp};

    /*!
     * \brief Default rate of function value used to check whether the function
     * value decreased in the current phase.
     */
    static inline const auto default_decrease_rate_bound =
        static_cast<value_type>(0.01);

    /*!
     * \brief Rate of function value used to check whether the function value
     * decreased in the current phase.
     */
    value_type decrease_rate_bound_{default_decrease_rate_bound};
};

}  // namespace num_collect::opt

Coverage Report

Created: 2024-10-11 06:23