type_sdpi.h File Reference

type definitions for specific SDP-solver interfaces More...

Go to the source code of this file.

Typedefs
typedef enum SCIP_SDPParam	SCIP_SDPPARAM
typedef enum SCIP_SDPSolverSetting	SCIP_SDPSOLVERSETTING
typedef enum SCIP_SDPSlaterSetting	SCIP_SDPSLATERSETTING
typedef enum SCIP_SDPSlater	SCIP_SDPSLATER
typedef struct SCIP_SDPi	SCIP_SDPI

Enumerations

Detailed Description

type definitions for specific SDP-solver interfaces

Author

Tristan Gally

Definition in file type_sdpi.h.

Typedef Documentation

typedef enum SCIP_SDPParam SCIP_SDPPARAM

Definition at line 69 of file type_sdpi.h.

typedef enum SCIP_SDPSolverSetting SCIP_SDPSOLVERSETTING

Definition at line 80 of file type_sdpi.h.

typedef enum SCIP_SDPSlaterSetting SCIP_SDPSLATERSETTING

Definition at line 102 of file type_sdpi.h.

typedef enum SCIP_SDPSlater SCIP_SDPSLATER

Definition at line 112 of file type_sdpi.h.

typedef struct SCIP_SDPi SCIP_SDPI

solver independent SDP interface

Definition at line 114 of file type_sdpi.h.

Enumeration Type Documentation

enum SCIP_SDPParam

SDP-solver parameters

Enumerator
SCIP_SDPPAR_EPSILON	absolute tolerance
SCIP_SDPPAR_GAPTOL	convergence tolerance
SCIP_SDPPAR_FEASTOL	feasibility tolerance
SCIP_SDPPAR_SDPSOLVERFEASTOL	feasibility tolerance for SDP-solver
SCIP_SDPPAR_OBJLIMIT	objective limit, if the SDP-solver computes a lower bound for the minimzation problem that is bigger than this, it may stop
SCIP_SDPPAR_SDPINFO	Should the SDP-solver output information to the screen?
SCIP_SDPPAR_SLATERCHECK	Should the slater condition for the dual problem be checked before solving each SDP ?
SCIP_SDPPAR_PENALTYPARAM	the starting penalty parameter Gamma used for the penalty formulation if the SDP-solver did not converge
SCIP_SDPPAR_MAXPENALTYPARAM	the maximum penalty parameter Gamma used for the penalty formulation if the SDP-solver did not converge
SCIP_SDPPAR_NPENALTYINCR	maximum number of times the penalty parameter will be increased if penalty formulation failed
SCIP_SDPPAR_LAMBDASTAR	the parameter lambda star used by SDPA to set the initial point
SCIP_SDPPAR_NTHREADS	number of threads the SDP solver should use, currently only supported for MOSEK (-1 = number of cores)
SCIP_SDPPAR_WARMSTARTPOGAP	gap at which a preoptimal solution should be saved for warmstarting purposes (currently only supported for DSDP)
SCIP_SDPPAR_PENINFEASADJUST	gap- or feastol will be multiplied by this before checking for infeasibility using the penalty formulation

Definition at line 51 of file type_sdpi.h.

enum SCIP_SDPSolverSetting

SDP-solver settings used

Enumerator
SCIP_SDPSOLVERSETTING_UNSOLVED	problem was not solved
SCIP_SDPSOLVERSETTING_PENALTY	penalty formulation
SCIP_SDPSOLVERSETTING_FAST	fastest settings
SCIP_SDPSOLVERSETTING_MEDIUM	medium settings
SCIP_SDPSOLVERSETTING_STABLE	most stable settings

Definition at line 72 of file type_sdpi.h.

enum SCIP_SDPSlaterSetting

SDP-solver settings used and Slater status

Enumerator
SCIP_SDPSLATERSETTING_NOINFO	Slater check failed or problem not given to solver
SCIP_SDPSLATERSETTING_STABLEWSLATER	solved with fastest settings and primal and dual Slater holding
SCIP_SDPSLATERSETTING_UNSTABLEWSLATER	solved with stable settings and primal and dual Slater holding
SCIP_SDPSLATERSETTING_PENALTYWSLATER	solved with penalty formulation and primal and dual Slater holding
SCIP_SDPSLATERSETTING_BOUNDEDWSLATER	bound computed via penalty approach with primal and dual Slater holding
SCIP_SDPSLATERSETTING_UNSOLVEDWSLATER	unsolved with primal and dual Slater holding
SCIP_SDPSLATERSETTING_STABLENOSLATER	solved with fastest setting and either primal or dual Slater not holding
SCIP_SDPSLATERSETTING_UNSTABLENOSLATER	solved with stable settings and either primal or dual Slater not holding
SCIP_SDPSLATERSETTING_PENALTYNOSLATER	solved with penalty formulation and either primal or dual Slater not holding
SCIP_SDPSLATERSETTING_BOUNDEDNOSLATER	bound computed via penalty approach with either primal or dual Slater not holding
SCIP_SDPSLATERSETTING_UNSOLVEDNOSLATER	unsolved with either primal or dual Slater not holding
SCIP_SDPSLATERSETTING_STABLEINFEASIBLE	solved with fastest setting and dual Slater check showing infeasibility
SCIP_SDPSLATERSETTING_UNSTABLEINFEASIBLE	solved with stable settings and dual Slater check showing infeasibility
SCIP_SDPSLATERSETTING_PENALTYINFEASIBLE	solved with penalty formulation and dual Slater check showing infeasibility
SCIP_SDPSLATERSETTING_BOUNDEDINFEASIBLE	bound computed via penalty approach with dual Slater check showing infeasibility
SCIP_SDPSLATERSETTING_UNSOLVEDINFEASIBLE	unsolved with dual Slater check showing infeasibility

Definition at line 83 of file type_sdpi.h.

enum SCIP_SDPSlater

SDP-solver Slater status

Enumerator
SCIP_SDPSLATER_INF	problem is infeasible
SCIP_SDPSLATER_NOINFO	check for Slater condition failed
SCIP_SDPSLATER_NOT	Slater condition does not hold
SCIP_SDPSLATER_HOLDS	Slater condition holds

Definition at line 105 of file type_sdpi.h.