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
Definition in file event_estim.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
-
scip SCIP data structure
Definition at line 2893 of file event_estim.c.
Referenced by SCIPincludeDefaultPlugins().
◆ SCIPgetTreesizeEstimation()
return an estimation of the final tree size
- Parameters
-
scip SCIP data structure
Definition at line 3022 of file event_estim.c.
Referenced by printReport(), and shouldApplyRestartEstimation().