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
enum	SCIP_SDPParam {   SCIP_SDPPAR_EPSILON = 0, SCIP_SDPPAR_GAPTOL = 1, SCIP_SDPPAR_FEASTOL = 2, SCIP_SDPPAR_SDPSOLVERFEASTOL = 3,   SCIP_SDPPAR_OBJLIMIT = 4, SCIP_SDPPAR_SDPINFO = 5, SCIP_SDPPAR_SLATERCHECK = 6, SCIP_SDPPAR_PENALTYPARAM = 7,   SCIP_SDPPAR_MAXPENALTYPARAM = 8, SCIP_SDPPAR_NPENALTYINCR = 9, SCIP_SDPPAR_LAMBDASTAR = 10, SCIP_SDPPAR_NTHREADS = 11,   SCIP_SDPPAR_WARMSTARTPOGAP = 12 }
enum	SCIP_SDPSolverSetting {   SCIP_SDPSOLVERSETTING_UNSOLVED = -1, SCIP_SDPSOLVERSETTING_PENALTY = 0, SCIP_SDPSOLVERSETTING_FAST = 1, SCIP_SDPSOLVERSETTING_MEDIUM = 2,   SCIP_SDPSOLVERSETTING_STABLE = 3 }
enum	SCIP_SDPSlaterSetting {   SCIP_SDPSLATERSETTING_NOINFO = 0, SCIP_SDPSLATERSETTING_STABLEWSLATER = 1, SCIP_SDPSLATERSETTING_UNSTABLEWSLATER = 2, SCIP_SDPSLATERSETTING_PENALTYWSLATER = 3,   SCIP_SDPSLATERSETTING_BOUNDEDWSLATER = 4, SCIP_SDPSLATERSETTING_UNSOLVEDWSLATER = 5, SCIP_SDPSLATERSETTING_STABLENOSLATER = 6, SCIP_SDPSLATERSETTING_UNSTABLENOSLATER = 7,   SCIP_SDPSLATERSETTING_PENALTYNOSLATER = 8, SCIP_SDPSLATERSETTING_BOUNDEDNOSLATER = 9, SCIP_SDPSLATERSETTING_UNSOLVEDNOSLATER = 10, SCIP_SDPSLATERSETTING_STABLEINFEASIBLE = 11,   SCIP_SDPSLATERSETTING_UNSTABLEINFEASIBLE = 12, SCIP_SDPSLATERSETTING_PENALTYINFEASIBLE = 13, SCIP_SDPSLATERSETTING_BOUNDEDINFEASIBLE = 14, SCIP_SDPSLATERSETTING_UNSOLVEDINFEASIBLE = 15 }
enum	SCIP_SDPSlater { SCIP_SDPSLATER_INF = -2, SCIP_SDPSLATER_NOINFO = -1, SCIP_SDPSLATER_NOT = 0, SCIP_SDPSLATER_HOLDS = 1 }

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 68 of file type_sdpi.h.

typedef enum SCIP_SDPSolverSetting SCIP_SDPSOLVERSETTING

Definition at line 79 of file type_sdpi.h.

typedef enum SCIP_SDPSlaterSetting SCIP_SDPSLATERSETTING

Definition at line 101 of file type_sdpi.h.

typedef enum SCIP_SDPSlater SCIP_SDPSLATER

Definition at line 111 of file type_sdpi.h.

typedef struct SCIP_SDPi SCIP_SDPI

solver independent SDP interface

Definition at line 113 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)

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 71 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 82 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 104 of file type_sdpi.h.