#include <DippyDecompApp.h>

Inheritance diagram for DippyDecompApp:

Collaboration diagram for DippyDecompApp:

Private Attributes
const string	m_classTag
	Class id tag (for log / debugging). More...

PyObject *	m_pProb
	The various model constraint systems used for different algos. More...

int	m_numCols

bool	m_pySolveRelaxed
	Flags for Python callbacks. More...

bool	m_pyIsUserFeasible

bool	m_pyGenerateCuts

bool	m_pyHeuristics

bool	m_pyInitVars

Helper functions (public).
PyObject *	m_rowList

map< PyObject *, int >	m_rowIndices

PyObject *	m_colList

map< PyObject *, int >	m_colIndices

PyObject *	m_relaxedKeys

map< PyObject *, int >	m_relaxIndices

void	addPuLPProb (PyObject *p)

void	createModels ()

virtual DecompSolverStatus	solveRelaxed (const int whichBlock, const double *redCostX, const double convexDual, DecompVarList &varList)
	Initialize the dual vector for PhaseII of PC. More...

bool	APPisUserFeasible (const double *x, const int n_cols, const double tolZero)
	Method to determine if the solution (x) is feasible to the original model. More...

virtual int	generateCuts (const double *x, DecompCutList &newCuts)
	Initialize the dual vector for PhaseII of PC. More...

int	APPheuristics (const double xhat, const double origCost, vector< DecompSolution * > &xhatIPFeas)
	Initialize the dual vector for PhaseII of PC. More...

int	generateInitVars (DecompVarList &initVars)
	Initialize the dual vector for PhaseII of PC. More...

	DippyDecompApp (UtilParameters &utilParam, PyObject *p)

virtual	~DippyDecompApp ()

Additional Inherited Members
Public Member Functions inherited from DecompApp
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 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 ()

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...

virtual void	initDualVector (std::vector< double > &dualVector)
	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 void	solveRelaxedWhich (std::vector< int > &blocksToSolve, std::map< int, std::vector< double > > &userDualsByBlock)
	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 inherited from DecompApp
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 inherited from DecompApp
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

Detailed Description

A DecompApp that links Python to DIP.

See Also: DecompApp

Definition at line 25 of file DippyDecompApp.h.

Constructor & Destructor Documentation

DippyDecompApp::DippyDecompApp	(	UtilParameters &	utilParam,
		PyObject *	p
	)

inline

Definition at line 79 of file DippyDecompApp.h.

References UtilParameters::GetSetting().

virtual DippyDecompApp::~DippyDecompApp ( )

inlinevirtual

Definition at line 92 of file DippyDecompApp.h.

References DecompModel::getModel(), and DecompModel::setModel().

Member Function Documentation

void DippyDecompApp::addPuLPProb ( PyObject * p )

inline

Definition at line 48 of file DippyDecompApp.h.

void DippyDecompApp::createModels ( )

virtual DecompSolverStatus DippyDecompApp::solveRelaxed	(	const int	whichBlock,
		const double *	redCostX,
		const double	target,
		DecompVarList &	varList
	)

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 from DecompApp.

bool DippyDecompApp::APPisUserFeasible	(	const double *	x,
		const int	numCols,
		const double	tolZero
	)

virtual

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.

Parameters

[in]	x	The solution point to check.
[in]	numCols	The number of variables.
[in]	tolZero	The integrality tolerance (currently ignored).

Returns: True, if x is feasible; otherwise, false.

Reimplemented from DecompApp.

virtual int DippyDecompApp::generateCuts	(	const double *	x,
		DecompCutList &	newCuts
	)

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 from DecompApp.

int DippyDecompApp::APPheuristics	(	const double *	xhat,
		const double *	origCost,
		vector< DecompSolution * > &	xhatIPFeas
	)

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 from DecompApp.

int DippyDecompApp::generateInitVars ( DecompVarList & initVars )

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 from DecompApp.

Member Data Documentation

const string DippyDecompApp::m_classTag

private

Class id tag (for log / debugging).

Definition at line 28 of file DippyDecompApp.h.

PyObject* DippyDecompApp::m_pProb

private

The various model constraint systems used for different algos.

Definition at line 32 of file DippyDecompApp.h.

int DippyDecompApp::m_numCols

private

Definition at line 34 of file DippyDecompApp.h.

bool DippyDecompApp::m_pySolveRelaxed

private

Flags for Python callbacks.

Definition at line 37 of file DippyDecompApp.h.

bool DippyDecompApp::m_pyIsUserFeasible

private

Definition at line 38 of file DippyDecompApp.h.

bool DippyDecompApp::m_pyGenerateCuts

private

Definition at line 39 of file DippyDecompApp.h.

bool DippyDecompApp::m_pyHeuristics

private

Definition at line 40 of file DippyDecompApp.h.

bool DippyDecompApp::m_pyInitVars

private

Definition at line 41 of file DippyDecompApp.h.

PyObject* DippyDecompApp::m_rowList

Definition at line 70 of file DippyDecompApp.h.

map<PyObject*, int> DippyDecompApp::m_rowIndices

Definition at line 71 of file DippyDecompApp.h.

PyObject* DippyDecompApp::m_colList

Definition at line 72 of file DippyDecompApp.h.

map<PyObject*, int> DippyDecompApp::m_colIndices

Definition at line 73 of file DippyDecompApp.h.

PyObject* DippyDecompApp::m_relaxedKeys

Definition at line 75 of file DippyDecompApp.h.

map<PyObject*, int> DippyDecompApp::m_relaxIndices

Definition at line 76 of file DippyDecompApp.h.

The documentation for this class was generated from the following file:

/tmp/Dip-0.92.4/Dip/src/dippy/DippyDecompApp.h

Private Attributes

Helper functions (public).

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation