Warmstarting of Model-based Algorithm Configuration

09/14/2017
by   Marius Lindauer, et al.
0

The performance of many hard combinatorial problem solvers depends strongly on their parameter settings, and since manual parameter tuning is both tedious and suboptimal the AI community has recently developed several algorithm configuration (AC) methods to automatically address this problem. While all existing AC methods start the configuration process of an algorithm A from scratch for each new type of benchmark instances, here we propose to exploit information about A's performance on previous benchmarks in order to warmstart its configuration on new types of benchmarks. We introduce two complementary ways in which we can exploit this information to warmstart AC methods based on a predictive model. Experiments for optimizing a very flexible modern SAT solver on twelve different instance sets show that our methods often yield substantial speedups over existing AC methods (up to 165-fold) and can also find substantially better configurations given the same compute budget.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/15/2014

ParamILS: An Automatic Algorithm Configuration Framework

The identification of performance-optimizing parameter settings is an im...
research
05/05/2015

The Configurable SAT Solver Challenge (CSSC)

It is well known that different solution strategies work well for differ...
research
07/02/2018

LeapsAndBounds: A Method for Approximately Optimal Algorithm Configuration

We consider the problem of configuring general-purpose solvers to run ef...
research
09/09/2022

Improving Nevergrad's Algorithm Selection Wizard NGOpt through Automated Algorithm Configuration

Algorithm selection wizards are effective and versatile tools that autom...
research
02/23/2023

Using Automated Algorithm Configuration for Parameter Control

Dynamic Algorithm Configuration (DAC) tackles the question of how to aut...
research
05/17/2017

Pitfalls and Best Practices in Algorithm Configuration

Good parameter settings are crucial to achieve high performance in many ...
research
04/27/2020

MATE: A Model-based Algorithm Tuning Engine

In this paper, we introduce a Model-based Algorithm Turning Engine, name...

Please sign up or login with your details

Forgot password? Click here to reset