Parameters with prefix propagating/symmetry. More...

Variables
constexpr Param< bool >	ADDCONFLICTCUTS { "propagating/symmetry/addconflictcuts" }
	Should Schreier Sims constraints be added if we use a conflict based rule?

constexpr Param< int >	ADDCONSSTIMING { "propagating/symmetry/addconsstiming" }
	timing of adding constraints (0 = before presolving, 1 = during presolving, 2 = after presolving)

constexpr Param< bool >	ADDSTRONGSBCS { "propagating/symmetry/addstrongsbcs" }
	Should strong SBCs for enclosing orbit of symmetric subgroups be added if orbitopes are not used?

constexpr Param< bool >	ADDSYMRESACKS { "propagating/symmetry/addsymresacks" }
	Add inequalities for symresacks for each generator?

constexpr Param< bool >	ADDWEAKSBCS { "propagating/symmetry/addweaksbcs" }
	Should we add weak SBCs for enclosing orbit of symmetric subgroups?

constexpr Param< bool >	CHECKSYMMETRIES { "propagating/symmetry/checksymmetries" }
	Should all symmetries be checked after computation?

constexpr Param< bool >	COMPRESSSYMMETRIES { "propagating/symmetry/compresssymmetries" }
	Should non-affected variables be removed from permutation to save memory?

constexpr Param< double >	COMPRESSTHRESHOLD { "propagating/symmetry/compressthreshold" }
	Compression is used if percentage of moved vars is at most the threshold.

constexpr Param< bool >	CONSSADDLP { "propagating/symmetry/conssaddlp" }
	Should the symmetry breaking constraints be added to the LP?

constexpr Param< bool >	DELAY { "propagating/symmetry/delay" }
	should propagator be delayed, if other propagators found reductions?

constexpr Param< bool >	DETECTORBITOPES { "propagating/symmetry/detectorbitopes" }
	Should we check whether the components of the symmetry group can be handled by orbitopes?

constexpr Param< bool >	DETECTSUBGROUPS { "propagating/symmetry/detectsubgroups" }
	Should we try to detect symmetric subgroups of the symmetry group on binary variables?

constexpr Param< bool >	DISPLAYNORBITVARS { "propagating/symmetry/displaynorbitvars" }
	Should the number of variables affected by some symmetry be displayed?

constexpr Param< bool >	DOUBLEEQUATIONS { "propagating/symmetry/doubleequations" }
	Double equations to positive/negative version?

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

constexpr Param< int >	MAXGENERATORS { "propagating/symmetry/maxgenerators" }
	limit on the number of generators that should be produced within symmetry detection (0 = no limit)

constexpr Param< int >	MAXNCONSSSUBGROUP { "propagating/symmetry/maxnconsssubgroup" }
	maximum number of constraints up to which subgroup structures are detected

constexpr Param< int >	MAXPREROUNDS { "propagating/symmetry/maxprerounds" }
	maximal number of presolving rounds the propagator participates in (-1: no limit)

constexpr Param< int >	OFSYMCOMPTIMING { "propagating/symmetry/ofsymcomptiming" }
	timing of symmetry computation for orbital fixing (0 = before presolving, 1 = during presolving, 2 = at first call)

constexpr Param< bool >	ONLYBINARYSYMMETRY { "propagating/symmetry/onlybinarysymmetry" }
	Is only symmetry on binary variables used?

constexpr Param< bool >	PERFORMPRESOLVING { "propagating/symmetry/performpresolving" }
	run orbital fixing during presolving?

constexpr Param< bool >	PREFERLESSROWS { "propagating/symmetry/preferlessrows" }
	Shall orbitopes with less rows be preferred in detection?

constexpr Param< int >	PRESOLPRIORITY { "propagating/symmetry/presolpriority" }
	presolving priority of propagator <symmetry>

constexpr Param< int >	PRESOLTIMING { "propagating/symmetry/presoltiming" }
	timing mask of the presolving method of propagator <symmetry> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

constexpr Param< int >	PRIORITY { "propagating/symmetry/priority" }
	priority of propagator <symmetry>

