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

Parameters with prefix lp. More...

Variables

constexpr Param< bool > ALWAYSGETDUALS { "lp/alwaysgetduals" }
 should the Farkas duals always be collected when an LP is found to be infeasible?
 
constexpr Param< bool > CHECKDUALFEAS { "lp/checkdualfeas" }
 should LP solutions be checked for dual feasibility, resolving LP when numerical troubles occur?
 
constexpr Param< bool > CHECKFARKAS { "lp/checkfarkas" }
 should infeasibility proofs from the LP be checked?
 
constexpr Param< bool > CHECKPRIMFEAS { "lp/checkprimfeas" }
 should LP solutions be checked for primal feasibility, resolving LP when numerical troubles occur?
 
constexpr Param< bool > CHECKSTABILITY { "lp/checkstability" }
 should LP solver's return status be checked for stability?
 
constexpr Param< bool > CLEANUPCOLS { "lp/cleanupcols" }
 should new non-basic columns be removed after LP solving?
 
constexpr Param< bool > CLEANUPCOLSROOT { "lp/cleanupcolsroot" }
 should new non-basic columns be removed after root LP solving?
 
constexpr Param< bool > CLEANUPROWS { "lp/cleanuprows" }
 should new basic rows be removed after LP solving?
 
constexpr Param< bool > CLEANUPROWSROOT { "lp/cleanuprowsroot" }
 should new basic rows be removed after root LP solving?
 
constexpr Param< bool > CLEARINITIALPROBINGLP { "lp/clearinitialprobinglp" }
 should lp state be cleared at the end of probing mode when lp was initially unsolved, e.g., when called right after presolving?
 
