witness.hpp

#ifndef CMR_WITNESS_H
#define CMR_WITNESS_H

#include "datagroups.hpp"
#include "tooth.hpp"
#include "process_cuts.hpp"


#include <vector>

extern "C" {
#include <concorde/INCLUDE/cut.h>
}

namespace CMR {
namespace Sep {

class DPwitness {
public:
    DPwitness(CandidateTeeth &cands,
              const std::vector<int> &partition_nodes, int seed);
    ~DPwitness();

    bool simple_DP_sep(CutQueue<dominoparity> &domino_q);

private:
    void build_light_tree();  
    void add_web_edges(); 
    void build_gh_tree(); 

    void dfs_odd_cuts(CC_GHnode *n); 

    void expand_cut(CC_GHnode *n, std::vector<int> &cut_nodes);

    void grab_dominos(CutQueue<dominoparity> &domino_q);

    std::vector<std::vector<SimpleTooth>> light_teeth;

    const Data::SupportGroup &supp_dat;

    const std::vector<int> &perm;

    std::vector<SimpleTooth*> cutgraph_nodes;

    std::vector<int> cut_elist;
    std::vector<double> cut_ecap;
    std::vector<int> odd_nodes_list;
    std::vector<bool> node_marks;

    CutQueue<CC_GHnode *> CC_gh_q;

    CC_GHtree gh_tree;
    const int random_seed;

    void grab_cuts(CutQueue<dominoparity> &domino_q);

};

}
}

#endif