2_local_search.hpp

Go to the documentation of this file.

//=======================================================================
// Copyright (c) 2013 Piotr Wygocki
//
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//=======================================================================
#ifndef PAAL_2_LOCAL_SEARCH_HPP
#define PAAL_2_LOCAL_SEARCH_HPP

#include "paal/local_search/search_components.hpp"
#include "paal/local_search/local_search.hpp"
#include "paal/local_search/2_local_search/2_local_search_components.hpp"
#include "paal/local_search/2_local_search/2_local_search_solution_adapter.hpp"
#include "paal/data_structures/cycle/cycle_start_from_last_change.hpp"
#include "paal/data_structures/cycle/cycle_concept.hpp"

namespace paal {
namespace local_search {

template <typename... Args>
using TwoLocalcomponents = data_structures::components<
    Gain, data_structures::NameWithDefault<GetMoves, two_local_searchget_moves>,
    data_structures::NameWithDefault<Commit, two_local_search_commit>>::type<
    Args...>;

template <typename Gain, typename GetMoves = two_local_searchget_moves>
auto make_two_local_search_components(Gain ch, GetMoves gm = GetMoves{}) {
    return TwoLocalcomponents<Gain, GetMoves>(std::move(ch), std::move(gm));
}

template <typename Metric>
auto get_default_two_local_components(const Metric &m) {
    return make_two_local_search_components(gain_two_opt<Metric>(m));
}

template <typename SearchStrategy, typename ContinueOnSuccess,
          typename ContinueOnFail, typename Cycle, typename... components>
bool two_local_search(Cycle &cycle, SearchStrategy searchStrategy,
                      ContinueOnSuccess on_success, ContinueOnFail on_fail,
                      components... comps) {
    typedef data_structures::cycle_start_from_last_change<Cycle> CSFLCh;
    CSFLCh cycleSFLCh(cycle);
    local_search::two_local_search_adapter<CSFLCh>
        cycleAdapted(cycleSFLCh);
    return local_search(cycleAdapted, std::move(searchStrategy),
                        std::move(on_success), std::move(on_fail),
                        std::move(comps)...);
}

template <typename Cycle, typename... components>
bool tsp_first_improving(Cycle &cycle, components... comps) {
    return two_local_search(cycle, first_improving_strategy{},
                            utils::always_true{}, utils::always_false{},
                            std::move(comps)...);
}

} // local_search
} // paal

#endif // PAAL_2_LOCAL_SEARCH_HPP