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_FEASTOL = 1, SCIP_SDPPAR_OBJLIMIT = 2, SCIP_SDPPAR_SDPINFO = 3,   SCIP_SDPPAR_SLATERCHECK = 4, SCIP_SDPPAR_PENALTYPARAM = 5, SCIP_SDPPAR_MAXPENALTYPARAM = 6, SCIP_SDPPAR_LAMBDASTAR = 7 }
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 63 of file type_sdpi.h.

typedef enum SCIP_SDPSolverSetting SCIP_SDPSOLVERSETTING

Definition at line 74 of file type_sdpi.h.

typedef enum SCIP_SDPSlaterSetting SCIP_SDPSLATERSETTING

Definition at line 96 of file type_sdpi.h.

typedef enum SCIP_SDPSlater SCIP_SDPSLATER

Definition at line 106 of file type_sdpi.h.

typedef struct SCIP_SDPi SCIP_SDPI

solver independent SDP interface

Definition at line 108 of file type_sdpi.h.

Enumeration Type Documentation

enum SCIP_SDPParam

SDP-solver parameters

Enumerator
SCIP_SDPPAR_EPSILON	convergence tolerance
SCIP_SDPPAR_FEASTOL	feasibility tolerance
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 startingpenalty 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_LAMBDASTAR	the parameter lambda star used by SDPA to set the initial point

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

enum SCIP_SDPSlaterSetting

SDP-solver settings and slater

Enumerator
SCIP_SDPSLATERSETTING_NOINFO	Slater check failed or problem not given to solver
SCIP_SDPSLATERSETTING_STABLEWSLATER	number of instances solved with fastest settings where primal and dual Slater held
SCIP_SDPSLATERSETTING_UNSTABLEWSLATER	number of instances solved with stable settings where primal and dual Slater held
SCIP_SDPSLATERSETTING_PENALTYWSLATER	number of instances solved with penalty formulation where primal and dual Slater held
SCIP_SDPSLATERSETTING_BOUNDEDWSLATER	number of instances we could compute a bound for via the penalty approach where primal and dual Slater held
SCIP_SDPSLATERSETTING_UNSOLVEDWSLATER	number of instances that could not be solved where primal and dual Slater held
SCIP_SDPSLATERSETTING_STABLENOSLATER	number of instances solved with fastest setting where either primal or dual Slater did not hold
SCIP_SDPSLATERSETTING_UNSTABLENOSLATER	number of instances solved with stable settings where either primal or dual Slater did not hold
SCIP_SDPSLATERSETTING_PENALTYNOSLATER	number of instances solved with penalty formulation where either primal or dual Slater did not hold
SCIP_SDPSLATERSETTING_BOUNDEDNOSLATER	number of instances we could compute a bound for via the penalty approach where either primal or dual Slater did not hold
SCIP_SDPSLATERSETTING_UNSOLVEDNOSLATER	number of instances that could not be solved where either primal or dual Slater did not hold
SCIP_SDPSLATERSETTING_STABLEINFEASIBLE	number of instances solved with fastest setting where the dual Slater check showed that the problem is infeasible
SCIP_SDPSLATERSETTING_UNSTABLEINFEASIBLE	number of instances solved with stable settings where the dual Slater check showed that the problem is infeasible
SCIP_SDPSLATERSETTING_PENALTYINFEASIBLE	number of instances solved with penalty formulation where the dual Slater check showed that the problem is infeasible
SCIP_SDPSLATERSETTING_BOUNDEDINFEASIBLE	number of instances we could compute a bound for via the penalty approach where the dual Slater check showed that the problem is infeasible
SCIP_SDPSLATERSETTING_UNSOLVEDINFEASIBLE	number of instances that could not be solved where the dual Slater check showed that the problem is infeasible

Definition at line 77 of file type_sdpi.h.

enum SCIP_SDPSlater

SDP-solver settings used

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