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_EXPORT SCIP_RETCODE	SCIPincludeEventHdlrEstim (SCIP *scip)
SCIP_EXPORT SCIP_Real	SCIPgetTreesizeEstimation (SCIP *scip)

Function Documentation

SCIPincludeEventHdlrEstim()

SCIP_EXPORT SCIP_RETCODE SCIPincludeEventHdlrEstim

(

SCIP *

scip

)

creates event handler for tree size estimation

Parameters

scip	SCIP data structure

Definition at line 2863 of file event_estim.c.

Referenced by SCIPincludeDefaultPlugins().

SCIPgetTreesizeEstimation()

SCIP_EXPORT SCIP_Real SCIPgetTreesizeEstimation

(

SCIP *

scip

)

return an estimation of the final tree size

Parameters

scip	SCIP data structure

Definition at line 2979 of file event_estim.c.

Referenced by printReport(), and shouldApplyRestartEstimation().