constexpr Param< int > COLAGELIMIT { "lp/colagelimit" }
 maximum age a dynamic column can reach before it is deleted from the LP (-1: don't delete columns due to aging)
 
constexpr Param< double > CONDITIONLIMIT { "lp/conditionlimit" }
 maximum condition number of LP basis counted as stable (-1.0: no limit)
 
constexpr Param< int > DISABLECUTOFF { "lp/disablecutoff" }
 disable the cutoff bound in the LP solver? (0: enabled, 1: disabled, 2: auto)
 
constexpr Param< int > FASTMIP { "lp/fastmip" }
 which FASTMIP setting of LP solver should be used? 0: off, 1: low
 
constexpr Param< bool > FREESOLVALBUFFERS { "lp/freesolvalbuffers" }
 should the buffers for storing LP solution values during diving be freed at end of diving?
 
constexpr Param< char > INITALGORITHM { "lp/initalgorithm" }
 LP algorithm for solving initial LP relaxations (automatic 's'implex, 'p'rimal simplex, 'd'ual simplex, 'b'arrier, barrier with 'c'rossover)
 
constexpr Param< long long > ITERLIM { "lp/iterlim" }
 iteration limit for each single LP solve (-1: no limit)
 
constexpr Param< bool > LEXDUALALGO { "lp/lexdualalgo" }
 should the lexicographic dual algorithm be used?
 
constexpr Param< bool > LEXDUALBASIC { "lp/lexdualbasic" }
 choose fractional basic variables in lexicographic dual algorithm?
 
constexpr Param< int > LEXDUALMAXROUNDS { "lp/lexdualmaxrounds" }
 maximum number of rounds in the lexicographic dual algorithm (-1: unbounded)
 
constexpr Param< bool > LEXDUALROOTONLY { "lp/lexdualrootonly" }
 should the lexicographic dual algorithm be applied only at the root node
 
constexpr Param< bool > LEXDUALSTALLING { "lp/lexdualstalling" }
 turn on the lex dual algorithm only when stalling?
 
constexpr Param< double > MINMARKOWITZ { "lp/minmarkowitz" }
 minimal Markowitz threshold to control sparsity/stability in LU factorization
 
constexpr Param< bool > PRESOLVING { "lp/presolving" }
 should presolving of LP solver be used?
 
constexpr Param< char > PRICING { "lp/pricing" }
 LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
 
constexpr Param< int > REFACTORINTERVAL { "lp/refactorinterval" }
 LP refactorization interval (0: auto)
 
constexpr Param< char > RESOLVEALGORITHM { "lp/resolvealgorithm" }
 LP algorithm for resolving LP relaxations if a starting basis exists (automatic 's'implex, 'p'rimal simplex, 'd'ual simplex, 'b'arrier, barrier with 'c'rossover)
 
constexpr Param< double > RESOLVEITERFAC { "lp/resolveiterfac" }
 factor of average LP iterations that is used as LP iteration limit for LP resolve (-1: unlimited)
 
constexpr Param< int > RESOLVEITERMIN { "lp/resolveitermin" }
 minimum number of iterations that are allowed for LP resolve
 
constexpr Param< bool > RESOLVERESTORE { "lp/resolverestore" }
 should the LP be resolved to restore the state at start of diving (if FALSE we buffer the solution values)?
 
constexpr Param< long long > ROOTITERLIM { "lp/rootiterlim" }
 iteration limit for initial root LP solve (-1: no limit)
 
constexpr Param< int > ROWAGELIMIT { "lp/rowagelimit" }
 maximum age a dynamic row can reach before it is deleted from the LP (-1: don't delete rows due to aging)
 
constexpr Param< double > ROWREPSWITCH { "lp/rowrepswitch" }
 simplex algorithm shall use row representation of the basis if number of rows divided by number of columns exceeds this value (-1.0 to disable row representation)
 
constexpr Param< int > SCALING { "lp/scaling" }
 LP scaling (0: none, 1: normal, 2: aggressive)
 
constexpr Param< int > SOLUTIONPOLISHING { "lp/solutionpolishing" }
 LP solution polishing method (0: disabled, 1: only root, 2: always, 3: auto)
 
constexpr Param< int > SOLVEDEPTH { "lp/solvedepth" }
 maximal depth for solving LP at the nodes (-1: no depth limit)
 
constexpr Param< int > SOLVEFREQ { "lp/solvefreq" }
 frequency for solving LP at the nodes (-1: never; 0: only root LP)
 
constexpr Param< int > THREADS { "lp/threads" }
 number of threads used for solving the LP (0: automatic)
 

Detailed Description

Parameters with prefix lp.

Variable Documentation

◆ ALWAYSGETDUALS

constexpr Param<bool> scippp::params::LP::ALWAYSGETDUALS { "lp/alwaysgetduals" }
constexpr

should the Farkas duals always be collected when an LP is found to be infeasible?

Definition at line 4375 of file parameters.hpp.

◆ CHECKDUALFEAS

constexpr Param<bool> scippp::params::LP::CHECKDUALFEAS { "lp/checkdualfeas" }
constexpr

should LP solutions be checked for dual feasibility, resolving LP when numerical troubles occur?

Definition at line 4340 of file parameters.hpp.

◆ CHECKFARKAS

constexpr Param<bool> scippp::params::LP::CHECKFARKAS { "lp/checkfarkas" }
constexpr

should infeasibility proofs from the LP be checked?

Definition at line 4342 of file parameters.hpp.

◆ CHECKPRIMFEAS

constexpr Param<bool> scippp::params::LP::CHECKPRIMFEAS { "lp/checkprimfeas" }
constexpr

should LP solutions be checked for primal feasibility, resolving LP when numerical troubles occur?

Definition at line 4338 of file parameters.hpp.

◆ CHECKSTABILITY

constexpr Param<bool> scippp::params::LP::CHECKSTABILITY { "lp/checkstability" }
constexpr

should LP solver's return status be checked for stability?

Definition at line 4332 of file parameters.hpp.

◆ CLEANUPCOLS

constexpr Param<bool> scippp::params::LP::CLEANUPCOLS { "lp/cleanupcols" }
constexpr

should new non-basic columns be removed after LP solving?

Definition at line 4324 of file parameters.hpp.

◆ CLEANUPCOLSROOT

constexpr Param<bool> scippp::params::LP::CLEANUPCOLSROOT { "lp/cleanupcolsroot" }
constexpr

should new non-basic columns be removed after root LP solving?

Definition at line 4326 of file parameters.hpp.

◆ CLEANUPROWS

constexpr Param<bool> scippp::params::LP::CLEANUPROWS { "lp/cleanuprows" }
constexpr

should new basic rows be removed after LP solving?

Definition at line 4328 of file parameters.hpp.

◆ CLEANUPROWSROOT

constexpr Param<bool> scippp::params::LP::CLEANUPROWSROOT { "lp/cleanuprowsroot" }
constexpr

should new basic rows be removed after root LP solving?

Definition at line 4330 of file parameters.hpp.

◆ CLEARINITIALPROBINGLP

constexpr Param<bool> scippp::params::LP::CLEARINITIALPROBINGLP { "lp/clearinitialprobinglp" }
constexpr

should lp state be cleared at the end of probing mode when lp was initially unsolved, e.g., when called right after presolving?

Definition at line 4314 of file parameters.hpp.

◆ COLAGELIMIT

constexpr Param<int> scippp::params::LP::COLAGELIMIT { "lp/colagelimit" }
constexpr

maximum age a dynamic column can reach before it is deleted from the LP (-1: don't delete columns due to aging)

Definition at line 4320 of file parameters.hpp.

◆ CONDITIONLIMIT

constexpr Param<double> scippp::params::LP::CONDITIONLIMIT { "lp/conditionlimit" }
constexpr

maximum condition number of LP basis counted as stable (-1.0: no limit)

Definition at line 4334 of file parameters.hpp.

◆ DISABLECUTOFF

constexpr Param<int> scippp::params::LP::DISABLECUTOFF { "lp/disablecutoff" }
constexpr

disable the cutoff bound in the LP solver? (0: enabled, 1: disabled, 2: auto)

Definition at line 4360 of file parameters.hpp.

◆ FASTMIP

constexpr Param<int> scippp::params::LP::FASTMIP { "lp/fastmip" }
constexpr

which FASTMIP setting of LP solver should be used? 0: off, 1: low

Definition at line 4344 of file parameters.hpp.

◆ FREESOLVALBUFFERS

constexpr Param<bool> scippp::params::LP::FREESOLVALBUFFERS { "lp/freesolvalbuffers" }
constexpr

should the buffers for storing LP solution values during diving be freed at end of diving?

Definition at line 4318 of file parameters.hpp.

◆ INITALGORITHM

constexpr Param<char> scippp::params::LP::INITALGORITHM { "lp/initalgorithm" }
constexpr

LP algorithm for solving initial LP relaxations (automatic 's'implex, 'p'rimal simplex, 'd'ual simplex, 'b'arrier, barrier with 'c'rossover)

Definition at line 4305 of file parameters.hpp.

◆ ITERLIM

constexpr Param<long long> scippp::params::LP::ITERLIM { "lp/iterlim" }
constexpr

iteration limit for each single LP solve (-1: no limit)

Definition at line 4298 of file parameters.hpp.

◆ LEXDUALALGO

constexpr Param<bool> scippp::params::LP::LEXDUALALGO { "lp/lexdualalgo" }
constexpr

should the lexicographic dual algorithm be used?

Definition at line 4350 of file parameters.hpp.

◆ LEXDUALBASIC

constexpr Param<bool> scippp::params::LP::LEXDUALBASIC { "lp/lexdualbasic" }
constexpr

choose fractional basic variables in lexicographic dual algorithm?

Definition at line 4356 of file parameters.hpp.

◆ LEXDUALMAXROUNDS

constexpr Param<int> scippp::params::LP::LEXDUALMAXROUNDS { "lp/lexdualmaxrounds" }
constexpr

maximum number of rounds in the lexicographic dual algorithm (-1: unbounded)

Definition at line 4354 of file parameters.hpp.

◆ LEXDUALROOTONLY

constexpr Param<bool> scippp::params::LP::LEXDUALROOTONLY { "lp/lexdualrootonly" }
constexpr

should the lexicographic dual algorithm be applied only at the root node

Definition at line 4352 of file parameters.hpp.

◆ LEXDUALSTALLING

constexpr Param<bool> scippp::params::LP::LEXDUALSTALLING { "lp/lexdualstalling" }
constexpr

turn on the lex dual algorithm only when stalling?

Definition at line 4358 of file parameters.hpp.

◆ MINMARKOWITZ

constexpr Param<double> scippp::params::LP::MINMARKOWITZ { "lp/minmarkowitz" }
constexpr

minimal Markowitz threshold to control sparsity/stability in LU factorization

Definition at line 4336 of file parameters.hpp.

◆ PRESOLVING

constexpr Param<bool> scippp::params::LP::PRESOLVING { "lp/presolving" }
constexpr

should presolving of LP solver be used?

Definition at line 4348 of file parameters.hpp.

◆ PRICING

constexpr Param<char> scippp::params::LP::PRICING { "lp/pricing" }
constexpr

LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)

Definition at line 4311 of file parameters.hpp.

◆ REFACTORINTERVAL

constexpr Param<int> scippp::params::LP::REFACTORINTERVAL { "lp/refactorinterval" }
constexpr

LP refactorization interval (0: auto)

Definition at line 4373 of file parameters.hpp.

◆ RESOLVEALGORITHM

constexpr Param<char> scippp::params::LP::RESOLVEALGORITHM { "lp/resolvealgorithm" }
constexpr

LP algorithm for resolving LP relaxations if a starting basis exists (automatic 's'implex, 'p'rimal simplex, 'd'ual simplex, 'b'arrier, barrier with 'c'rossover)

Definition at line 4308 of file parameters.hpp.

◆ RESOLVEITERFAC

constexpr Param<double> scippp::params::LP::RESOLVEITERFAC { "lp/resolveiterfac" }
constexpr

factor of average LP iterations that is used as LP iteration limit for LP resolve (-1: unlimited)

Definition at line 4367 of file parameters.hpp.

◆ RESOLVEITERMIN

constexpr Param<int> scippp::params::LP::RESOLVEITERMIN { "lp/resolveitermin" }
constexpr

minimum number of iterations that are allowed for LP resolve

Definition at line 4369 of file parameters.hpp.

◆ RESOLVERESTORE

constexpr Param<bool> scippp::params::LP::RESOLVERESTORE { "lp/resolverestore" }
constexpr

should the LP be resolved to restore the state at start of diving (if FALSE we buffer the solution values)?

Definition at line 4316 of file parameters.hpp.

◆ ROOTITERLIM

constexpr Param<long long> scippp::params::LP::ROOTITERLIM { "lp/rootiterlim" }
constexpr

iteration limit for initial root LP solve (-1: no limit)

Definition at line 4300 of file parameters.hpp.

◆ ROWAGELIMIT

constexpr Param<int> scippp::params::LP::ROWAGELIMIT { "lp/rowagelimit" }
constexpr

maximum age a dynamic row can reach before it is deleted from the LP (-1: don't delete rows due to aging)

Definition at line 4322 of file parameters.hpp.

◆ ROWREPSWITCH

constexpr Param<double> scippp::params::LP::ROWREPSWITCH { "lp/rowrepswitch" }
constexpr

simplex algorithm shall use row representation of the basis if number of rows divided by number of columns exceeds this value (-1.0 to disable row representation)

Definition at line 4363 of file parameters.hpp.

◆ SCALING

constexpr Param<int> scippp::params::LP::SCALING { "lp/scaling" }
constexpr

LP scaling (0: none, 1: normal, 2: aggressive)

Definition at line 4346 of file parameters.hpp.

◆ SOLUTIONPOLISHING

constexpr Param<int> scippp::params::LP::SOLUTIONPOLISHING { "lp/solutionpolishing" }
constexpr

LP solution polishing method (0: disabled, 1: only root, 2: always, 3: auto)

Definition at line 4371 of file parameters.hpp.

◆ SOLVEDEPTH

constexpr Param<int> scippp::params::LP::SOLVEDEPTH { "lp/solvedepth" }
constexpr

maximal depth for solving LP at the nodes (-1: no depth limit)

Definition at line 4302 of file parameters.hpp.

◆ SOLVEFREQ

constexpr Param<int> scippp::params::LP::SOLVEFREQ { "lp/solvefreq" }
constexpr

frequency for solving LP at the nodes (-1: never; 0: only root LP)

Definition at line 4296 of file parameters.hpp.

◆ THREADS

constexpr Param<int> scippp::params::LP::THREADS { "lp/threads" }
constexpr

number of threads used for solving the LP (0: automatic)

Definition at line 4365 of file parameters.hpp.