SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
|
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
prop_obbt.h File Reference Detailed Descriptionoptimization-based bound tightening propagator In Optimization-Based Bound Tightening (OBBT), we solve auxiliary LPs of the form
where Since solving LPs may be expensive, the propagator inspects solutions By default, OBBT is only applied for nonbinary variables that occur in nonlinear constraints. Additionally, the propagator uses the dual solution of the auxiliary LPs to construct globally valid generalized variable bounds which may be propagated during the branch-and-bound search. Definition in file prop_obbt.h. #include "scip/scip.h"Go to the source code of this file.
Function Documentation
creates the obbt propagator and includes it in SCIP
Definition at line 1570 of file prop_obbt.c. References DEFAULT_APPLY_FILTERROUNDS, DEFAULT_CONDITIONLIMIT, DEFAULT_CREATE_GENVBOUNDS, DEFAULT_DUALFEASTOL, DEFAULT_FILTERING_MIN, DEFAULT_FILTERING_NORM, DEFAULT_ITLIMITFACTOR, DEFAULT_MAXLOOKAHEAD, FALSE, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, PROP_TIMING, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIP_REAL_MIN, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocMemory, SCIPincludePropBasic(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitsol(), SCIPsetPropResprop(), and TRUE. Referenced by SCIPincludeDefaultPlugins(). |
|||||||||||||||
![\[ \min / \max \, \{ x_i \mid x \in P' \}, \]](form_364.png)
is the current LP relaxation restricted by the primal cutoff constraint 
, 
the current cutoff bound. Trivially, the optimal objective value of this LP provides a valid lower/upper bound on variable 
.
and does not run for variable bounds which are tight at 
: First, we check SCIP's last LP relaxation solution. Second, we solve a sequence of filtering LP's 
in order to push several variables towards one of their bounds in one LP solve. Third, we inspect all solutions of the auxiliary LPs solved along the way.