31 #define HEUR_NAME "coefdiving" 32 #define HEUR_DESC "LP diving heuristic that chooses fixings w.r.t. the matrix coefficients" 33 #define HEUR_DISPCHAR 'c' 34 #define HEUR_PRIORITY -1001000 36 #define HEUR_FREQOFS 1 37 #define HEUR_MAXDEPTH -1 38 #define HEUR_TIMING SCIP_HEURTIMING_AFTERLPPLUNGE 39 #define HEUR_USESSUBSCIP FALSE 40 #define DIVESET_DIVETYPES SCIP_DIVETYPE_INTEGRALITY | SCIP_DIVETYPE_SOS1VARIABLE 47 #define DEFAULT_MINRELDEPTH 0.0 48 #define DEFAULT_MAXRELDEPTH 1.0 49 #define DEFAULT_MAXLPITERQUOT 0.05 50 #define DEFAULT_MAXLPITEROFS 1000 51 #define DEFAULT_MAXDIVEUBQUOT 0.8 53 #define DEFAULT_MAXDIVEAVGQUOT 0.0 55 #define DEFAULT_MAXDIVEUBQUOTNOSOL 0.1 56 #define DEFAULT_MAXDIVEAVGQUOTNOSOL 0.0 57 #define DEFAULT_BACKTRACK TRUE 58 #define DEFAULT_LPRESOLVEDOMCHGQUOT 0.15 59 #define DEFAULT_LPSOLVEFREQ 0 60 #define DEFAULT_ONLYLPBRANCHCANDS FALSE 62 #define DEFAULT_RANDSEED 83 104 assert(heurdata !=
NULL);
118 assert(heur !=
NULL);
123 assert(heurdata !=
NULL);
138 assert(heur !=
NULL);
143 assert(heurdata !=
NULL);
161 assert(heurdata !=
NULL);
166 assert(diveset !=
NULL);
180 if( mayrounddown || mayroundup )
186 if( mayrounddown && mayroundup )
194 *roundup = (candsfrac > 0.5);
197 *roundup = mayrounddown;
204 *roundup = (nlocksdown > nlocksup || (nlocksdown == nlocksup && candsfrac > 0.5));
212 candsfrac = 1.0 - candsfrac;
216 candsfrac = 1.0 - candsfrac;
228 candsfrac = 1.0 - candsfrac;
242 else if( candsfrac < 0.01 )
250 if( mayrounddown || mayroundup )
279 assert(heur !=
NULL);
#define DEFAULT_LPRESOLVEDOMCHGQUOT
#define DEFAULT_MINRELDEPTH
#define DEFAULT_MAXLPITERQUOT
SCIP_RETCODE SCIPsetHeurExit(SCIP *scip, SCIP_HEUR *heur, SCIP_DECL_HEUREXIT((*heurexit)))
SCIP_DIVESET ** SCIPheurGetDivesets(SCIP_HEUR *heur)
SCIP_Bool SCIPvarIsBinary(SCIP_VAR *var)
SCIP_Bool SCIPisFeasNegative(SCIP *scip, SCIP_Real val)
static SCIP_DECL_HEUREXIT(heurExitCoefdiving)
#define DEFAULT_BACKTRACK
enum SCIP_Retcode SCIP_RETCODE
#define DEFAULT_MAXRELDEPTH
struct SCIP_HeurData SCIP_HEURDATA
#define SCIPfreeBlockMemory(scip, ptr)
SCIP_RETCODE SCIPincludeHeurBasic(SCIP *scip, SCIP_HEUR **heur, const char *name, const char *desc, char dispchar, int priority, int freq, int freqofs, int maxdepth, SCIP_HEURTIMING timingmask, SCIP_Bool usessubscip, SCIP_DECL_HEUREXEC((*heurexec)), SCIP_HEURDATA *heurdata)
int SCIPrandomGetInt(SCIP_RANDNUMGEN *randnumgen, int minrandval, int maxrandval)
SCIP_Bool SCIPisEQ(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
#define DEFAULT_MAXDIVEUBQUOTNOSOL
void SCIPheurSetData(SCIP_HEUR *heur, SCIP_HEURDATA *heurdata)
#define SCIPallocBlockMemory(scip, ptr)
LP diving heuristic that chooses fixings w.r.t. the matrix coefficients.
const char * SCIPheurGetName(SCIP_HEUR *heur)
#define DEFAULT_MAXLPITEROFS
SCIP_RETCODE SCIPsetHeurFree(SCIP *scip, SCIP_HEUR *heur, SCIP_DECL_HEURFREE((*heurfree)))
#define DEFAULT_MAXDIVEUBQUOT
#define DEFAULT_MAXDIVEAVGQUOT
static SCIP_DECL_HEUREXEC(heurExecCoefdiving)
#define DEFAULT_MAXDIVEAVGQUOTNOSOL
int SCIPgetNLPRows(SCIP *scip)
int SCIPheurGetNDivesets(SCIP_HEUR *heur)
#define SCIP_PROBINGSCORE_PENALTYRATIO
static SCIP_DECL_HEURINIT(heurInitCoefdiving)
static SCIP_DECL_HEURCOPY(heurCopyCoefdiving)
SCIP_RANDNUMGEN * SCIPdivesetGetRandnumgen(SCIP_DIVESET *diveset)
int SCIPvarGetNLocksUp(SCIP_VAR *var)
#define DIVESET_DIVETYPES
SCIP_RETCODE SCIPcreateDiveset(SCIP *scip, SCIP_DIVESET **diveset, SCIP_HEUR *heur, const char *name, SCIP_Real minreldepth, SCIP_Real maxreldepth, SCIP_Real maxlpiterquot, SCIP_Real maxdiveubquot, SCIP_Real maxdiveavgquot, SCIP_Real maxdiveubquotnosol, SCIP_Real maxdiveavgquotnosol, SCIP_Real lpresolvedomchgquot, int lpsolvefreq, int maxlpiterofs, unsigned int initialseed, SCIP_Bool backtrack, SCIP_Bool onlylpbranchcands, SCIP_Bool specificsos1score, SCIP_DECL_DIVESETGETSCORE((*divesetgetscore)))
SCIP_RETCODE SCIPfreeSol(SCIP *scip, SCIP_SOL **sol)
SCIP_RETCODE SCIPincludeHeurCoefdiving(SCIP *scip)
SCIP_RETCODE SCIPperformGenericDivingAlgorithm(SCIP *scip, SCIP_DIVESET *diveset, SCIP_SOL *worksol, SCIP_HEUR *heur, SCIP_RESULT *result, SCIP_Bool nodeinfeasible)
int SCIPvarGetNLocksDown(SCIP_VAR *var)
#define DEFAULT_LPSOLVEFREQ
#define DEFAULT_ONLYLPBRANCHCANDS
SCIP_RETCODE SCIPsetHeurInit(SCIP *scip, SCIP_HEUR *heur, SCIP_DECL_HEURINIT((*heurinit)))
SCIP_Bool SCIPisFeasPositive(SCIP *scip, SCIP_Real val)
static SCIP_DECL_HEURFREE(heurFreeCoefdiving)
#define SCIP_DIVETYPE_SOS1VARIABLE
SCIP_RETCODE SCIPsetHeurCopy(SCIP *scip, SCIP_HEUR *heur, SCIP_DECL_HEURCOPY((*heurcopy)))
#define SCIP_DIVETYPE_INTEGRALITY
SCIP_HEURDATA * SCIPheurGetData(SCIP_HEUR *heur)
SCIP_Bool SCIPvarMayRoundUp(SCIP_VAR *var)
SCIP_Bool SCIPvarMayRoundDown(SCIP_VAR *var)
static SCIP_DECL_DIVESETGETSCORE(divesetGetScoreCoefdiving)
SCIP_RETCODE SCIPcreateSol(SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)