SCIP-SDP
3.2.0
|
reduced cost / dual fixing for SDPs More...
Go to the source code of this file.
Macros | |
Propagator properties | |
#define | PROP_NAME "sdpredcost" |
#define | PROP_DESC "sdp reduced cost strengthening propagator" |
#define | PROP_TIMING SCIP_PROPTIMING_AFTERLPLOOP |
#define | PROP_PRIORITY +1000000 |
#define | PROP_FREQ 1 |
#define | PROP_DELAY FALSE |
#define | DEFAULT_SDPRCBIN TRUE |
#define | DEFAULT_SDPRCINTCONT TRUE |
Functions | |
static SCIP_RETCODE | sdpRedcostFixingBinary (SCIP *scip, SCIP_VAR *var, SCIP_Real primallbval, SCIP_Real primalubval, SCIP_Real cutoffbound, SCIP_Real relaxval, SCIP_RESULT *result) |
static SCIP_RETCODE | sdpRedcostFixingIntCont (SCIP *scip, SCIP_VAR *var, SCIP_Real primallbval, SCIP_Real primalubval, SCIP_Real cutoffbound, SCIP_Real relaxval, SCIP_RESULT *result) |
static | SCIP_DECL_PROPEXEC (propExecSdpredcost) |
static | SCIP_DECL_PROPFREE (propFreeSdpredcost) |
static | SCIP_DECL_PROPINITSOL (propInitsolSdpredcost) |
static | SCIP_DECL_PROPEXITSOL (propExitsolSdpredcost) |
static | SCIP_DECL_PROPCOPY (propCopySdpredcost) |
SCIP_RETCODE | SCIPincludePropSdpredcost (SCIP *scip) |
reduced cost / dual fixing for SDPs
Definition in file prop_sdpredcost.c.
#define PROP_NAME "sdpredcost" |
Definition at line 59 of file prop_sdpredcost.c.
Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludePropSdpredcost().
#define PROP_DESC "sdp reduced cost strengthening propagator" |
Definition at line 60 of file prop_sdpredcost.c.
Referenced by SCIPincludePropSdpredcost().
#define PROP_TIMING SCIP_PROPTIMING_AFTERLPLOOP |
Definition at line 61 of file prop_sdpredcost.c.
Referenced by SCIPincludePropSdpredcost().
#define PROP_PRIORITY +1000000 |
propagator priority
Definition at line 62 of file prop_sdpredcost.c.
Referenced by SCIPincludePropSdpredcost().
#define PROP_FREQ 1 |
propagator frequency
Definition at line 63 of file prop_sdpredcost.c.
Referenced by SCIPincludePropSdpredcost().
#define PROP_DELAY FALSE |
Should propagation method be delayed, if other propagators found reductions?
Definition at line 64 of file prop_sdpredcost.c.
Referenced by SCIPincludePropSdpredcost().
#define DEFAULT_SDPRCBIN TRUE |
Should sdp reduced cost fixing be executed for binary variables?
Definition at line 65 of file prop_sdpredcost.c.
Referenced by SCIPincludePropSdpredcost().
#define DEFAULT_SDPRCINTCONT TRUE |
Should sdp reduced cost fixing be executed for integer and continuous variables?
Definition at line 66 of file prop_sdpredcost.c.
Referenced by SCIPincludePropSdpredcost().
|
static |
reduced cost fixing for binary variables
If the corresponding primal variable for the lower bound is bigger than the cutoff bound minus the current relaxation value, then the variable can be fixed to zero, if the primal variable for the upper bound is bigger than this value, then it can be fixed to one.
scip | pointer to SCIP data structure |
var | variable to propagate |
primallbval | value of the primal variable corresponding to the lower bound |
primalubval | value of the primal variable corresponding to the upper bound |
cutoffbound | current cutoffbound in SCIP |
relaxval | optimal objective value of the current relaxation |
result | pointer to return result |
Definition at line 88 of file prop_sdpredcost.c.
Referenced by SCIP_DECL_PROPEXEC().
|
static |
reduced cost fixing for non-binary variables
We propagate the new bounds
,
where is the value of the current relaxation, is the cutoffbound and the value of the corresponding primal solution
scip | pointer to SCIP data structure |
var | variable to propagate |
primallbval | value of the primal variable corresponding to the lower bound |
primalubval | value of the primal variable corresponding to the upper bound |
cutoffbound | current cutoffbound in SCIP |
relaxval | optimal objective value of the current relaxation |
result | pointer to return result |
Definition at line 150 of file prop_sdpredcost.c.
Referenced by SCIP_DECL_PROPEXEC().
|
static |
reduced cost propagation method
Definition at line 216 of file prop_sdpredcost.c.
References SCIPrelaxSdpGetPrimalBoundVars(), SCIPrelaxSdpGetSdpNode(), SCIPrelaxSdpRelaxVal(), SCIPrelaxSdpSolvedOrig(), sdpRedcostFixingBinary(), and sdpRedcostFixingIntCont().
|
static |
free the propagator data
Definition at line 317 of file prop_sdpredcost.c.
|
static |
allocate memory for the primal variable values
Definition at line 332 of file prop_sdpredcost.c.
|
static |
solving process deinitialization method of propagator (called before branch and bound process data is freed)
Definition at line 348 of file prop_sdpredcost.c.
|
static |
copy method for propagator plugins (called when SCIP copies plugins)
Definition at line 363 of file prop_sdpredcost.c.
References PROP_NAME, and SCIPincludePropSdpredcost().
SCIP_RETCODE SCIPincludePropSdpredcost | ( | SCIP * | scip | ) |
creates the Sdpredcost propagator and includes it in SCIP
scip | SCIP data structure |
Definition at line 376 of file prop_sdpredcost.c.
References DEFAULT_SDPRCBIN, DEFAULT_SDPRCINTCONT, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, and PROP_TIMING.
Referenced by SCIP_DECL_PROPCOPY(), and SCIPSDPincludeDefaultPlugins().