SDP-relaxator. More...

Functions
EXTERN SCIP_RETCODE	SCIPincludeRelaxSdp (SCIP *scip)

EXTERN SCIP_RETCODE	SCIPrelaxSdpComputeAnalyticCenters (SCIP scip, SCIP_RELAX relax)

EXTERN SCIP_RETCODE	SCIPrelaxSdpGetPrimalBoundVars (SCIP_RELAX relax, SCIP_Real lbvars, SCIP_Real ubvars, int arraylength)

EXTERN SCIP_RETCODE	SCIPrelaxSdpRelaxVal (SCIP_RELAX relax, SCIP_Bool success, SCIP_Real *objval)

EXTERN SCIP_RETCODE	SCIPrelaxSdpGetRelaxSol (SCIP scip, SCIP_RELAX relax, SCIP_Bool success, SCIP_Real solarray, int *sollength)

EXTERN long int	SCIPrelaxSdpGetSdpNode (SCIP_RELAX *relax)

EXTERN SCIP_Bool	SCIPrelaxSdpSolvedOrig (SCIP_RELAX *relax)

EXTERN SCIP_Bool	SCIPrelaxSdpSolvedProbing (SCIP_RELAX *relax)

EXTERN SCIP_Bool	SCIPrelaxSdpIsFeasible (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNIterations (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSdpCalls (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSdpInterfaceCalls (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSdpFast (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSdpMedium (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSdpStable (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSdpPenalty (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSdpUnsolved (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNdualSlaterHolds (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNdualSlaterFails (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNdualSlaterInfeasible (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNdualSlaterUnknown (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNprimalSlaterHolds (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNprimalSlaterFails (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNprimalSlaterUnknown (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterHolds (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterHoldsFast (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterHoldsStable (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterHoldsPenalty (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterHoldsBounded (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterHoldsUnsolved (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterFails (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterFailsFast (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterFailsStable (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterFailsPenalty (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterFailsBounded (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterFailsUnsolved (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterInfeasibleFast (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterInfeasibleStable (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterInfeasiblePenalty (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterInfeasibleBounded (SCIP_RELAX *relax)

EXTERN int	SCIPrelaxSdpGetNSlaterInfeasibleUnsolved (SCIP_RELAX *relax)

Detailed Description

SDP-relaxator.

Author: Sonja Mars; Tristan Gally

Relaxator to solve semidefinite programs of the form

$\begin{eqnarray*} \min & & b^T y \\ \mbox{s.t.} & & \sum_{j=1}^n A_j^i y_j - A_0^i \succeq 0 \quad \forall i \leq m \\ & & Dy \geq d \\ & & \ell \leq y \leq u \end{eqnarray*}$

for symmetric matrices $A_j^i \in S_{k_i}$ and a matrix $D \in \mathbb{R}^{k_0 \times n}.$

Definition in file relax_sdp.h.

Function Documentation

EXTERN SCIP_RETCODE SCIPincludeRelaxSdp ( SCIP * scip )

creates the SDP-relaxator and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 4275 of file relax_sdp.c.

References DEFAULT_DISPLAYSTAT, DEFAULT_LAMBDASTAR, DEFAULT_MAXPENALTYPARAM, DEFAULT_OBJLIMIT, DEFAULT_PENALTYPARAM, DEFAULT_PENINFEASADJUST, DEFAULT_RESOLVE, DEFAULT_SDPINFO, DEFAULT_SDPSOLVERTHREADS, DEFAULT_SETTINGSRESETFREQ, DEFAULT_SETTINGSRESETOFS, DEFAULT_SLATERCHECK, DEFAULT_TIGHTENVB, DEFAULT_WARMSTART, DEFAULT_WARMSTART_PREOPTIMAL_SOL, DEFAULT_WARMSTARTIPFACTOR, DEFAULT_WARMSTARTIPTYPE, DEFAULT_WARMSTARTPREOPTGAP, DEFAULT_WARMSTARTPRIMALTYPE, DEFAULT_WARMSTARTPROJECT, DEFAULT_WARMSTARTPROJMINEV, DEFAULT_WARMSTARTPROJPDSAME, DEFAULT_WARMSTARTROUNDONLYINF, RELAX_DESC, RELAX_FREQ, RELAX_NAME, RELAX_PRIORITY, SCIPsdpiCreate(), SCIPsdpiGetDefaultSdpiSolverFeastol(), SCIPsdpiGetDefaultSdpiSolverGaptol(), SCIPsdpiGetDefaultSdpiSolverNpenaltyIncreases(), SCIPsdpiGetSolverDesc(), and SCIPsdpiGetSolverName().

Referenced by runSCIP(), and SCIP_DECL_RELAXCOPY().

EXTERN SCIP_RETCODE SCIPrelaxSdpComputeAnalyticCenters	(	SCIP *	scip,
		SCIP_RELAX *	relax
	)

computes analytic centers of primal and dual feasible set and saves them in relaxdata

Note: This function should be called at the end of the root node (or at least after the solving stage starts and before the first non-root node).

Parameters

scip	SCIP data structure
relax	SDP-relaxator to compute analytic centers for

Definition at line 4435 of file relax_sdp.c.

Referenced by SCIP_DECL_PROPEXEC().

EXTERN SCIP_RETCODE SCIPrelaxSdpGetPrimalBoundVars	(	SCIP_RELAX *	relax,
		SCIP_Real *	lbvars,
		SCIP_Real *	ubvars,
		int *	arraylength
	)

gets the primal variables corresponding to the lower and upper variable-bounds in the dual problem

The last input should specify the length of the arrays. If this is less than the number of variables, the needed length will be returned and a debug message thrown.

Note: If a variable is either fixed or unbounded in the dual problem, a zero will be returned for the non-existent primal variable.

Parameters

relax	SDP-relaxator to get information for
lbvars	pointer to store the values of the variables corresponding to lower bounds in the dual problems
ubvars	pointer to store the values of the variables corresponding to upper bounds in the dual problems
arraylength	input: length of lbvars and ubvars output: number of elements inserted into lbvars/ubvars (or needed length if it wasn't sufficient)

Definition at line 5150 of file relax_sdp.c.

References SCIPsdpiGetPrimalBoundVars().

Referenced by SCIP_DECL_PROPEXEC().

EXTERN SCIP_RETCODE SCIPrelaxSdpRelaxVal	(	SCIP_RELAX *	relax,
		SCIP_Bool *	success,
		SCIP_Real *	objval
	)

returns optimal objective value of the current SDP-relaxation if the last SDP-relaxation was successfully solved

Parameters

relax	SDP-relaxator to get objective value for
success	pointer to store whether the last SDP-relaxation was solved successfully
objval	pointer to store the optimal objective value of the SDP-relaxation

Definition at line 5175 of file relax_sdp.c.

Referenced by SCIP_DECL_PROPEXEC().

EXTERN SCIP_RETCODE SCIPrelaxSdpGetRelaxSol	(	SCIP *	scip,
		SCIP_RELAX *	relax,
		SCIP_Bool *	success,
		SCIP_Real *	solarray,
		int *	sollength
	)

returns values of all variables in the solution of the current SDP-relaxation if the last SDP-relaxation was successfully solved

Parameters

scip	SCIP pointer
relax	SDP-relaxator to get solution for
success	pointer to store whether the last SDP-relaxation was solved successfully
solarray	pointer to store the solution, this has to be at least length nvars
sollength	length of the solarray