Parameters with prefix separating/cgmip. More...

Variables
constexpr Param< bool >	ADDVIOLATIONCONS { "separating/cgmip/addviolationcons" }
	add constraint to subscip that only allows violated cuts (otherwise add obj. limit)?

constexpr Param< bool >	ADDVIOLCONSHDLR { "separating/cgmip/addviolconshdlr" }
	add constraint handler to filter out violated cuts?

constexpr Param< bool >	CMIROWNBOUNDS { "separating/cgmip/cmirownbounds" }
	tell CMIR-generator which bounds to used in rounding?

constexpr Param< bool >	CONSHDLRUSENORM { "separating/cgmip/conshdlrusenorm" }
	should the violation constraint handler use the norm of a cut to check for feasibility?

constexpr Param< bool >	CONTCONVERT { "separating/cgmip/contconvert" }
	Convert some integral variables to be continuous to reduce the size of the sub-MIP?

constexpr Param< double >	CONTCONVFRAC { "separating/cgmip/contconvfrac" }
	fraction of integral variables converted to be continuous (if contconvert)

constexpr Param< int >	CONTCONVMIN { "separating/cgmip/contconvmin" }
	minimum number of integral variables before some are converted to be continuous

constexpr Param< double >	CUTCOEFBND { "separating/cgmip/cutcoefbnd" }
	bounds on the values of the coefficients in the CG-cut

constexpr Param< bool >	DECISIONTREE { "separating/cgmip/decisiontree" }
	Use decision tree to turn separation on/off?

constexpr Param< bool >	DELAY { "separating/cgmip/delay" }
	should separator be delayed, if other separators found cuts?

constexpr Param< bool >	DYNAMICCUTS { "separating/cgmip/dynamiccuts" }
	should generated cuts be removed from the LP if they are no longer tight?

constexpr Param< bool >	EARLYTERM { "separating/cgmip/earlyterm" }
	terminate separation if a violated (but possibly sub-optimal) cut has been found?

constexpr Param< int >	EXPBACKOFF { "separating/cgmip/expbackoff" }
	base for exponential increase of frequency at which separator <cgmip> is called (1: call at each multiple of frequency)

constexpr Param< int >	FREQ { "separating/cgmip/freq" }
	frequency for calling separator <cgmip> (-1: never, 0: only in root node)

constexpr Param< bool >	GENPRIMALSOLS { "separating/cgmip/genprimalsols" }
	Try to generate primal solutions from Gomory cuts?

constexpr Param< bool >	INTCONVERT { "separating/cgmip/intconvert" }
	Convert some integral variables attaining fractional values to have integral value?

constexpr Param< double >	INTCONVFRAC { "separating/cgmip/intconvfrac" }
	fraction of frac. integral variables converted to have integral value (if intconvert)

constexpr Param< int >	INTCONVMIN { "separating/cgmip/intconvmin" }
	minimum number of integral variables before some are converted to have integral value

constexpr Param< double >	MAXBOUNDDIST { "separating/cgmip/maxbounddist" }
	maximal relative distance from current node's dual bound to primal bound compared to best node's dual bound for applying separator <cgmip> (0.0: only on current best node, 1.0: on all nodes)

constexpr Param< int >	MAXDEPTH { "separating/cgmip/maxdepth" }
	maximal depth at which the separator is applied (-1: unlimited)

constexpr Param< long long >	MAXNODELIMIT { "separating/cgmip/maxnodelimit" }
	maximum number of nodes considered for sub-MIP (-1: unlimited)

constexpr Param< int >	MAXROUNDS { "separating/cgmip/maxrounds" }
	maximal number of cgmip separation rounds per node (-1: unlimited)

constexpr Param< int >	MAXROUNDSROOT { "separating/cgmip/maxroundsroot" }
	maximal number of cgmip separation rounds in the root node (-1: unlimited)

constexpr Param< int >	MAXROWAGE { "separating/cgmip/maxrowage" }
	maximal age of rows to consider if onlyactiverows is false

constexpr Param< double >	MEMORYLIMIT { "separating/cgmip/memorylimit" }
	memory limit for sub-MIP

