Accelerating Black-Box Bilevel Optimization with Rank-Based Upper-Level Value Function Approximation
About
Bilevel optimization is a field of significant theoretical and practical interest, yet solving such optimization problems remains challenging. Evolutionary methods have been employed to address these problems in the black-box setting; however, they incur high computational cost due to the nested nature of bilevel optimization. Although previous methods have attempted to reduce this cost through various heuristic techniques, such approaches limit versatility on challenging optimization landscapes, such as those with multimodality and significant interaction between upper- and lower-level decision variables. In this study, we propose an efficient framework that exploits the invariance of rank-based evolutionary algorithms to monotonic transformations, thereby reducing the computational burden of the lower-level optimization loop. Specifically, our method directly approximates the rankings of the upper-level value function, bypassing the need to run the lower-level optimizer until convergence for each upper-level iteration. We apply this framework to the setting where both levels are continuous, adopting CMA-ES as the optimizer. We demonstrate that our method achieves competitive performance on standard bilevel optimization benchmarks and can solve problems that are intractable with previously proposed methods, particularly those with multimodality and strong inter-variable interactions.
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Bilevel optimization | SMD1 | Mean LL F Evaluations1.88e+5 | 4 | |
| Bilevel optimization | SMD2 20+20 dimensional | |F - F*|1.00e-6 | 3 | |
| Bilevel optimization | SMD3 20+20 dimensional | Upper Objective Error1.00e-6 | 3 | |
| Bilevel optimization | SMD7 20+20 dimensional | Error |F - F*|1.00e-6 | 3 | |
| Bilevel optimization | SMD8 20+20 dimensional | Error |F - F*|1.00e-6 | 3 | |
| Black-Box Bilevel Optimization | WRA1 (20+20)-dimensional | Objective Difference (|F - F*|)1.00e-6 | 3 | |
| Black-Box Bilevel Optimization | WRA2 (20+20)-dimensional | Solution Gap (|F - F*|)1.00e-6 | 3 | |
| Black-Box Bilevel Optimization | WRA3 (20+20)-dimensional | Objective Difference |F - F*|1.00e-6 | 3 | |
| Black-Box Bilevel Optimization | WRA5 (20+20)-dimensional | Objective Difference |F - F*|1.00e-6 | 3 | |
| Black-Box Bilevel Optimization | WRA6 (20+20)-dimensional | Objective Difference1.00e-6 | 3 |