constexpr Param< int >	RECOMPUTERESTART { "propagating/symmetry/recomputerestart" }
	recompute symmetries after a restart has occured? (0 = never)

constexpr Param< bool >	SSTADDCUTS { "propagating/symmetry/sstaddcuts" }
	Should Schreier Sims constraints be added?

constexpr Param< int >	SSTLEADERRULE { "propagating/symmetry/sstleaderrule" }
	rule to select the leader in an orbit (0: first var; 1: last var; 2: var having most conflicting vars in orbit; 3: var having most conflicting vars in problem)

constexpr Param< int >	SSTLEADERVARTYPE { "propagating/symmetry/sstleadervartype" }
	bitset encoding which variable types can be leaders (1: binary; 2: integer; 4: impl.

constexpr Param< bool >	SSTMIXEDCOMPONENTS { "propagating/symmetry/sstmixedcomponents" }
	Should Schreier Sims constraints be added if a symmetry component contains variables of different types?

constexpr Param< int >	SSTTIEBREAKRULE { "propagating/symmetry/ssttiebreakrule" }
	rule to select the orbit in Schreier Sims inequalities (variable in 0: minimum size orbit; 1: maximum size orbit; 2: orbit with most variables in conflict with leader)

constexpr Param< bool >	SYMFIXNONBINARYVARS { "propagating/symmetry/symfixnonbinaryvars" }
	Whether all non-binary variables shall be not affected by symmetries if OF is active?

constexpr Param< int >	TIMINGMASK { "propagating/symmetry/timingmask" }
	timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))

constexpr Param< bool >	USECOLUMNSPARSITY { "propagating/symmetry/usecolumnsparsity" }
	Should the number of conss a variable is contained in be exploited in symmetry detection?

constexpr Param< bool >	USEDYNAMICPROP { "propagating/symmetry/usedynamicprop" }
	whether dynamic propagation should be used for full orbitopes

Detailed Description

Parameters with prefix propagating/symmetry.

Variable Documentation

◆ ADDCONFLICTCUTS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::ADDCONFLICTCUTS { "propagating/symmetry/addconflictcuts" }

constexpr

Should Schreier Sims constraints be added if we use a conflict based rule?

Definition at line 5320 of file parameters.hpp.

◆ ADDCONSSTIMING

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::ADDCONSSTIMING { "propagating/symmetry/addconsstiming" }

constexpr

timing of adding constraints (0 = before presolving, 1 = during presolving, 2 = after presolving)

Definition at line 5290 of file parameters.hpp.

◆ ADDSTRONGSBCS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::ADDSTRONGSBCS { "propagating/symmetry/addstrongsbcs" }

constexpr

Should strong SBCs for enclosing orbit of symmetric subgroups be added if orbitopes are not used?

Definition at line 5309 of file parameters.hpp.

◆ ADDSYMRESACKS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::ADDSYMRESACKS { "propagating/symmetry/addsymresacks" }

constexpr

Add inequalities for symresacks for each generator?

Definition at line 5282 of file parameters.hpp.

◆ ADDWEAKSBCS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::ADDWEAKSBCS { "propagating/symmetry/addweaksbcs" }

constexpr

Should we add weak SBCs for enclosing orbit of symmetric subgroups?

Definition at line 5288 of file parameters.hpp.

◆ CHECKSYMMETRIES

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::CHECKSYMMETRIES { "propagating/symmetry/checksymmetries" }

constexpr

Should all symmetries be checked after computation?

Definition at line 5274 of file parameters.hpp.

◆ COMPRESSSYMMETRIES

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::COMPRESSSYMMETRIES { "propagating/symmetry/compresssymmetries" }

constexpr

Should non-affected variables be removed from permutation to save memory?

Definition at line 5299 of file parameters.hpp.

◆ COMPRESSTHRESHOLD

constexpr Param<double> scippp::params::PROPAGATING::SYMMETRY::COMPRESSTHRESHOLD { "propagating/symmetry/compressthreshold" }

constexpr

Compression is used if percentage of moved vars is at most the threshold.

Definition at line 5301 of file parameters.hpp.

◆ CONSSADDLP

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::CONSSADDLP { "propagating/symmetry/conssaddlp" }

