#include <VRP_DecompApp.h>

Inheritance diagram for VRP_DecompApp:

Collaboration diagram for VRP_DecompApp:

Public Member Functions
virtual DecompSolverStatus	solveRelaxed (const int whichBlock, const double *redCostX, const double convexDual, DecompVarList &varList)
	Solve the relaxed problem. More...

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

virtual 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 void	printOriginalColumn (const int index, ostream *os) const

Helper functions (public).
void	initializeApp ()
	Initialize applications. More...

void	createModels ()

void	createModelTwoDegree (DecompConstraintSet *model)

void	createModelESPPCC (DecompConstraintSet *model)

const int	diGraphIndex (int i, int j, int numVertices)

const pair< int, int >	diGraphBothEnds (int index, int numVertices)

Constructor and Destructor
	VRP_DecompApp (UtilParameters &utilParam)
	Default constructor. More...

virtual	~VRP_DecompApp ()
	Default constructor. More...

Public Member Functions inherited from DecompApp
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	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 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 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...

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

VRP_Param	m_appParam
	Application specific parameters. More...

VRP_Instance	m_vrp
	Storage of TSP instance. More...

VRP_CVRPsep	m_cvrpSep
	Interface class for CVRPSEP methods. More...

VRP_Boost	m_boost
	Interface class for Boost methods. More...

VRP_Concorde	m_concorde
	Interface class for Concorde methods. More...

double *	m_objective
	The model objective coefficients (original space). More...

vector< DecompConstraintSet * >	m_models
	The various model constraint systems used for different algos. More...

DecompConstraintSet *	m_modelESPPRC

Additional Inherited Members
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 for solving the Traveling Salesman Problem.

See Also: DecompApp

Definition at line 42 of file VRP_DecompApp.h.

Constructor & Destructor Documentation

VRP_DecompApp::VRP_DecompApp ( UtilParameters & utilParam )

inline

Default constructor.

Takes an instance of UtilParameters

Definition at line 119 of file VRP_DecompApp.h.

References VRP_Param::dumpSettings(), VRP_Param::getSettings(), initializeApp(), VRP_Param::LogLevel, m_appParam, and DecompApp::m_osLog.

virtual VRP_DecompApp::~VRP_DecompApp ( )

inlinevirtual

Default constructor.

Takes an instance of UtilParameters

Definition at line 135 of file VRP_DecompApp.h.

References m_models, m_objective, UTIL_DELARR, and UtilDeleteVectorPtr().

Member Function Documentation

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

virtual

Solve the relaxed problem.

Reimplemented from DecompApp.

virtual int VRP_DecompApp::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.

virtual bool VRP_DecompApp::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 void VRP_DecompApp::printOriginalColumn	(	const int	index,
		ostream *	os
	)		const

virtual

Reimplemented from DecompApp.

void VRP_DecompApp::initializeApp ( )

virtual

Initialize applications.

Reimplemented from DecompApp.

Referenced by VRP_DecompApp().

void VRP_DecompApp::createModels ( )

void VRP_DecompApp::createModelTwoDegree ( DecompConstraintSet * model )

void VRP_DecompApp::createModelESPPCC ( DecompConstraintSet * model )

const int VRP_DecompApp::diGraphIndex	(	int	i,
		int	j,
		int	numVertices
	)

inline

Definition at line 107 of file VRP_DecompApp.h.

const pair<int,int> VRP_DecompApp::diGraphBothEnds	(	int	index,
		int	numVertices
	)

inline

Definition at line 110 of file VRP_DecompApp.h.

Member Data Documentation

const string VRP_DecompApp::m_classTag

private

Class id tag (for log / debugging).

Definition at line 45 of file VRP_DecompApp.h.

VRP_Param VRP_DecompApp::m_appParam

private

Application specific parameters.

Definition at line 48 of file VRP_DecompApp.h.

Referenced by VRP_DecompApp().

VRP_Instance VRP_DecompApp::m_vrp

private

Storage of TSP instance.

Definition at line 51 of file VRP_DecompApp.h.

VRP_CVRPsep VRP_DecompApp::m_cvrpSep

private

Interface class for CVRPSEP methods.

Definition at line 54 of file VRP_DecompApp.h.

VRP_Boost VRP_DecompApp::m_boost

private

Interface class for Boost methods.

Definition at line 57 of file VRP_DecompApp.h.

VRP_Concorde VRP_DecompApp::m_concorde

private

Interface class for Concorde methods.

Definition at line 61 of file VRP_DecompApp.h.

double* VRP_DecompApp::m_objective

private

The model objective coefficients (original space).

Definition at line 65 of file VRP_DecompApp.h.

Referenced by ~VRP_DecompApp().

vector<DecompConstraintSet*> VRP_DecompApp::m_models

private

The various model constraint systems used for different algos.

Definition at line 68 of file VRP_DecompApp.h.

Referenced by ~VRP_DecompApp().

DecompConstraintSet* VRP_DecompApp::m_modelESPPRC

private

Definition at line 69 of file VRP_DecompApp.h.

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

/tmp/Dip-0.92.4/Dip/examples/VRP/VRP_DecompApp.h

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation