Scippy

SCIP

Solving Constraint Integer Programs

event_estim.h File Reference

Detailed Description

event handler for tree size estimation and restarts

This event handler plugin provides different methods for approximating the current fraction of the search that has already been completed and for estimating the total tree size at completion. It can trigger restarts of the current run if the current run seems hopeless.

For details about the available approximations of search completion, please see

Anderson, Hendel, Le Bodic, Pfetsch Estimating The Size of Branch-and-Bound Trees under preparation

This code is a largely enriched version of a code that was used for clairvoyant restarts, see

Anderson, Hendel, Le Bodic, Viernickel Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation AAAI-19: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2018

Author
Gregor Hendel

Definition in file event_estim.h.

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

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeEventHdlrEstim (SCIP *scip)
 
SCIP_Real SCIPgetTreesizeEstimation (SCIP *scip)
 

Function Documentation

◆ SCIPincludeEventHdlrEstim()

SCIP_RETCODE SCIPincludeEventHdlrEstim ( SCIP scip)

creates event handler for tree size estimation

Parameters
scipSCIP data structure

Definition at line 2893 of file event_estim.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPgetTreesizeEstimation()

SCIP_Real SCIPgetTreesizeEstimation ( SCIP scip)

return an estimation of the final tree size

Parameters
scipSCIP data structure

Definition at line 3022 of file event_estim.c.

Referenced by printReport(), and shouldApplyRestartEstimation().