constexpr

Should the symmetry breaking constraints be added to the LP?

Definition at line 5280 of file parameters.hpp.

◆ DELAY

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::DELAY { "propagating/symmetry/delay" }

constexpr

should propagator be delayed, if other propagators found reductions?

Definition at line 5262 of file parameters.hpp.

◆ DETECTORBITOPES

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::DETECTORBITOPES { "propagating/symmetry/detectorbitopes" }

constexpr

Should we check whether the components of the symmetry group can be handled by orbitopes?

Definition at line 5284 of file parameters.hpp.

◆ DETECTSUBGROUPS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::DETECTSUBGROUPS { "propagating/symmetry/detectsubgroups" }

constexpr

Should we try to detect symmetric subgroups of the symmetry group on binary variables?

Definition at line 5286 of file parameters.hpp.

◆ DISPLAYNORBITVARS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::DISPLAYNORBITVARS { "propagating/symmetry/displaynorbitvars" }

constexpr

Should the number of variables affected by some symmetry be displayed?

Definition at line 5276 of file parameters.hpp.

◆ DOUBLEEQUATIONS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::DOUBLEEQUATIONS { "propagating/symmetry/doubleequations" }

constexpr

Double equations to positive/negative version?

Definition at line 5278 of file parameters.hpp.

◆ FREQ

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::FREQ { "propagating/symmetry/freq" }

constexpr

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

Definition at line 5260 of file parameters.hpp.

◆ MAXGENERATORS

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::MAXGENERATORS { "propagating/symmetry/maxgenerators" }

constexpr

limit on the number of generators that should be produced within symmetry detection (0 = no limit)

Definition at line 5272 of file parameters.hpp.

◆ MAXNCONSSSUBGROUP

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::MAXNCONSSSUBGROUP { "propagating/symmetry/maxnconsssubgroup" }

constexpr

maximum number of constraints up to which subgroup structures are detected

Definition at line 5305 of file parameters.hpp.

◆ MAXPREROUNDS

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::MAXPREROUNDS { "propagating/symmetry/maxprerounds" }

constexpr

maximal number of presolving rounds the propagator participates in (-1: no limit)

Definition at line 5268 of file parameters.hpp.

◆ OFSYMCOMPTIMING

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::OFSYMCOMPTIMING { "propagating/symmetry/ofsymcomptiming" }

constexpr

timing of symmetry computation for orbital fixing (0 = before presolving, 1 = during presolving, 2 = at first call)

Definition at line 5293 of file parameters.hpp.

◆ ONLYBINARYSYMMETRY

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::ONLYBINARYSYMMETRY { "propagating/symmetry/onlybinarysymmetry" }

constexpr

Is only symmetry on binary variables used?

Definition at line 5328 of file parameters.hpp.

◆ PERFORMPRESOLVING

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::PERFORMPRESOLVING { "propagating/symmetry/performpresolving" }

constexpr

run orbital fixing during presolving?

Definition at line 5295 of file parameters.hpp.

◆ PREFERLESSROWS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::PREFERLESSROWS { "propagating/symmetry/preferlessrows" }

constexpr

Shall orbitopes with less rows be preferred in detection?

Definition at line 5330 of file parameters.hpp.

◆ PRESOLPRIORITY

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::PRESOLPRIORITY { "propagating/symmetry/presolpriority" }

constexpr

presolving priority of propagator <symmetry>

Definition at line 5266 of file parameters.hpp.

◆ PRESOLTIMING

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::PRESOLTIMING { "propagating/symmetry/presoltiming" }

constexpr

timing mask of the presolving method of propagator <symmetry> (4:FAST, 8:MEDIUM, 16:EXHAUSTIVE, 32:FINAL)

Definition at line 5270 of file parameters.hpp.

◆ PRIORITY

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::PRIORITY { "propagating/symmetry/priority" }

constexpr

priority of propagator <symmetry>

Definition at line 5258 of file parameters.hpp.

◆ RECOMPUTERESTART

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::RECOMPUTERESTART { "propagating/symmetry/recomputerestart" }

constexpr

recompute symmetries after a restart has occured? (0 = never)

