Abstract:In the fields of heuristic optimization and machine learning, experimentation is the way to assess the performance of an algorithm setup and the hardness of problems. Most algorithms in the domain are anytime algorithms, meaning that they can improve their approximation quality over time. This means that one algorithm may initially perform better than another one, but converge to worse solutions in the end. Instead of single final results, the whole runtime behavior of algorithms needs to be compared. Moreover, a researcher does not just want to know which algorithm performs best and which problem is the hardest – she/he wants to know why. In this paper, we introduce a process which can 1) automatically model the progress of algorithm setups on different problem instances based on data collected in experiments, 2) use these models to discover clusters of algorithm (or problem instance) behaviors, and 3) propose causes why a certain algorithm setup (or problem instance) belongs to a certain algorithm (or problem instance) behavior cluster. These high-level conclusions are presented in form of decision trees relating algorithm parameters (or instance features) to cluster ids. We emphasize the duality of analyzing algorithm setups and problem instances. Our process is implemented as open source software and tested in two case studies, on the Maximum Satisfiability Problem and the Traveling Salesman Problem. Besides its basic application to raw experimental data, yielding clusters and explanations of “quantitative” algorithm behavior, our process also allows for “qualitative” conclusions by feeding it with data which is normalized based on problem features or algorithm parameters. It can also be applied recursively, e.g., to further investigate the behavior of the algorithms in the cluster with the best-performing setups on the problem instances belonging to the cluster of hardest instances. Both use cases are investigated in the case studies. We conclude our article by a comprehensive analysis of the drawbacks of our method and with suggestions on how it can be improved.

Modeling Optimization Algorithm Runtime Behavior and Its Applications

Optimization Algorithm Behavior Modeling: A Study On The Traveling Salesman Problem

A Trust-Region Framework for Real-Time Optimization with Structural Process-Model Mismatch

Generalized Parameter Estimation Method for Model-Based Real Time Optimization

Knowledge-based modeling of simulation behavior for Bayesian optimization

Optimization Over Trained Neural Networks: Taking a Relaxing Walk

Implementation Issues in Optimization Algorithms: Do They Matter?

Sequential Model-Based Optimization for General Algorithm Configuration

Studies on Some Modern Optimization Algorithms

Neural Networks for Predicting Algorithm Runtime Distributions

Automatically discovering clusters of algorithm and problem instance behaviors as well as their causes from experimental data, algorithm setups, and instance features.

Understanding Auto-Scheduling Optimizations for Model Deployment via Visualizations

Quality and Computation Time in Optimization Problems

Optimization Applications as Quantum Performance Benchmarks

Optimization of deep learning models: benchmark and analysis

The Application of Optimization Model in Mathematical Modeling

Practical Bayesian Optimization of Machine Learning Algorithms

Neural Model-based Optimization with Right-Censored Observations

Using models to improve optimizers for variational quantum algorithms

Quantitative Analysis of Graph Algorithms: Models and Optimization Methods

The Social Cognitive Optimization Algorithm: Modifiability and Application