constexpr Param< long long >	MINNODELIMIT { "separating/cgmip/minnodelimit" }
	minimum number of nodes considered for sub-MIP (-1: unlimited)

constexpr Param< bool >	OBJLONE { "separating/cgmip/objlone" }
	Should the objective of the sub-MIP minimize the l1-norm of the multipliers?

constexpr Param< double >	OBJWEIGHT { "separating/cgmip/objweight" }
	weight used for the row combination coefficient in the sub-MIP objective

constexpr Param< bool >	OBJWEIGHTSIZE { "separating/cgmip/objweightsize" }
	Weight each row by its size?

constexpr Param< bool >	ONLYACTIVEROWS { "separating/cgmip/onlyactiverows" }
	Use only active rows to generate cuts?

constexpr Param< bool >	ONLYINTVARS { "separating/cgmip/onlyintvars" }
	Generate cuts for problems with only integer variables?

constexpr Param< bool >	ONLYRANKONE { "separating/cgmip/onlyrankone" }
	Separate only rank 1 inequalities w.r.t. CG-MIP separator?

constexpr Param< bool >	OUTPUT { "separating/cgmip/output" }
	Should information about the sub-MIP and cuts be displayed?

constexpr Param< bool >	PRIMALSEPARATION { "separating/cgmip/primalseparation" }
	only separate cuts that are tight for the best feasible solution?

constexpr Param< int >	PRIORITY { "separating/cgmip/priority" }
	priority of separator <cgmip>

constexpr Param< bool >	SKIPMULTBOUNDS { "separating/cgmip/skipmultbounds" }
	Skip the upper bounds on the multipliers in the sub-MIP?

constexpr Param< bool >	SUBSCIPFAST { "separating/cgmip/subscipfast" }
	Should the settings for the sub-MIP be optimized for speed?

constexpr Param< double >	TIMELIMIT { "separating/cgmip/timelimit" }
	time limit for sub-MIP

constexpr Param< bool >	USECMIR { "separating/cgmip/usecmir" }
	use CMIR-generator (otherwise add cut directly)?

constexpr Param< bool >	USECUTPOOL { "separating/cgmip/usecutpool" }
	use cutpool to store CG-cuts even if the are not efficient?

constexpr Param< bool >	USEOBJLB { "separating/cgmip/useobjlb" }
	Use lower bound on objective function (via primal solution)?

constexpr Param< bool >	USEOBJUB { "separating/cgmip/useobjub" }
	Use upper bound on objective function (via primal solution)?

constexpr Param< bool >	USESTRONGCG { "separating/cgmip/usestrongcg" }
	use strong CG-function to strengthen cut?

Detailed Description

Parameters with prefix separating/cgmip.

Variable Documentation

◆ ADDVIOLATIONCONS

Param<bool> scippp::params::SEPARATING::CGMIP::ADDVIOLATIONCONS { "separating/cgmip/addviolationcons" }

constexpr

add constraint to subscip that only allows violated cuts (otherwise add obj. limit)?

Definition at line 6156 of file parameters.hpp.

◆ ADDVIOLCONSHDLR

Param<bool> scippp::params::SEPARATING::CGMIP::ADDVIOLCONSHDLR { "separating/cgmip/addviolconshdlr" }

constexpr

add constraint handler to filter out violated cuts?

Definition at line 6158 of file parameters.hpp.

◆ CMIROWNBOUNDS

Param<bool> scippp::params::SEPARATING::CGMIP::CMIROWNBOUNDS { "separating/cgmip/cmirownbounds" }

constexpr

tell CMIR-generator which bounds to used in rounding?

Definition at line 6148 of file parameters.hpp.

◆ CONSHDLRUSENORM

Param<bool> scippp::params::SEPARATING::CGMIP::CONSHDLRUSENORM { "separating/cgmip/conshdlrusenorm" }

constexpr

should the violation constraint handler use the norm of a cut to check for feasibility?

Definition at line 6160 of file parameters.hpp.

◆ CONTCONVERT

Param<bool> scippp::params::SEPARATING::CGMIP::CONTCONVERT { "separating/cgmip/contconvert" }

