Dip
0.92.4
|
The main application class. More...
#include <DecompApp.h>
Public Member Functions | |
virtual void | initializeApp () |
Initialize applications. More... | |
void | createModels () |
Create model parts. More... | |
DecompConstraintSet * | createModelPart (const int nRowsPart, const int *rowsPart) |
void | createModelPart (DecompConstraintSet *model, const int nRowsPart, const int *rowsPart) |
void | createModelPartSparse (DecompConstraintSet *model, const int nRowsPart, const int *rowsPart) |
void | readInitSolutionFile (DecompVarList &initVars) |
void | readBlockFile () |
Read block file. More... | |
void | readProblem () |
Read Problem. More... | |
void | singlyBorderStructureDetection () |
Automatically detect singly bordered structure. More... | |
void | findActiveColumns (const std::vector< int > &rowsPart, std::set< int > &activeColsSet) |
Find the active columns for some block. More... | |
const std::string | getInstanceName () |
Get Intance name. More... | |
const CoinPackedMatrix * | getMatrix () |
Get constraint matrix for analysis. More... | |
void | setInfinity () |
Set the value of infinity. More... | |
DecompApp (UtilParameters &utilParam) | |
Constructor for base DecompApp class. More... | |
virtual | ~DecompApp () |
Destructor. More... | |
void | startupLog () |
Initialize the DecompApp data. More... | |
int | createModel () |
virtual void | APPcreateModel (double *&objCoeff, map< int, DecompConstraintSet * > &modelCore, map< int, DecompConstraintSet * > &modelRelax)=0 |
virtual bool | APPisUserFeasible (const double *x, const int n_cols, const double tolZero) |
virtual int | APPheuristics (const double *xhat, vector< DecompSolution * > &xhatIPFeas) |
virtual int | generateInitVars (DecompVarList &initVars, int whichModel) |
virtual int | generateCuts (const double *x, const DecompConstraintSet &modelCore, const DecompConstraintSet &modelRelax, DecompCutList &newCuts) |
virtual decompStat | APPsolveRelaxed (const int whichModel, const double *redCostX, const double *origCost, const double alpha, const int n_origCols, const bool checkRC, const bool checkDup, OsiSolverInterface *m_subprobSI, list< DecompVar * > &vars) |
virtual void | printOriginalColumn (const int index, ostream *os=&cout) const |
virtual void | printOriginalSolution (const int n_cols, const double *solution, ostream *os=&cout) const |
DecompApp (UtilParameters &utilParam) | |
virtual | ~DecompApp () |
Helper functions. | |
void | preprocess () |
Preprocess (standard ): on the TODO list. More... | |
void | startupLog () |
Print startup message to log. More... | |
int | createModel () |
Preprocess (standard ): on the TODO list. More... | |
const double | getBestKnownLB () const |
Preprocess (standard ): on the TODO list. More... | |
const double | getBestKnownUB () const |
Preprocess (standard ): on the TODO list. More... | |
void | setBestKnownLB (const double bestKnownLB) |
Preprocess (standard ): on the TODO list. More... | |
void | setBestKnownUB (const double bestKnownUB) |
Preprocess (standard ): on the TODO list. More... | |
void | setModelObjective (const double *objective, const int length) |
Set the model objective function. More... | |
void | setModelCore (DecompConstraintSet *model, const std::string modelName) |
Set the model core constraint matrix. More... | |
void | setModelRelax (DecompConstraintSet *model, const std::string modelName="", const int blockId=0) |
Set the model relaxed constraint matrix (for a particular block). More... | |
void | setModelRelaxNest (DecompConstraintSet *model, const std::string modelName, const int blockId=0) |
Set the model relaxed (nested) constraint matrix (for a particular block). More... | |
DecompAlgo * | getDecompAlgo () const |
Get a pointer to the base algorithm class. More... | |
Interface methods for user derivation (virtual). | |
virtual void | initDualVector (std::vector< double > &dualVector) |
Initialize the dual vector for PhaseII of PC. More... | |
virtual bool | APPisUserFeasible (const double *x, const int numCols, const double tolZero) |
Method to determine if the solution (x) is feasible to the original model. More... | |
virtual int | APPheuristics (const double *xhat, const double *origCost, std::vector< DecompSolution * > &xhatIPFeas) |
Initialize the dual vector for PhaseII of PC. More... | |
virtual const double * | getDualForGenerateVars (const double *dual) |
This function allows the user to return their own dual vector to be used in the generation of new variables (in the reduced-cost calculation). More... | |
virtual int | generateInitVars (DecompVarList &initVars) |
Initialize the dual vector for PhaseII of PC. More... | |
virtual int | generateCuts (const double *x, DecompCutList &newCuts) |
Initialize the dual vector for PhaseII of PC. More... | |
virtual void | solveRelaxedWhich (std::vector< int > &blocksToSolve, std::map< int, std::vector< double > > &userDualsByBlock) |
Initialize the dual vector for PhaseII of PC. More... | |
virtual DecompSolverStatus | solveRelaxed (const int whichBlock, const double *redCostX, const double target, DecompVarList &varList) |
Initialize the dual vector for PhaseII of PC. More... | |
virtual DecompSolverStatus | solveRelaxedNest (const int whichBlock, const double *redCostX, const double target, DecompVarList &varList) |
Initialize the dual vector for PhaseII of PC. More... | |
virtual void | printOriginalColumn (const int index, std::ostream *os=&std::cout) const |
Initialize the dual vector for PhaseII of PC. More... | |
virtual void | printOriginalSolution (const int n_cols, const std::vector< std::string > &colNames, const double *solution, std::ostream *os=&std::cout) const |
Initialize the dual vector for PhaseII of PC. More... | |
Public Attributes | |
int | NumBlocks |
Number of Blocks defalut value 0 set by BlockNumInput parameter. More... | |
DecompParam | m_param |
Parameters. More... | |
UtilParameters * | m_utilParam |
const double * | m_objective |
Model data: objective function. More... | |
DecompModel | m_modelCore |
Model data: the core model (A'') More... | |
std::map< int, DecompModel > | m_modelRelax |
Model data: the relaxed model(s) (A') More... | |
std::map< int, std::vector < DecompModel > > | m_modelRelaxNest |
Model data: the relaxed (nested) model(s) (A') More... | |
DecompAlgo * | m_decompAlgo |
Pointer to the base algorithmic object. More... | |
CoinMpsIO | m_mpsIO |
MPS object for reading instances. More... | |
CoinLpIO | m_lpIO |
LP object for reading instances. More... | |
const CoinPackedMatrix * | m_matrix |
Original constraint matrix for the instance. More... | |
DecompConstraintSet * | m_modelC |
The model constraint systems used for different algos. More... | |
std::map< int, DecompConstraintSet * > | m_modelR |
std::map< int, std::vector< int > > | m_blocks |
Definition of blocks (by rows) More... | |
int | m_threadIndex |
serves as an index to track different DecompApp object during Concurrent process, where when m_threadIndex is 0, problem is solved by cutting plance from standalone solver, when it is greater than 0, it is solved by branch-and-price, More... | |
double | m_infinity |
The value of infinity. More... | |
DecompModel | m_model |
map< int, DecompConstraintSet * > | m_modelCore |
map< int, DecompConstraintSet * > | m_modelRelax |
Protected Attributes | |
std::ostream * | m_osLog |
Log file. More... | |
double | m_bestKnownLB |
The best known LB/UB for this application (if known, for debugging). More... | |
double | m_bestKnownUB |
ostream * | m_osLog |
Private Member Functions | |
DecompApp (const DecompApp &) | |
DecompApp & | operator= (const DecompApp &) |
Private Attributes | |
std::string | m_classTag |
Store the name of the class (for logging/debugging) - "who am I?". More... | |
Static Private Attributes | |
static const char * | m_classTag |
The main application class.
The main application class where the user will define the model decomposition and define any application specific methods.
The main application class where the user will define the model decomposition and define any application specific methods.
Definition at line 48 of file DecompApp.h.
|
inline |
Constructor for base DecompApp class.
This accepts a generic parameters object (UtilParameters) and reads in the parameter settings into the DecompApp paramter object.
Definition at line 442 of file DecompApp.h.
References DecompParam::dumpSettings(), DecompParam::getSettings(), DecompParam::LogLevel, m_param, setInfinity(), and startupLog().
|
inlinevirtual |
Destructor.
Definition at line 472 of file DecompApp.h.
References m_modelC, m_modelR, m_objective, UTIL_DELARR, UTIL_DELPTR, and UtilDeleteMapPtr().
|
private |
Disable copy constructors.
|
inline |
Definition at line 137 of file DecompApp.h.
References DecompParam::getSettings(), m_param, and startupLog().
|
inlinevirtual |
Definition at line 146 of file DecompApp.h.
References m_modelCore, m_modelRelax, and UTIL_DELPTR.
void DecompApp::preprocess | ( | ) |
Preprocess (standard ): on the TODO list.
void DecompApp::startupLog | ( | ) |
Print startup message to log.
Referenced by DecompApp().
int DecompApp::createModel | ( | ) |
Preprocess (standard ): on the TODO list.
|
inline |
Preprocess (standard ): on the TODO list.
Definition at line 169 of file DecompApp.h.
References m_bestKnownLB.
|
inline |
Preprocess (standard ): on the TODO list.
Definition at line 172 of file DecompApp.h.
References m_bestKnownUB.
|
inline |
Preprocess (standard ): on the TODO list.
Definition at line 176 of file DecompApp.h.
References m_bestKnownLB.
|
inline |
Preprocess (standard ): on the TODO list.
Definition at line 179 of file DecompApp.h.
References m_bestKnownUB.
|
inline |
Set the model objective function.
NOTE: The user application MUST call this method.
Definition at line 189 of file DecompApp.h.
References m_objective.
|
inline |
Set the model core constraint matrix.
NOTE: The user application MUST call this method.
Definition at line 205 of file DecompApp.h.
References DecompConstraintSet::hasPrepRun(), m_infinity, m_modelCore, DecompConstraintSet::prepareModel(), DecompModel::setModel(), and DecompModel::setModelName().
void DecompApp::setModelRelax | ( | DecompConstraintSet * | model, |
const std::string | modelName = "" , |
||
const int | blockId = 0 |
||
) |
Set the model relaxed constraint matrix (for a particular block).
NOTE: The user application MUST call this method IF they are not deriving the function DecompApp::solveRelaxed.
void DecompApp::setModelRelaxNest | ( | DecompConstraintSet * | model, |
const std::string | modelName, | ||
const int | blockId = 0 |
||
) |
Set the model relaxed (nested) constraint matrix (for a particular block).
|
inline |
Get a pointer to the base algorithm class.
Definition at line 256 of file DecompApp.h.
References m_decompAlgo.
Referenced by AlpsDecompSolution::print().
|
inlinevirtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
Definition at line 282 of file DecompApp.h.
|
inlinevirtual |
Method to determine if the solution (x) is feasible to the original model.
For explicitly defined model components, like the model core constraints (A''), the feasibility of the solution is automatically checked against the constraints. In the case when the relaxed problem constraints (A') are explicitly defined - these are also checked automatically.
However, for some applications, a valid feasible constraint system cannot be explicitly defined (even for the core set of constraints). For example, think of the case of TSP, where A'' is defined as the subtour elimination constraints. These constraints are implicitly defined by deriving the method DecompApp::generateCuts. Therefore, the framework cannot automatically tell if a solution is feasible by checking against the constraint system. In this case, the user must provide this method.
[in] | x | The solution point to check. |
[in] | numCols | The number of variables. |
[in] | tolZero | The integrality tolerance (currently ignored). |
Reimplemented in VRP_DecompApp, TSP_DecompApp, DippyDecompApp, and ATM_DecompApp.
Definition at line 310 of file DecompApp.h.
|
inlinevirtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
Reimplemented in MAD_DecompApp, and DippyDecompApp.
Definition at line 316 of file DecompApp.h.
|
inlinevirtual |
This function allows the user to return their own dual vector to be used in the generation of new variables (in the reduced-cost calculation).
For reference, the user is given the dual vector from the restricted master (or the stabilized dual, if using m_param.DualStab).
Definition at line 330 of file DecompApp.h.
|
virtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
Reimplemented in MAD_DecompApp, DippyDecompApp, MILPBlock_DecompApp, SmallIP_DecompApp, and SmallIP_DecompApp.
|
virtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
Reimplemented in VRP_DecompApp, DippyDecompApp, and TSP_DecompApp.
|
inlinevirtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
Definition at line 339 of file DecompApp.h.
|
inlinevirtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
Reimplemented in VRP_DecompApp, MMKP_DecompApp, DippyDecompApp, TSP_DecompApp, and SmallIP_DecompApp.
Definition at line 344 of file DecompApp.h.
References DecompSolStatNoSolution.
|
inlinevirtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
Definition at line 350 of file DecompApp.h.
References DecompSolStatNoSolution.
|
virtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
|
virtual |
Initialize the dual vector for PhaseII of PC.
The user is passed a reference to the internal data and can manipulate it directly.
This is only called when dual stabilization is used, i.e., when m_param.DualStab > 0, at the first iteration of PhaseII of PC. The vector is immediately smoothed with the initial restricted master duals. By default, the restricted mater is used as the initial dual and, therefore, no smoothing occurs in the first iteration.
Referenced by AlpsDecompSolution::print().
|
virtual |
Initialize applications.
Reimplemented in VRP_DecompApp, MMKP_DecompApp, GAP_DecompApp, TSP_DecompApp, ATM_DecompApp, MILPBlock_DecompApp, MCF_DecompApp, and SDPUC_DecompApp.
Referenced by AP3_DecompApp::AP3_DecompApp(), MAD_DecompApp::MAD_DecompApp(), and MILP_DecompApp::MILP_DecompApp().
void DecompApp::createModels | ( | ) |
Create model parts.
DecompConstraintSet* DecompApp::createModelPart | ( | const int | nRowsPart, |
const int * | rowsPart | ||
) |
void DecompApp::createModelPart | ( | DecompConstraintSet * | model, |
const int | nRowsPart, | ||
const int * | rowsPart | ||
) |
void DecompApp::createModelPartSparse | ( | DecompConstraintSet * | model, |
const int | nRowsPart, | ||
const int * | rowsPart | ||
) |
void DecompApp::readInitSolutionFile | ( | DecompVarList & | initVars | ) |
void DecompApp::readBlockFile | ( | ) |
Read block file.
void DecompApp::readProblem | ( | ) |
Read Problem.
void DecompApp::singlyBorderStructureDetection | ( | ) |
Automatically detect singly bordered structure.
void DecompApp::findActiveColumns | ( | const std::vector< int > & | rowsPart, |
std::set< int > & | activeColsSet | ||
) |
Find the active columns for some block.
|
inline |
Get Intance name.
Definition at line 414 of file DecompApp.h.
References DecompParam::Instance, and m_param.
|
inline |
Get constraint matrix for analysis.
Definition at line 429 of file DecompApp.h.
References m_matrix.
void DecompApp::setInfinity | ( | ) |
Set the value of infinity.
Referenced by DecompApp().
void DecompApp::startupLog | ( | ) |
Initialize the DecompApp data.
int DecompApp::createModel | ( | ) |
|
pure virtual |
|
inlinevirtual |
Reimplemented in VRP_DecompApp, TSP_DecompApp, DippyDecompApp, and ATM_DecompApp.
Definition at line 95 of file DecompApp.h.
|
inlinevirtual |
Definition at line 101 of file DecompApp.h.
|
virtual |
|
virtual |
|
inlinevirtual |
Reimplemented in AP3_DecompApp.
Definition at line 115 of file DecompApp.h.
References STAT_UNKNOWN.
|
virtual |
Reimplemented in MAD_DecompApp, AP3_DecompApp, VRP_DecompApp, MMKP_DecompApp, GAP_DecompApp, GAP_DecompApp, and TSP_DecompApp.
|
virtual |
Reimplemented in MAD_DecompApp.
|
private |
Store the name of the class (for logging/debugging) - "who am I?".
Definition at line 54 of file DecompApp.h.
|
protected |
Log file.
Definition at line 60 of file DecompApp.h.
Referenced by MCF_DecompApp::MCF_DecompApp(), and VRP_DecompApp::VRP_DecompApp().
|
protected |
The best known LB/UB for this application (if known, for debugging).
Definition at line 65 of file DecompApp.h.
Referenced by getBestKnownLB(), and setBestKnownLB().
|
protected |
Definition at line 66 of file DecompApp.h.
Referenced by getBestKnownUB(), and setBestKnownUB().
int DecompApp::NumBlocks |
Number of Blocks defalut value 0 set by BlockNumInput parameter.
Definition at line 74 of file DecompApp.h.
DecompParam DecompApp::m_param |
Parameters.
Parameters.
Definition at line 79 of file DecompApp.h.
Referenced by DecompApp(), getInstanceName(), DecompAlgoD::setObjBoundIP(), DecompAlgo::setObjBoundIP(), and DecompAlgoD::solveD().
UtilParameters* DecompApp::m_utilParam |
Definition at line 80 of file DecompApp.h.
const double* DecompApp::m_objective |
Model data: objective function.
Definition at line 85 of file DecompApp.h.
Referenced by DecompAlgo::getOrigObjective(), setModelObjective(), and ~DecompApp().
DecompModel DecompApp::m_modelCore |
Model data: the core model (A'')
Definition at line 90 of file DecompApp.h.
Referenced by setModelCore(), and ~DecompApp().
std::map<int, DecompModel> DecompApp::m_modelRelax |
Model data: the relaxed model(s) (A')
Definition at line 95 of file DecompApp.h.
Referenced by ~DecompApp().
std::map<int, std::vector<DecompModel> > DecompApp::m_modelRelaxNest |
Model data: the relaxed (nested) model(s) (A')
Definition at line 100 of file DecompApp.h.
DecompAlgo* DecompApp::m_decompAlgo |
Pointer to the base algorithmic object.
NOTE: only for the advanced user
Definition at line 106 of file DecompApp.h.
Referenced by DecompAlgo::DecompAlgo(), and getDecompAlgo().
CoinMpsIO DecompApp::m_mpsIO |
MPS object for reading instances.
Definition at line 113 of file DecompApp.h.
CoinLpIO DecompApp::m_lpIO |
LP object for reading instances.
Definition at line 116 of file DecompApp.h.
const CoinPackedMatrix* DecompApp::m_matrix |
Original constraint matrix for the instance.
Definition at line 120 of file DecompApp.h.
Referenced by getMatrix().
DecompConstraintSet* DecompApp::m_modelC |
The model constraint systems used for different algos.
Definition at line 123 of file DecompApp.h.
Referenced by ~DecompApp().
std::map<int, DecompConstraintSet*> DecompApp::m_modelR |
Definition at line 124 of file DecompApp.h.
Referenced by ~DecompApp().
std::map<int, std::vector<int> > DecompApp::m_blocks |
Definition of blocks (by rows)
Definition at line 128 of file DecompApp.h.
int DecompApp::m_threadIndex |
serves as an index to track different DecompApp object during Concurrent process, where when m_threadIndex is 0, problem is solved by cutting plance from standalone solver, when it is greater than 0, it is solved by branch-and-price,
Definition at line 140 of file DecompApp.h.
double DecompApp::m_infinity |
|
staticprivate |
Store the name of the class (for logging/debugging) - "who am I?"
Definition at line 55 of file DecompApp.h.
|
protected |
Log file.
Definition at line 61 of file DecompApp.h.
DecompModel DecompApp::m_model |
Model data object.
Definition at line 72 of file DecompApp.h.
map<int, DecompConstraintSet*> DecompApp::m_modelCore |
Definition at line 73 of file DecompApp.h.
map<int, DecompConstraintSet*> DecompApp::m_modelRelax |
Definition at line 74 of file DecompApp.h.