Scippy

SCIP

Solving Constraint Integer Programs

Functions
heur_conflictdiving.h File Reference
Public API of SCIP » Plugin API of SCIP » Primal Heuristics

Detailed Description

LP diving heuristic that chooses fixings w.r.t. conflict locks.

Author
Jakob Witzig

Diving heuristic: Iteratively fixes some fractional variable and resolves the LP-relaxation, thereby simulating a depth-first-search in the tree. Conflict Diving chooses the variable with the fewest conflict locking number in any direction and rounds it into this direction.

Definition in file heur_conflictdiving.h.

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"

Go to the source code of this file.

Functions

SCIP_EXPORT SCIP_RETCODE SCIPincludeHeurConflictdiving (SCIP *scip)
 

Function Documentation

◆ SCIPincludeHeurConflictdiving()

SCIP_EXPORT SCIP_RETCODE SCIPincludeHeurConflictdiving ( SCIP *  scip)

creates the conflictdiving heuristic and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 489 of file heur_conflictdiving.c.

References DEFAULT_BACKTRACK, DEFAULT_LIKECOEF, DEFAULT_LOCKWEIGHT, DEFAULT_LPRESOLVEDOMCHGQUOT, DEFAULT_LPSOLVEFREQ, DEFAULT_MAXDIVEAVGQUOT, DEFAULT_MAXDIVEAVGQUOTNOSOL, DEFAULT_MAXDIVEUBQUOT, DEFAULT_MAXDIVEUBQUOTNOSOL, DEFAULT_MAXLPITEROFS, DEFAULT_MAXLPITERQUOT, DEFAULT_MAXRELDEPTH, DEFAULT_MAXVIOL, DEFAULT_MINCONFLICTLOCKS, DEFAULT_MINRELDEPTH, DEFAULT_ONLYLPBRANCHCANDS, DEFAULT_RANDSEED, DIVESET_DIVETYPES, DIVESET_ISPUBLIC, divesetAvailableConflictdiving, HEUR_DESC, HEUR_DISPCHAR, HEUR_FREQ, HEUR_FREQOFS, HEUR_MAXDEPTH, HEUR_NAME, HEUR_PRIORITY, HEUR_TIMING, HEUR_USESSUBSCIP, NULL, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateDiveset(), SCIPincludeHeurBasic(), SCIPsetHeurCopy(), SCIPsetHeurExit(), SCIPsetHeurFree(), SCIPsetHeurInit(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().