constexpr

Convert some integral variables to be continuous to reduce the size of the sub-MIP?

Definition at line 6122 of file parameters.hpp.

◆ CONTCONVFRAC

Param<double> scippp::params::SEPARATING::CGMIP::CONTCONVFRAC { "separating/cgmip/contconvfrac" }

constexpr

fraction of integral variables converted to be continuous (if contconvert)

Definition at line 6124 of file parameters.hpp.

◆ CONTCONVMIN

Param<int> scippp::params::SEPARATING::CGMIP::CONTCONVMIN { "separating/cgmip/contconvmin" }

constexpr

minimum number of integral variables before some are converted to be continuous

Definition at line 6126 of file parameters.hpp.

◆ CUTCOEFBND

Param<double> scippp::params::SEPARATING::CGMIP::CUTCOEFBND { "separating/cgmip/cutcoefbnd" }

constexpr

bounds on the values of the coefficients in the CG-cut

Definition at line 6112 of file parameters.hpp.

◆ DECISIONTREE

Param<bool> scippp::params::SEPARATING::CGMIP::DECISIONTREE { "separating/cgmip/decisiontree" }

constexpr

Use decision tree to turn separation on/off?

Definition at line 6102 of file parameters.hpp.

◆ DELAY

Param<bool> scippp::params::SEPARATING::CGMIP::DELAY { "separating/cgmip/delay" }

constexpr

should separator be delayed, if other separators found cuts?

Definition at line 6091 of file parameters.hpp.

◆ DYNAMICCUTS

Param<bool> scippp::params::SEPARATING::CGMIP::DYNAMICCUTS { "separating/cgmip/dynamiccuts" }

constexpr

should generated cuts be removed from the LP if they are no longer tight?

Definition at line 6142 of file parameters.hpp.

◆ EARLYTERM

Param<bool> scippp::params::SEPARATING::CGMIP::EARLYTERM { "separating/cgmip/earlyterm" }

constexpr

terminate separation if a violated (but possibly sub-optimal) cut has been found?

Definition at line 6154 of file parameters.hpp.

◆ EXPBACKOFF

Param<int> scippp::params::SEPARATING::CGMIP::EXPBACKOFF { "separating/cgmip/expbackoff" }

constexpr

base for exponential increase of frequency at which separator <cgmip> is called (1: call at each multiple of frequency)

Definition at line 6094 of file parameters.hpp.

◆ FREQ

Param<int> scippp::params::SEPARATING::CGMIP::FREQ { "separating/cgmip/freq" }

constexpr

frequency for calling separator <cgmip> (-1: never, 0: only in root node)

Definition at line 6086 of file parameters.hpp.

◆ GENPRIMALSOLS

Param<bool> scippp::params::SEPARATING::CGMIP::GENPRIMALSOLS { "separating/cgmip/genprimalsols" }

constexpr

Try to generate primal solutions from Gomory cuts?

Definition at line 6170 of file parameters.hpp.

◆ INTCONVERT

Param<bool> scippp::params::SEPARATING::CGMIP::INTCONVERT { "separating/cgmip/intconvert" }

constexpr

Convert some integral variables attaining fractional values to have integral value?

Definition at line 6128 of file parameters.hpp.

◆ INTCONVFRAC

Param<double> scippp::params::SEPARATING::CGMIP::INTCONVFRAC { "separating/cgmip/intconvfrac" }

constexpr

fraction of frac. integral variables converted to have integral value (if intconvert)

Definition at line 6130 of file parameters.hpp.

◆ INTCONVMIN

Param<int> scippp::params::SEPARATING::CGMIP::INTCONVMIN { "separating/cgmip/intconvmin" }

constexpr

minimum number of integral variables before some are converted to have integral value

Definition at line 6132 of file parameters.hpp.

◆ MAXBOUNDDIST

Param<double> scippp::params::SEPARATING::CGMIP::MAXBOUNDDIST { "separating/cgmip/maxbounddist" }

constexpr

maximal relative distance from current node's dual bound to primal bound compared to best node's dual bound for applying separator <cgmip> (0.0: only on current best node, 1.0: on all nodes)

