ParQGBranchAndBound.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2008 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAURPARQGBRANCHANDBOUND_H
#define MINOTAURPARQGBRANCHANDBOUND_H
 
#include "Types.h"
#include <sys/time.h>
 
namespace Minotaur {
 
  struct  ParQGBabOptions;
  struct  ParQGBabStats;
  class   Engine;
  class   NodeProcessor;
  class   NodeRelaxer;
  class   ParNodeIncRelaxer;
  class   ParPCBProcessor;
  class   ParTreeManager;
  class   Problem;
  class   Solution;
  class   SolutionPool;
  class   WarmStart;
  class   Timer;
  typedef Engine* EnginePtr;
  typedef ParQGBabOptions* ParQGBabOptionsPtr;
  typedef NodeProcessor* NodeProcessorPtr;
  typedef NodeRelaxer* NodeRelaxerPtr;
  typedef ParNodeIncRelaxer* ParNodeIncRelaxerPtr;
  typedef ParPCBProcessor* ParPCBProcessorPtr;
  typedef Solution* SolutionPtr;
  typedef SolutionPool* SolutionPoolPtr;
  typedef ParTreeManager* ParTreeManagerPtr;
  typedef WarmStart* WarmStartPtr;
 
  class ParQGBranchAndBound {
 
  public:
    ParQGBranchAndBound();
 
    ParQGBranchAndBound(EnvPtr env, ProblemPtr p);
 
    virtual ~ParQGBranchAndBound();
 
    void printsomething();
    void addPreRootHeur(HeurPtr h);
 
    double getPerGap();
 
    double getLb();
 
    NodeProcessorPtr getNodeProcessor();
 
    NodeRelaxerPtr getNodeRelaxer(); 
 
    /*
     * \brief Return solution from the last solve. If no solution was found, return
     * NULL.
     */
    SolutionPtr getSolution();
 
    SolveStatus getStatus();
 
    ParTreeManagerPtr getTreeManager(); 
 
    double getUb();
 
    UInt numProcNodes();
 
    void setLogLevel(LogLevel level);
 
    void setNodeProcessor(NodeProcessorPtr p);
 
    void setNodeRelaxer(NodeRelaxerPtr nr);
 
    void shouldCreateRoot(bool b);
 
    void solve();
 
    void parsolve(ParNodeIncRelaxerPtr parNodeRelaxer[],
                  ParPCBProcessorPtr parPCBProcessor[],
                  UInt nThreads, bool prune);
 
    void parsolveOppor(ParNodeIncRelaxerPtr parNodeRelaxer[],
                  ParPCBProcessorPtr parPCBProcessor[],
                  UInt nThreads, bool prune);
 
    void parsolveSync(ParNodeIncRelaxerPtr parNodeRelaxer[],
                  ParPCBProcessorPtr parPCBProcessor[],
                  UInt nThreads, bool prune);
 
    void removeAddedCons(RelaxationPtr rel, UInt nc);
 
    double totalTime();
 
    void writeStats(std::ostream & out);
 
    void writeParStats(std::ostream & out,
                       ParPCBProcessorPtr parPCBProcessor[]);
 
    void writeStats();
 
    double getWallTime() {
      struct timeval time;
      if (gettimeofday(&time,NULL)) {
        // Handle error
        return 0;
      }
      return (double)time.tv_sec + (double)time.tv_usec * .000001;
    }
 
  private:
    EnvPtr env_;
 
    LoggerPtr logger_;
 
    static const std::string me_;
 
    NodeProcessorPtr nodePrcssr_;
 
    NodeRelaxerPtr nodeRlxr_;
 
    ParQGBabOptionsPtr options_;
 
    HeurVector preHeurs_;
 
    ProblemPtr problem_;
 
    SolutionPoolPtr solPool_;
 
    ParQGBabStats *stats_;
 
    SolveStatus status_;
 
    Timer *timer_;
   
    ParTreeManagerPtr tm_;
 
    NodePtr processRoot_(bool *should_prune, bool *should_dive);
 
    NodePtr processRoot_(bool *should_prune, bool *should_dive,
                         ParNodeIncRelaxerPtr parNodeRlxr,
                         ParPCBProcessorPtr nodePrcssr, WarmStartPtr ws,
                         NodePtr &node);
 
    bool shouldPrune_(NodePtr node);
 
    bool shouldStop_();
    
    bool shouldStopPar_(double wallStartTime, double treeLb);
 
    void showStatus_(bool current_uncounted);
 
    void showParStatus_(UInt current_uncounted, double treeLb,
                        double wallStartTime, UInt threadId);
  };
 
  struct ParQGBabStats 
  {
    ParQGBabStats();
 
    UInt nodesProc;
 
    double timeUsed;
 
    double updateTime;
  };
 
 
  struct ParQGBabOptions
  {
    ParQGBabOptions();
 
    ParQGBabOptions(EnvPtr env);
    
    bool createRoot;
 
    double logInterval;
 
    LogLevel logLevel;
 
    UInt nodeLimit;
 
     double perGapLimit;
 
    UInt solLimit;
 
    double timeLimit;
  };
 
  typedef ParQGBranchAndBound* ParQGBranchAndBoundPtr;
}
#endif