#include <CouenneDisjCuts.hpp>
Collaboration diagram for CouenneDisjCuts:
Public Member Functions | |
CouenneDisjCuts (Bonmin::OsiTMINLPInterface *minlp=NULL, Bonmin::BabSetupBase *base=NULL, CouenneCutGenerator *cg=NULL, OsiChooseVariable *bcv=NULL, bool is_strong=false, JnlstPtr journalist=NULL, const Ipopt::SmartPtr< Ipopt::OptionsList > options=NULL) | |
constructor | |
CouenneDisjCuts (const CouenneDisjCuts &) | |
copy constructor | |
~CouenneDisjCuts () | |
destructor | |
CouenneDisjCuts * | clone () const |
clone method (necessary for the abstract CglCutGenerator class) | |
CouenneCutGenerator * | couenneCG () const |
return pointer to symbolic problem | |
void | generateCuts (const OsiSolverInterface &, OsiCuts &, const CglTreeInfo=CglTreeInfo()) const |
the main CglCutGenerator | |
ConstJnlstPtr | Jnlst () const |
Provide Journalist. | |
int | getDisjunctions (std::vector< std::pair< OsiCuts *, OsiCuts * > > &disjunctions, OsiSolverInterface &si, OsiCuts &cs, const CglTreeInfo &info) const |
get all disjunctions | |
int | separateWithDisjunction (OsiCuts *cuts, OsiSolverInterface &si, OsiCuts &cs, const CglTreeInfo &info) const |
separate couenne cuts on both sides of single disjunction | |
int | generateDisjCuts (std::vector< std::pair< OsiCuts *, OsiCuts * > > &disjs, OsiSolverInterface &si, OsiCuts &cs, const CglTreeInfo &info) const |
generate one disjunctive cut from one CGLP | |
int | checkDisjSide (OsiSolverInterface &si, OsiCuts *cuts) const |
check if (column!) cuts compatible with solver interface | |
int | getBoxUnion (OsiSolverInterface &si, OsiCuts *left, OsiCuts *right, CoinPackedVector &lower, CoinPackedVector &upper) const |
compute smallest box containing both left and right boxes. | |
Static Public Member Functions | |
static void | registerOptions (Ipopt::SmartPtr< Bonmin::RegisteredOptions > roptions) |
Add list of options to be read from file. | |
Protected Member Functions | |
OsiCuts * | getSingleDisjunction (OsiSolverInterface &si) const |
create single osicolcut disjunction | |
void | mergeBoxes (int dir, CoinPackedVector &left, CoinPackedVector &right, CoinPackedVector merged) const |
utility to merge vectors into one | |
void | applyColCuts (OsiSolverInterface &si, OsiCuts *cuts) const |
our own applyColCuts | |
void | applyColCuts (OsiSolverInterface &si, OsiColCut *cut) const |
our own applyColCut, single cut | |
void | OsiSI2MatrVec (CoinPackedMatrix &M, CoinPackedVector &r, OsiSolverInterface &si) const |
int | OsiCuts2MatrVec (OsiSolverInterface *cglp, OsiCuts *cuts, int displRow, int displRhs) const |
add CGLP columns to solver interface; return number of columns added (for later removal) | |
Protected Attributes | |
CouenneCutGenerator * | couenneCG_ |
pointer to symbolic repr. of constraint, variables, and bounds | |
int | nrootcuts_ |
number of cuts generated at the first call | |
int | ntotalcuts_ |
total number of cuts generated | |
double | septime_ |
separation time (includes generation of problem) | |
double | objValue_ |
Record obj value at final point of CouenneConv. | |
Bonmin::OsiTMINLPInterface * | minlp_ |
nonlinear solver interface as used within Bonmin (used at first Couenne pass of each b&b node) | |
OsiChooseVariable * | branchingMethod_ |
Branching scheme (if strong, we can use SB candidates). | |
bool | isBranchingStrong_ |
Is branchMethod_ referred to a strong branching scheme? | |
JnlstPtr | jnlst_ |
SmartPointer to the Journalist. | |
int | numDisjunctions_ |
Number of disjunction to consider at each separation. | |
double | initDisjPercentage_ |
Initial percentage of objects to use for generating cuts, in [0,1]. | |
int | initDisjNumber_ |
Initial number of objects to use for generating cuts. | |
int | depthLevelling_ |
Depth of the BB tree where start decreasing number of objects. | |
int | depthStopSeparate_ |
Depth of the BB tree where stop separation. | |
bool | activeRows_ |
only include active rows in CGLP | |
bool | activeCols_ |
only include active columns in CGLP | |
bool | addPreviousCut_ |
add previous disj cut to current CGLP? | |
double | cpuTime_ |
maximum CPU time |
Definition at line 32 of file CouenneDisjCuts.hpp.
CouenneDisjCuts::CouenneDisjCuts | ( | Bonmin::OsiTMINLPInterface * | minlp = NULL , |
|
Bonmin::BabSetupBase * | base = NULL , |
|||
CouenneCutGenerator * | cg = NULL , |
|||
OsiChooseVariable * | bcv = NULL , |
|||
bool | is_strong = false , |
|||
JnlstPtr | journalist = NULL , |
|||
const Ipopt::SmartPtr< Ipopt::OptionsList > | options = NULL | |||
) |
constructor
Definition at line 17 of file CouenneDisjCuts.cpp.
References activeCols_, activeRows_, addPreviousCut_, cpuTime_, depthLevelling_, depthStopSeparate_, initDisjNumber_, initDisjPercentage_, and s.
Referenced by clone().
CouenneDisjCuts::CouenneDisjCuts | ( | const CouenneDisjCuts & | ) |
CouenneDisjCuts::~CouenneDisjCuts | ( | ) | [inline] |
CouenneDisjCuts* CouenneDisjCuts::clone | ( | ) | const [inline] |
clone method (necessary for the abstract CglCutGenerator class)
Definition at line 109 of file CouenneDisjCuts.hpp.
References CouenneDisjCuts().
CouenneCutGenerator* CouenneDisjCuts::couenneCG | ( | ) | const [inline] |
return pointer to symbolic problem
Definition at line 113 of file CouenneDisjCuts.hpp.
References couenneCG_.
void CouenneDisjCuts::generateCuts | ( | const OsiSolverInterface & | , | |
OsiCuts & | , | |||
const | CglTreeInfo = CglTreeInfo() | |||
) | const |
the main CglCutGenerator
Definition at line 19 of file generateDisjCuts.cpp.
References COUENNE_EPS, COUENNE_INFEASIBLE, COUENNE_TIGHTENED, couenneCG_, depthLevelling_, depthStopSeparate_, generateDisjCuts(), getDisjunctions(), initDisjNumber_, initDisjPercentage_, J_DISJCUTS(), jnlst_, nrootcuts_, ntotalcuts_, numDisjunctions_, separateWithDisjunction(), and septime_.
void CouenneDisjCuts::registerOptions | ( | Ipopt::SmartPtr< Bonmin::RegisteredOptions > | roptions | ) | [static] |
Add list of options to be read from file.
Definition at line 74 of file CouenneDisjCuts.cpp.
Referenced by Bonmin::CouenneSetup::registerAllOptions().
ConstJnlstPtr CouenneDisjCuts::Jnlst | ( | ) | const [inline] |
int CouenneDisjCuts::getDisjunctions | ( | std::vector< std::pair< OsiCuts *, OsiCuts * > > & | disjunctions, | |
OsiSolverInterface & | si, | |||
OsiCuts & | cs, | |||
const CglTreeInfo & | info | |||
) | const |
get all disjunctions
Definition at line 19 of file getDisjunctions.cpp.
References applyColCuts(), branchingMethod_, checkDisjSide(), COUENNE_FEASIBLE, COUENNE_INFEASIBLE, COUENNE_INFINITY, COUENNE_TIGHTENED, couenneCG_, getBoxUnion(), getSingleDisjunction(), J_DISJCUTS(), jnlst_, CouenneProblem::Lb(), numDisjunctions_, CouenneCutGenerator::Problem(), and CouenneProblem::Ub().
Referenced by generateCuts().
int CouenneDisjCuts::separateWithDisjunction | ( | OsiCuts * | cuts, | |
OsiSolverInterface & | si, | |||
OsiCuts & | cs, | |||
const CglTreeInfo & | info | |||
) | const |
separate couenne cuts on both sides of single disjunction
Definition at line 17 of file separateWithDisjunction.cpp.
References t_chg_bounds::CHANGED, COUENNE_EPS, COUENNE_FEASIBLE, couenneCG_, J_DISJCUTS(), jnlst_, t_chg_bounds::setLower(), t_chg_bounds::setUpper(), and sparse2dense().
Referenced by generateCuts().
int CouenneDisjCuts::generateDisjCuts | ( | std::vector< std::pair< OsiCuts *, OsiCuts * > > & | disjs, | |
OsiSolverInterface & | si, | |||
OsiCuts & | cs, | |||
const CglTreeInfo & | info | |||
) | const |
generate one disjunctive cut from one CGLP
Definition at line 41 of file disjCut.cpp.
References addPreviousCut_, addSubMatr(), COEFF_BOUNDS, CoinCopyDisp(), COUENNE_EPS, COUENNE_FEASIBLE, cpuTime_, J_DISJCUTS(), jnlst_, m, MAX_NUM_COEFF, MAX_NUM_RATIO, MIN_NUM_COEFF, n, OsiCuts2MatrVec(), OsiSI2MatrVec(), printLPMatrix(), and printMatrix().
Referenced by generateCuts().
int CouenneDisjCuts::checkDisjSide | ( | OsiSolverInterface & | si, | |
OsiCuts * | cuts | |||
) | const |
check if (column!) cuts compatible with solver interface
Definition at line 54 of file singleDisjunctions.cpp.
References COUENNE_EPS, COUENNE_FEASIBLE, COUENNE_INFEASIBLE, and COUENNE_TIGHTENED.
Referenced by getDisjunctions().
int CouenneDisjCuts::getBoxUnion | ( | OsiSolverInterface & | si, | |
OsiCuts * | left, | |||
OsiCuts * | right, | |||
CoinPackedVector & | lower, | |||
CoinPackedVector & | upper | |||
) | const |
compute smallest box containing both left and right boxes.
Definition at line 106 of file singleDisjunctions.cpp.
References COUENNE_FEASIBLE, and mergeBoxes().
Referenced by getDisjunctions().
OsiCuts * CouenneDisjCuts::getSingleDisjunction | ( | OsiSolverInterface & | si | ) | const [protected] |
create single osicolcut disjunction
Definition at line 17 of file singleDisjunctions.cpp.
References COUENNE_EPS, and couenneCG_.
Referenced by getDisjunctions().
void CouenneDisjCuts::mergeBoxes | ( | int | dir, | |
CoinPackedVector & | left, | |||
CoinPackedVector & | right, | |||
CoinPackedVector | merged | |||
) | const [protected] |
utility to merge vectors into one
Definition at line 142 of file singleDisjunctions.cpp.
References diff().
Referenced by getBoxUnion().
void CouenneDisjCuts::applyColCuts | ( | OsiSolverInterface & | si, | |
OsiCuts * | cuts | |||
) | const [protected] |
our own applyColCuts
Definition at line 226 of file getDisjunctions.cpp.
References J_DISJCUTS(), and jnlst_.
Referenced by getDisjunctions().
void CouenneDisjCuts::applyColCuts | ( | OsiSolverInterface & | si, | |
OsiColCut * | cut | |||
) | const [protected] |
our own applyColCut, single cut
Definition at line 243 of file getDisjunctions.cpp.
References COUENNE_EPS, J_DISJCUTS(), and jnlst_.
void CouenneDisjCuts::OsiSI2MatrVec | ( | CoinPackedMatrix & | M, | |
CoinPackedVector & | r, | |||
OsiSolverInterface & | si | |||
) | const [protected] |
Definition at line 22 of file OsiLinear2MatrVec.cpp.
References activeCols_, activeRows_, CoinInvN(), COUENNE_EPS, COUENNE_INFINITY, couenneCG_, J_DISJCUTS(), jnlst_, k, and x.
Referenced by generateDisjCuts().
int CouenneDisjCuts::OsiCuts2MatrVec | ( | OsiSolverInterface * | cglp, | |
OsiCuts * | cuts, | |||
int | displRow, | |||
int | displRhs | |||
) | const [protected] |
add CGLP columns to solver interface; return number of columns added (for later removal)
Definition at line 23 of file OsiCuts2MatrVec.cpp.
References CoinCopyDisp(), CoinInvN(), COUENNE_EPS, couenneCG_, J_DISJCUTS(), jnlst_, and k.
Referenced by generateDisjCuts().
CouenneCutGenerator* CouenneDisjCuts::couenneCG_ [protected] |
pointer to symbolic repr. of constraint, variables, and bounds
Definition at line 37 of file CouenneDisjCuts.hpp.
Referenced by couenneCG(), generateCuts(), getDisjunctions(), getSingleDisjunction(), OsiCuts2MatrVec(), OsiSI2MatrVec(), and separateWithDisjunction().
int CouenneDisjCuts::nrootcuts_ [mutable, protected] |
number of cuts generated at the first call
Definition at line 40 of file CouenneDisjCuts.hpp.
Referenced by generateCuts().
int CouenneDisjCuts::ntotalcuts_ [mutable, protected] |
total number of cuts generated
Definition at line 43 of file CouenneDisjCuts.hpp.
Referenced by generateCuts().
double CouenneDisjCuts::septime_ [mutable, protected] |
separation time (includes generation of problem)
Definition at line 46 of file CouenneDisjCuts.hpp.
Referenced by generateCuts().
double CouenneDisjCuts::objValue_ [mutable, protected] |
Bonmin::OsiTMINLPInterface* CouenneDisjCuts::minlp_ [protected] |
nonlinear solver interface as used within Bonmin (used at first Couenne pass of each b&b node)
Definition at line 53 of file CouenneDisjCuts.hpp.
OsiChooseVariable* CouenneDisjCuts::branchingMethod_ [protected] |
Branching scheme (if strong, we can use SB candidates).
Definition at line 56 of file CouenneDisjCuts.hpp.
Referenced by getDisjunctions().
bool CouenneDisjCuts::isBranchingStrong_ [protected] |
Is branchMethod_ referred to a strong branching scheme?
Definition at line 59 of file CouenneDisjCuts.hpp.
JnlstPtr CouenneDisjCuts::jnlst_ [protected] |
SmartPointer to the Journalist.
Definition at line 62 of file CouenneDisjCuts.hpp.
Referenced by applyColCuts(), generateCuts(), generateDisjCuts(), getDisjunctions(), Jnlst(), OsiCuts2MatrVec(), OsiSI2MatrVec(), and separateWithDisjunction().
int CouenneDisjCuts::numDisjunctions_ [mutable, protected] |
Number of disjunction to consider at each separation.
Definition at line 65 of file CouenneDisjCuts.hpp.
Referenced by generateCuts(), and getDisjunctions().
double CouenneDisjCuts::initDisjPercentage_ [protected] |
Initial percentage of objects to use for generating cuts, in [0,1].
Definition at line 68 of file CouenneDisjCuts.hpp.
Referenced by CouenneDisjCuts(), and generateCuts().
int CouenneDisjCuts::initDisjNumber_ [protected] |
Initial number of objects to use for generating cuts.
Definition at line 71 of file CouenneDisjCuts.hpp.
Referenced by CouenneDisjCuts(), and generateCuts().
int CouenneDisjCuts::depthLevelling_ [protected] |
Depth of the BB tree where start decreasing number of objects.
Definition at line 74 of file CouenneDisjCuts.hpp.
Referenced by CouenneDisjCuts(), and generateCuts().
int CouenneDisjCuts::depthStopSeparate_ [protected] |
Depth of the BB tree where stop separation.
Definition at line 77 of file CouenneDisjCuts.hpp.
Referenced by CouenneDisjCuts(), and generateCuts().
bool CouenneDisjCuts::activeRows_ [protected] |
only include active rows in CGLP
Definition at line 80 of file CouenneDisjCuts.hpp.
Referenced by CouenneDisjCuts(), and OsiSI2MatrVec().
bool CouenneDisjCuts::activeCols_ [protected] |
only include active columns in CGLP
Definition at line 83 of file CouenneDisjCuts.hpp.
Referenced by CouenneDisjCuts(), and OsiSI2MatrVec().
bool CouenneDisjCuts::addPreviousCut_ [protected] |
add previous disj cut to current CGLP?
Definition at line 86 of file CouenneDisjCuts.hpp.
Referenced by CouenneDisjCuts(), and generateDisjCuts().
double CouenneDisjCuts::cpuTime_ [protected] |
maximum CPU time
Definition at line 89 of file CouenneDisjCuts.hpp.
Referenced by CouenneDisjCuts(), and generateDisjCuts().