Definition at line 6089 of file parameters.hpp.

◆ MAXDEPTH

Param<int> scippp::params::SEPARATING::CGMIP::MAXDEPTH { "separating/cgmip/maxdepth" }

constexpr

maximal depth at which the separator is applied (-1: unlimited)

Definition at line 6100 of file parameters.hpp.

◆ MAXNODELIMIT

Param<long long> scippp::params::SEPARATING::CGMIP::MAXNODELIMIT { "separating/cgmip/maxnodelimit" }

constexpr

maximum number of nodes considered for sub-MIP (-1: unlimited)

Definition at line 6110 of file parameters.hpp.

◆ MAXROUNDS

Param<int> scippp::params::SEPARATING::CGMIP::MAXROUNDS { "separating/cgmip/maxrounds" }

constexpr

maximal number of cgmip separation rounds per node (-1: unlimited)

Definition at line 6096 of file parameters.hpp.

◆ MAXROUNDSROOT

Param<int> scippp::params::SEPARATING::CGMIP::MAXROUNDSROOT { "separating/cgmip/maxroundsroot" }

constexpr

maximal number of cgmip separation rounds in the root node (-1: unlimited)

Definition at line 6098 of file parameters.hpp.

◆ MAXROWAGE

Param<int> scippp::params::SEPARATING::CGMIP::MAXROWAGE { "separating/cgmip/maxrowage" }

constexpr

maximal age of rows to consider if onlyactiverows is false

Definition at line 6116 of file parameters.hpp.

◆ MEMORYLIMIT

Param<double> scippp::params::SEPARATING::CGMIP::MEMORYLIMIT { "separating/cgmip/memorylimit" }

constexpr

memory limit for sub-MIP

Definition at line 6106 of file parameters.hpp.

◆ MINNODELIMIT

Param<long long> scippp::params::SEPARATING::CGMIP::MINNODELIMIT { "separating/cgmip/minnodelimit" }

constexpr

minimum number of nodes considered for sub-MIP (-1: unlimited)

Definition at line 6108 of file parameters.hpp.

◆ OBJLONE

Param<bool> scippp::params::SEPARATING::CGMIP::OBJLONE { "separating/cgmip/objlone" }

constexpr

Should the objective of the sub-MIP minimize the l1-norm of the multipliers?

Definition at line 6136 of file parameters.hpp.

◆ OBJWEIGHT

Param<double> scippp::params::SEPARATING::CGMIP::OBJWEIGHT { "separating/cgmip/objweight" }

constexpr

weight used for the row combination coefficient in the sub-MIP objective

Definition at line 6138 of file parameters.hpp.

◆ OBJWEIGHTSIZE

Param<bool> scippp::params::SEPARATING::CGMIP::OBJWEIGHTSIZE { "separating/cgmip/objweightsize" }

constexpr

Weight each row by its size?

Definition at line 6140 of file parameters.hpp.

◆ ONLYACTIVEROWS

Param<bool> scippp::params::SEPARATING::CGMIP::ONLYACTIVEROWS { "separating/cgmip/onlyactiverows" }

constexpr

Use only active rows to generate cuts?

Definition at line 6114 of file parameters.hpp.

◆ ONLYINTVARS

Param<bool> scippp::params::SEPARATING::CGMIP::ONLYINTVARS { "separating/cgmip/onlyintvars" }

constexpr

Generate cuts for problems with only integer variables?

Definition at line 6120 of file parameters.hpp.

◆ ONLYRANKONE

Param<bool> scippp::params::SEPARATING::CGMIP::ONLYRANKONE { "separating/cgmip/onlyrankone" }

constexpr

Separate only rank 1 inequalities w.r.t. CG-MIP separator?

Definition at line 6118 of file parameters.hpp.

◆ OUTPUT

Param<bool> scippp::params::SEPARATING::CGMIP::OUTPUT { "separating/cgmip/output" }

constexpr

Should information about the sub-MIP and cuts be displayed?

Definition at line 6168 of file parameters.hpp.

◆ PRIMALSEPARATION