Definition at line 5297 of file parameters.hpp.

◆ SSTADDCUTS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::SSTADDCUTS { "propagating/symmetry/sstaddcuts" }

constexpr

Should Schreier Sims constraints be added?

Definition at line 5322 of file parameters.hpp.

◆ SSTLEADERRULE

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::SSTLEADERRULE { "propagating/symmetry/sstleaderrule" }

constexpr

rule to select the leader in an orbit (0: first var; 1: last var; 2: var having most conflicting vars in orbit; 3: var having most conflicting vars in problem)

Definition at line 5315 of file parameters.hpp.

◆ SSTLEADERVARTYPE

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::SSTLEADERVARTYPE { "propagating/symmetry/sstleadervartype" }

constexpr

bitset encoding which variable types can be leaders (1: binary; 2: integer; 4: impl.

int; 8: continuous);if multiple types are allowed, take the one with most affected vars

Definition at line 5318 of file parameters.hpp.

◆ SSTMIXEDCOMPONENTS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::SSTMIXEDCOMPONENTS { "propagating/symmetry/sstmixedcomponents" }

constexpr

Should Schreier Sims constraints be added if a symmetry component contains variables of different types?

Definition at line 5324 of file parameters.hpp.

◆ SSTTIEBREAKRULE

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::SSTTIEBREAKRULE { "propagating/symmetry/ssttiebreakrule" }

constexpr

rule to select the orbit in Schreier Sims inequalities (variable in 0: minimum size orbit; 1: maximum size orbit; 2: orbit with most variables in conflict with leader)

Definition at line 5312 of file parameters.hpp.

◆ SYMFIXNONBINARYVARS

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::SYMFIXNONBINARYVARS { "propagating/symmetry/symfixnonbinaryvars" }

constexpr

Whether all non-binary variables shall be not affected by symmetries if OF is active?

Definition at line 5326 of file parameters.hpp.

◆ TIMINGMASK

constexpr Param<int> scippp::params::PROPAGATING::SYMMETRY::TIMINGMASK { "propagating/symmetry/timingmask" }

constexpr

timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))

Definition at line 5264 of file parameters.hpp.

◆ USECOLUMNSPARSITY

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::USECOLUMNSPARSITY { "propagating/symmetry/usecolumnsparsity" }

constexpr

Should the number of conss a variable is contained in be exploited in symmetry detection?

Definition at line 5303 of file parameters.hpp.

◆ USEDYNAMICPROP

constexpr Param<bool> scippp::params::PROPAGATING::SYMMETRY::USEDYNAMICPROP { "propagating/symmetry/usedynamicprop" }

constexpr

whether dynamic propagation should be used for full orbitopes

Definition at line 5307 of file parameters.hpp.

SCIP++ refs/heads/main

Variables

Detailed Description

Variable Documentation

◆ ADDCONFLICTCUTS

◆ ADDCONSSTIMING

◆ ADDSTRONGSBCS

◆ ADDSYMRESACKS

◆ ADDWEAKSBCS

◆ CHECKSYMMETRIES

◆ COMPRESSSYMMETRIES

◆ COMPRESSTHRESHOLD

◆ CONSSADDLP

◆ DELAY

◆ DETECTORBITOPES

◆ DETECTSUBGROUPS

◆ DISPLAYNORBITVARS

◆ DOUBLEEQUATIONS

◆ FREQ

◆ MAXGENERATORS

◆ MAXNCONSSSUBGROUP

◆ MAXPREROUNDS

◆ OFSYMCOMPTIMING

◆ ONLYBINARYSYMMETRY

◆ PERFORMPRESOLVING

◆ PREFERLESSROWS

◆ PRESOLPRIORITY

◆ PRESOLTIMING

◆ PRIORITY

◆ RECOMPUTERESTART

◆ SSTADDCUTS

◆ SSTLEADERRULE

◆ SSTLEADERVARTYPE

◆ SSTMIXEDCOMPONENTS

◆ SSTTIEBREAKRULE

◆ SYMFIXNONBINARYVARS

◆ TIMINGMASK

◆ USECOLUMNSPARSITY

◆ USEDYNAMICPROP