28 #define HEUR_NAME "guideddiving" 29 #define HEUR_DESC "LP diving heuristic that chooses fixings in direction of incumbent solutions" 30 #define HEUR_DISPCHAR 'g' 31 #define HEUR_PRIORITY -1007000 33 #define HEUR_FREQOFS 7 34 #define HEUR_MAXDEPTH -1 35 #define HEUR_TIMING SCIP_HEURTIMING_AFTERLPPLUNGE 36 #define HEUR_USESSUBSCIP FALSE 37 #define DIVESET_DIVETYPES SCIP_DIVETYPE_INTEGRALITY 44 #define DEFAULT_MINRELDEPTH 0.0 45 #define DEFAULT_MAXRELDEPTH 1.0 46 #define DEFAULT_MAXLPITERQUOT 0.05 47 #define DEFAULT_MAXLPITEROFS 1000 48 #define DEFAULT_MAXDIVEUBQUOT 0.8 50 #define DEFAULT_MAXDIVEAVGQUOT 0.0 52 #define DEFAULT_BACKTRACK TRUE 53 #define DEFAULT_LPRESOLVEDOMCHGQUOT 0.15 54 #define DEFAULT_LPSOLVEFREQ 0 55 #define DEFAULT_ONLYLPBRANCHCANDS FALSE 57 #define DEFAULT_RANDSEED 127 99 assert(heurdata !=
NULL);
114 assert(heur !=
NULL);
119 assert(heurdata !=
NULL);
134 assert(heur !=
NULL);
139 assert(heurdata !=
NULL);
156 assert(heur !=
NULL);
159 assert(result !=
NULL);
176 assert(heurdata !=
NULL);
185 assert(diveset !=
NULL);
208 assert(bestsol !=
NULL);
214 if( candsol < bestsolval )
229 candsfrac = 1.0 - candsfrac;
230 objgain = obj * candsfrac;
233 objgain = -obj * candsfrac;
235 assert(objgain >= -1.0 && objgain <= 1.0);
238 if( candsfrac < 0.01 )
249 *score = -2.0 - objgain;
274 assert(heur !=
NULL);
SCIP_Bool SCIPsolIsOriginal(SCIP_SOL *sol)
int SCIPgetNIntVars(SCIP *scip)
SCIP_RETCODE SCIPincludeHeurGuideddiving(SCIP *scip)
#define DEFAULT_LPSOLVEFREQ
#define DEFAULT_MINRELDEPTH
static SCIP_DECL_HEURINIT(heurInitGuideddiving)
SCIP_RETCODE SCIPsetHeurExit(SCIP *scip, SCIP_HEUR *heur, SCIP_DECL_HEUREXIT((*heurexit)))
SCIP_Bool SCIPisPositive(SCIP *scip, SCIP_Real val)
SCIP_DIVESET ** SCIPheurGetDivesets(SCIP_HEUR *heur)
SCIP_Bool SCIPvarIsBinary(SCIP_VAR *var)
static SCIP_DECL_DIVESETGETSCORE(divesetGetScoreGuideddiving)
#define DEFAULT_ONLYLPBRANCHCANDS
#define DEFAULT_LPRESOLVEDOMCHGQUOT
#define DEFAULT_MAXDIVEAVGQUOT
enum SCIP_Retcode SCIP_RETCODE
LP diving heuristic that chooses fixings in direction of incumbent solutions.
static SCIP_DECL_HEURCOPY(heurCopyGuideddiving)
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)
void SCIPheurSetData(SCIP_HEUR *heur, SCIP_HEURDATA *heurdata)
#define SCIPallocBlockMemory(scip, ptr)
#define DEFAULT_MAXLPITERQUOT
SCIP_Real SCIPgetObjNorm(SCIP *scip)
static SCIP_DECL_HEURFREE(heurFreeGuideddiving)
#define DIVESET_DIVETYPES
const char * SCIPheurGetName(SCIP_HEUR *heur)
SCIP_RETCODE SCIPsetHeurFree(SCIP *scip, SCIP_HEUR *heur, SCIP_DECL_HEURFREE((*heurfree)))
#define DEFAULT_MAXRELDEPTH
int SCIPheurGetNDivesets(SCIP_HEUR *heur)
SCIP_Bool SCIPhasCurrentNodeLP(SCIP *scip)
#define DEFAULT_MAXLPITEROFS
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_Real SCIPvarGetObj(SCIP_VAR *var)
static SCIP_DECL_HEUREXIT(heurExitGuideddiving)
int SCIPgetNSols(SCIP *scip)
int SCIPgetNBinVars(SCIP *scip)
#define DEFAULT_MAXDIVEUBQUOT
SCIP_RETCODE SCIPperformGenericDivingAlgorithm(SCIP *scip, SCIP_DIVESET *diveset, SCIP_SOL *worksol, SCIP_HEUR *heur, SCIP_RESULT *result, SCIP_Bool nodeinfeasible)
SCIP_SOL * SCIPgetBestSol(SCIP *scip)
static SCIP_DECL_HEUREXEC(heurExecGuideddiving)
SCIP_RETCODE SCIPsetHeurInit(SCIP *scip, SCIP_HEUR *heur, SCIP_DECL_HEURINIT((*heurinit)))
#define DEFAULT_BACKTRACK
SCIP_RETCODE SCIPsetHeurCopy(SCIP *scip, SCIP_HEUR *heur, SCIP_DECL_HEURCOPY((*heurcopy)))
SCIP_HEURDATA * SCIPheurGetData(SCIP_HEUR *heur)
SCIP_Real SCIPgetSolVal(SCIP *scip, SCIP_SOL *sol, SCIP_VAR *var)
SCIP_Bool SCIPvarMayRoundUp(SCIP_VAR *var)
SCIP_Bool SCIPvarMayRoundDown(SCIP_VAR *var)
SCIP_RETCODE SCIPcreateSol(SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)