Param<bool> scippp::params::SEPARATING::CGMIP::PRIMALSEPARATION { "separating/cgmip/primalseparation" }

constexpr

only separate cuts that are tight for the best feasible solution?

Definition at line 6152 of file parameters.hpp.

◆ PRIORITY

Param<int> scippp::params::SEPARATING::CGMIP::PRIORITY { "separating/cgmip/priority" }

constexpr

priority of separator <cgmip>

Definition at line 6084 of file parameters.hpp.

◆ SKIPMULTBOUNDS

Param<bool> scippp::params::SEPARATING::CGMIP::SKIPMULTBOUNDS { "separating/cgmip/skipmultbounds" }

constexpr

Skip the upper bounds on the multipliers in the sub-MIP?

Definition at line 6134 of file parameters.hpp.

◆ SUBSCIPFAST

Param<bool> scippp::params::SEPARATING::CGMIP::SUBSCIPFAST { "separating/cgmip/subscipfast" }

constexpr

Should the settings for the sub-MIP be optimized for speed?

Definition at line 6166 of file parameters.hpp.

◆ TIMELIMIT

Param<double> scippp::params::SEPARATING::CGMIP::TIMELIMIT { "separating/cgmip/timelimit" }

constexpr

time limit for sub-MIP

Definition at line 6104 of file parameters.hpp.

◆ USECMIR

Param<bool> scippp::params::SEPARATING::CGMIP::USECMIR { "separating/cgmip/usecmir" }

constexpr

use CMIR-generator (otherwise add cut directly)?

Definition at line 6144 of file parameters.hpp.

◆ USECUTPOOL

Param<bool> scippp::params::SEPARATING::CGMIP::USECUTPOOL { "separating/cgmip/usecutpool" }

constexpr

use cutpool to store CG-cuts even if the are not efficient?

Definition at line 6150 of file parameters.hpp.

◆ USEOBJLB

Param<bool> scippp::params::SEPARATING::CGMIP::USEOBJLB { "separating/cgmip/useobjlb" }

constexpr

Use lower bound on objective function (via primal solution)?

Definition at line 6164 of file parameters.hpp.

◆ USEOBJUB

Param<bool> scippp::params::SEPARATING::CGMIP::USEOBJUB { "separating/cgmip/useobjub" }

constexpr

Use upper bound on objective function (via primal solution)?

Definition at line 6162 of file parameters.hpp.

◆ USESTRONGCG

Param<bool> scippp::params::SEPARATING::CGMIP::USESTRONGCG { "separating/cgmip/usestrongcg" }

constexpr

use strong CG-function to strengthen cut?

Definition at line 6146 of file parameters.hpp.

SCIP++ refs/heads/main

Variables

Detailed Description

Variable Documentation

◆ ADDVIOLATIONCONS

◆ ADDVIOLCONSHDLR

◆ CMIROWNBOUNDS

◆ CONSHDLRUSENORM

◆ CONTCONVERT

◆ CONTCONVFRAC

◆ CONTCONVMIN

◆ CUTCOEFBND

◆ DECISIONTREE

◆ DELAY

◆ DYNAMICCUTS

◆ EARLYTERM

◆ EXPBACKOFF

◆ FREQ

◆ GENPRIMALSOLS

◆ INTCONVERT

◆ INTCONVFRAC

◆ INTCONVMIN

◆ MAXBOUNDDIST

◆ MAXDEPTH

◆ MAXNODELIMIT

◆ MAXROUNDS

◆ MAXROUNDSROOT

◆ MAXROWAGE

◆ MEMORYLIMIT

◆ MINNODELIMIT

◆ OBJLONE

◆ OBJWEIGHT

◆ OBJWEIGHTSIZE

◆ ONLYACTIVEROWS

◆ ONLYINTVARS

◆ ONLYRANKONE

◆ OUTPUT

◆ PRIMALSEPARATION

◆ PRIORITY

◆ SKIPMULTBOUNDS

◆ SUBSCIPFAST

◆ TIMELIMIT

◆ USECMIR

◆ USECUTPOOL

◆ USEOBJLB

◆ USEOBJUB

◆ USESTRONGCG