meta_sep.hpp

Go to the documentation of this file.

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
#ifndef CMR_META_SEP_H
#define CMR_META_SEP_H

#include "active_tour.hpp"
#include "hypergraph.hpp"
#include "datagroups.hpp"
#include "cc_lpcuts.hpp"

#include <iostream>
#include <unordered_map>
#include <utility>
#include <vector>

namespace CMR {
namespace Sep {

class MetaCuts {
public:
    MetaCuts(const ExternalCuts &EC_,
             const std::vector<Graph::Edge> &core_edges_,
             const LP::ActiveTour &active_tour_,
             Data::SupportGroup &s_dat);

    enum class Type {
        Decker,
        Handling,
        Teething,
    };

    bool find_cuts(Type meta_type);

    bool tighten_cuts();

    LPcutList &metacuts_q() { return meta_q; }

    bool verbose = false;
    bool filter_primal = true;

private:
    bool price_combs(bool tighten);

    bool above_threshold(int num_paths);

    bool attempt_sep(); 

    void price_cliques(); 

    bool pure_comb(CCtsp_lpcut_in &c); 

    std::unordered_map<Clique, double> clique_vals;

    using HGitr = std::vector<HyperGraph>::const_iterator;
    std::vector<HGitr> interest_combs;

    const ExternalCuts &EC;

    const std::vector<Graph::Edge> &core_edges;
    const LP::ActiveTour &active_tour;
    Data::SupportGroup &supp_data;

    TourGraph TG;
    std::vector<int> perm_elist;

    LPcutList meta_q;
};

std::ostream &operator<<(std::ostream &os, MetaCuts::Type t);

}
}

#endif