sepa_cmir.h File Reference

Detailed Description

complemented mixed integer rounding cuts separator (Marchand's version)

Author

Kati Wolter

Tobias Achterberg

Definition in file sepa_cmir.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPcutGenerationHeuristicCmir (SCIP *scip, SCIP_SEPA *sepa, SCIP_SOL *sol, SCIP_Real *varsolvals, int maxtestdelta, SCIP_Real *rowweights, SCIP_Real boundswitch, SCIP_Bool usevbds, SCIP_Bool allowlocal, SCIP_Bool fixintegralrhs, int maxmksetcoefs, SCIP_Real maxweightrange, SCIP_Real minfrac, SCIP_Real maxfrac, SCIP_Bool trynegscaling, SCIP_Bool cutremovable, const char *cutclassname, SCIP_Bool *cutoff, int *ncuts, SCIP_Real *delta, SCIP_Bool *deltavalid)
SCIP_RETCODE	SCIPincludeSepaCmir (SCIP *scip)

Function Documentation

SCIP_RETCODE SCIPcutGenerationHeuristicCmir	(	SCIP *	scip,
		SCIP_SEPA *	sepa,
		SCIP_SOL *	sol,
		SCIP_Real *	varsolvals,
		int	maxtestdelta,
		SCIP_Real *	rowweights,
		SCIP_Real	boundswitch,
		SCIP_Bool	usevbds,
		SCIP_Bool	allowlocal,
		SCIP_Bool	fixintegralrhs,
		int	maxmksetcoefs,
		SCIP_Real	maxweightrange,
		SCIP_Real	minfrac,
		SCIP_Real	maxfrac,
		SCIP_Bool	trynegscaling,
		SCIP_Bool	cutremovable,
		const char *	cutclassname,
		SCIP_Bool *	cutoff,
		int *	ncuts,
		SCIP_Real *	delta,
		SCIP_Bool *	deltavalid
	)

Performs the cut generation heuristic of the c-MIR separation algorithm, i.e., tries to generate a c-MIR cut which is valid for the mixed knapsack set corresponding to the current aggregated constraint. Cuts will only be added here if no pointer to store best scaling factor delta is given.

Parameters

scip	SCIP data structure
sepa	separator
sol	the solution that should be separated, or NULL for LP solution
varsolvals	LP solution value of all variables in LP
maxtestdelta	maximal number of different deltas to try (-1: unlimited)
rowweights	weight of rows in aggregated row
boundswitch	fraction of domain up to which lower bound is used in transformation
usevbds	should variable bounds be used in bound transformation?
allowlocal	should local information allowed to be used, resulting in a local cut?
fixintegralrhs	should complementation tried to be adjusted such that rhs gets fractional?
maxmksetcoefs	maximal number of nonzeros allowed in aggregated base inequality
maxweightrange	maximal valid range max(|weights|)/min(|weights|) of row weights
minfrac	minimal fractionality of rhs to produce MIR cut for
maxfrac	maximal fractionality of rhs to produce MIR cut for
trynegscaling	should negative values also be tested in scaling?
cutremovable	should the cut be removed from the LP due to aging or cleanup?
cutclassname	name of cut class to use for row names
cutoff	whether a cutoff has been detected
ncuts	pointer to count the number of generated cuts
delta	pointer to store best delta found; NULL, if cut should be added here
deltavalid	pointer to store whether best delta value is valid or NULL

Definition at line 421 of file sepa_cmir.c.

References addCut(), FALSE, MAX, NULL, REALABS, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_CONTINUOUS, SCIPallocBufferArray, SCIPcalcMIR(), SCIPfreeBufferArray, SCIPgetNContVars(), SCIPgetNVars(), SCIPgetVars(), SCIPisEfficacious(), SCIPisEQ(), SCIPisFeasZero(), SCIPvarGetLbLocal(), SCIPvarGetProbindex(), SCIPvarGetType(), SCIPvarGetUbLocal(), SCIPvarIsActive(), SCIPvarIsIntegral(), TRUE, and tryDelta().

Referenced by aggregation(), and createZerohalfCutFromZerohalfWeightvector().

SCIP_RETCODE SCIPincludeSepaCmir

(

SCIP *

scip

)

creates the cmir separator and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 1543 of file sepa_cmir.c.

References DEFAULT_AGGRTOL, DEFAULT_DENSITYOFFSET, DEFAULT_DENSITYSCORE, DEFAULT_DYNAMICCUTS, DEFAULT_FIXINTEGRALRHS, DEFAULT_MAXAGGDENSITY, DEFAULT_MAXAGGRS, DEFAULT_MAXAGGRSROOT, DEFAULT_MAXCONTS, DEFAULT_MAXCONTSROOT, DEFAULT_MAXFAILS, DEFAULT_MAXFAILSROOT, DEFAULT_MAXROUNDS, DEFAULT_MAXROUNDSROOT, DEFAULT_MAXROWDENSITY, DEFAULT_MAXROWFAC, DEFAULT_MAXSEPACUTS, DEFAULT_MAXSEPACUTSROOT, DEFAULT_MAXSLACK, DEFAULT_MAXSLACKROOT, DEFAULT_MAXTESTDELTA, DEFAULT_MAXTRIES, DEFAULT_MAXTRIESROOT, DEFAULT_SLACKSCORE, DEFAULT_TRYNEGSCALING, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocMemory, SCIPincludeSepaBasic(), SCIPsetSepaCopy(), SCIPsetSepaFree(), SEPA_DELAY, SEPA_DESC, SEPA_FREQ, SEPA_MAXBOUNDDIST, SEPA_NAME, SEPA_PRIORITY, SEPA_USESSUBSCIP, and TRUE.

Referenced by SCIP_DECL_SEPACOPY(), and SCIPincludeDefaultPlugins().