SCIP++ refs/heads/main
 
Loading...
Searching...
No Matches
scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING Namespace Reference

Parameters with prefix constraints/nonlinear/branching. More...

Variables

constexpr Param< int > AUX { "constraints/nonlinear/branching/aux" }
 from which depth on in the tree to allow branching on auxiliary variables (variables added for extended formulation)
 
constexpr Param< double > DOMAINWEIGHT { "constraints/nonlinear/branching/domainweight" }
 weight by how much to consider the domain width in branching score
 
constexpr Param< double > DUALWEIGHT { "constraints/nonlinear/branching/dualweight" }
 weight by how much to consider the dual values of rows that contain a variable for its branching score
 
constexpr Param< bool > EXTERNAL { "constraints/nonlinear/branching/external" }
 whether to use external branching candidates and branching rules for branching
 
constexpr Param< double > FRACWEIGHT { "constraints/nonlinear/branching/fracweight" }
 weight by how much to consider fractionality of integer variables in branching score for spatial branching
 
constexpr Param< double > HIGHSCOREFACTOR { "constraints/nonlinear/branching/highscorefactor" }
 consider a variable branching score high if its branching score >= this factor * maximal branching score among all variables
 
constexpr Param< double > HIGHVIOLFACTOR { "constraints/nonlinear/branching/highviolfactor" }
 consider a constraint highly violated if its violation is >= this factor * maximal violation among all constraints
 
constexpr Param< double > MIXFRACTIONAL { "constraints/nonlinear/branching/mixfractional" }
 minimal average pseudo cost count for discrete variables at which to start considering spatial branching before branching on fractional integer variables
 
constexpr Param< double > PSCOSTRELIABLE { "constraints/nonlinear/branching/pscostreliable" }
 minimum pseudo-cost update count required to consider pseudo-costs reliable
 
constexpr Param< double > PSCOSTWEIGHT { "constraints/nonlinear/branching/pscostweight" }
 weight by how much to consider the pseudo cost of a variable for its branching score
 
constexpr Param< char > SCOREAGG { "constraints/nonlinear/branching/scoreagg" }
 how to aggregate several branching scores given for the same expression: 'a'verage, 'm'aximum, 's'um
 
constexpr Param< double > VARTYPEWEIGHT { "constraints/nonlinear/branching/vartypeweight" }
 weight by how much to consider variable type (continuous: 0, binary: 1, integer: 0.1, impl-integer: 0.01) in branching score
 
constexpr Param< char > VIOLSPLIT { "constraints/nonlinear/branching/violsplit" }
 method used to split violation in expression onto variables: 'u'niform, 'm'idness of solution, 'd'omain width, 'l'ogarithmic domain width
 
constexpr Param< double > VIOLWEIGHT { "constraints/nonlinear/branching/violweight" }
 weight by how much to consider the violation assigned to a variable for its branching score
 

Detailed Description

Parameters with prefix constraints/nonlinear/branching.

Variable Documentation

◆ AUX

Param<int> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::AUX { "constraints/nonlinear/branching/aux" }
constexpr

from which depth on in the tree to allow branching on auxiliary variables (variables added for extended formulation)

Definition at line 1554 of file parameters.hpp.

◆ DOMAINWEIGHT

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::DOMAINWEIGHT { "constraints/nonlinear/branching/domainweight" }
constexpr

weight by how much to consider the domain width in branching score

Definition at line 1572 of file parameters.hpp.

◆ DUALWEIGHT

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::DUALWEIGHT { "constraints/nonlinear/branching/dualweight" }
constexpr

weight by how much to consider the dual values of rows that contain a variable for its branching score

Definition at line 1568 of file parameters.hpp.

◆ EXTERNAL

Param<bool> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::EXTERNAL { "constraints/nonlinear/branching/external" }
constexpr

whether to use external branching candidates and branching rules for branching

Definition at line 1556 of file parameters.hpp.

◆ FRACWEIGHT

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::FRACWEIGHT { "constraints/nonlinear/branching/fracweight" }
constexpr

weight by how much to consider fractionality of integer variables in branching score for spatial branching

Definition at line 1566 of file parameters.hpp.

◆ HIGHSCOREFACTOR

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::HIGHSCOREFACTOR { "constraints/nonlinear/branching/highscorefactor" }
constexpr

consider a variable branching score high if its branching score >= this factor * maximal branching score among all variables

Definition at line 1562 of file parameters.hpp.

◆ HIGHVIOLFACTOR

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::HIGHVIOLFACTOR { "constraints/nonlinear/branching/highviolfactor" }
constexpr

consider a constraint highly violated if its violation is >= this factor * maximal violation among all constraints

Definition at line 1559 of file parameters.hpp.

◆ MIXFRACTIONAL

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::MIXFRACTIONAL { "constraints/nonlinear/branching/mixfractional" }
constexpr

minimal average pseudo cost count for discrete variables at which to start considering spatial branching before branching on fractional integer variables

Definition at line 1585 of file parameters.hpp.

◆ PSCOSTRELIABLE

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::PSCOSTRELIABLE { "constraints/nonlinear/branching/pscostreliable" }
constexpr

minimum pseudo-cost update count required to consider pseudo-costs reliable

Definition at line 1582 of file parameters.hpp.

◆ PSCOSTWEIGHT

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::PSCOSTWEIGHT { "constraints/nonlinear/branching/pscostweight" }
constexpr

weight by how much to consider the pseudo cost of a variable for its branching score

Definition at line 1570 of file parameters.hpp.

◆ SCOREAGG

Param<char> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::SCOREAGG { "constraints/nonlinear/branching/scoreagg" }
constexpr

how to aggregate several branching scores given for the same expression: 'a'verage, 'm'aximum, 's'um

Definition at line 1577 of file parameters.hpp.

◆ VARTYPEWEIGHT

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::VARTYPEWEIGHT { "constraints/nonlinear/branching/vartypeweight" }
constexpr

weight by how much to consider variable type (continuous: 0, binary: 1, integer: 0.1, impl-integer: 0.01) in branching score

Definition at line 1575 of file parameters.hpp.

◆ VIOLSPLIT

Param<char> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::VIOLSPLIT { "constraints/nonlinear/branching/violsplit" }
constexpr

method used to split violation in expression onto variables: 'u'niform, 'm'idness of solution, 'd'omain width, 'l'ogarithmic domain width

Definition at line 1580 of file parameters.hpp.

◆ VIOLWEIGHT

Param<double> scippp::params::CONSTRAINTS::NONLINEAR::BRANCHING::VIOLWEIGHT { "constraints/nonlinear/branching/violweight" }
constexpr

weight by how much to consider the violation assigned to a variable for its branching score

Definition at line 1564 of file parameters.hpp.