pith. sign in

arxiv: 2604.06973 · v1 · submitted 2026-04-08 · 💻 cs.NE

Block-Bench: A Framework for Controllable and Transparent Discrete Optimization Benchmarking

Pith reviewed 2026-05-10 17:54 UTC · model grok-4.3

classification 💻 cs.NE
keywords discrete optimizationbenchmark constructionevolutionary algorithmsalgorithm behavior analysisblock functionsmulti-modal problemsself-adaptation
0
0 comments X

The pith

The Block-Bench framework constructs discrete optimization benchmarks from composable block functions and dependency graphs, enabling analysis of algorithm behavior through intermediate values rather than only the final objective.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a method to build benchmark problems for discrete optimization by combining multiple block functions, each handling a subset of variables, linked by weights and an adjacency graph. This setup gives researchers explicit control over problem features like modality and variable interactions. A key benefit is the ability to look inside the optimization process by checking the values produced by each block during a run. This detailed view helps explain how different algorithms handle large, complex problems that have many local optima. The authors show how this design can guide improvements in evolutionary algorithm techniques such as self-adaptation and maintaining diversity.

Core claim

We build benchmark problems based on a set of block functions, where each block function maps a subset of variables to a real value. Problems are instantiated through a set of block functions, weight factors, and an adjacency graph representing the dependency among the block functions. Through analyzing intermediate block values, our framework allows to analyze algorithm behavior not only in the objective space but also at the level of variable representations in the obtained solutions. This capacity is particularly useful for analyzing discrete heuristics in large-scale multi-modal problems.

What carries the argument

Block functions that each map a subset of decision variables to a scalar value, assembled via an adjacency graph for dependencies and weight factors for combining into the overall objective.

Load-bearing premise

That the intermediate values from the block functions can be recorded and interpreted to yield useful insights into how an algorithm explores the search space, beyond what the single scalar objective value shows.

What would settle it

Running multiple algorithms on the same set of block-based benchmarks and finding that the block value trajectories do not correlate with or explain differences in overall performance or solution quality.

Figures

Figures reproduced from arXiv: 2604.06973 by Frank Neumann, Furong Ye, Niki van Stein, Thomas B\"ack.

Figure 1
Figure 1. Figure 1: Correlations between block function values (in axes) [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Diverse landscapes constructed by block functions [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: Correlations between block function values (in axes) [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The minimal (Top) and maximal (Bottom) attainable [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Convergence process of EAs for F5 over the FEs. [PITH_FULL_IMAGE:figures/full_fig_p006_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Convergence process of EAs for F10 over the FEs. [PITH_FULL_IMAGE:figures/full_fig_p006_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The attainable objective values of a 40D DBP (F3) and GCP (F7) with only Jump3 block functions vs. the number of 1-bits in the solution. 𝑚 = 1, 2, 4 from left to right. (a) Jump blocks (b) Epistasis blocks (c) Distinct block functions [PITH_FULL_IMAGE:figures/full_fig_p007_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The FEs of (𝜇 + 1) GAs to reach the optimum of 40D DBPs and GCPs with Jump3, Epistasis , and heterogeneous block functions. added into block functions (𝑚 ≥ 3). In addition, when compar￾ing the performance on DBP and GCP instances, DBP generally appears to be easier for both algorithms, except for a noticeable performance shift of the standard GA in [PITH_FULL_IMAGE:figures/full_fig_p007_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The bi-objective search space of GCPs with the [PITH_FULL_IMAGE:figures/full_fig_p008_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The HV convergence on the bi-objective optimiza [PITH_FULL_IMAGE:figures/full_fig_p008_11.png] view at source ↗
read the original abstract

We present a novel approach for constructing discrete optimization benchmarks that enables fine-grained control over problem properties, and such benchmarks can facilitate analyzing discrete algorithm behaviors. We build benchmark problems based on a set of block functions, where each block function maps a subset of variables to a real value. Problems are instantiated through a set of block functions, weight factors, and an adjacency graph representing the dependency among the block functions. Through analyzing intermediate block values, our framework allows to analyze algorithm behavior not only in the objective space but also at the level of variable representations in the obtained solutions. This capacity is particularly useful for analyzing discrete heuristics in large-scale multi-modal problems, thereby enhancing the practical relevance of benchmark studies. We demonstrate how the proposed approach can inspire the related work in self-adaptation and diversity control in evolutionary algorithms. Moreover, we explain that the proposed benchmark design enables explicit control over problem properties, supporting research in broader domains such as dynamic algorithm configuration and multi-objective optimization.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces Block-Bench, a framework for constructing discrete optimization benchmark problems using a set of block functions (each mapping a subset of variables to a real value), weight factors, and an adjacency graph to represent dependencies among blocks. It claims this construction provides fine-grained control over problem properties such as modality and variable interactions, and allows for transparent analysis of discrete algorithms by examining intermediate block values in addition to the overall objective value. The authors illustrate the approach's potential to inspire research in self-adaptation and diversity control in evolutionary algorithms, as well as its applicability to dynamic algorithm configuration and multi-objective optimization.

Significance. If the framework delivers on its promises of controllability and transparency, it could provide a valuable structured method for generating customizable benchmarks in discrete optimization and evolutionary computation. This would address limitations in existing black-box benchmarks by enabling systematic variation of problem features and deeper behavioral analysis, potentially inspiring new algorithmic techniques. The definitional construction is internally consistent and offers a clear path to reproducible problem instances.

major comments (2)
  1. [Abstract and applications section] The central claim that analyzing intermediate block values enables insights into algorithm behavior not obtainable from the scalar objective alone is load-bearing for the paper's motivation, yet the manuscript provides no quantitative validation, baseline comparisons, or concrete case studies demonstrating actionable insights from this analysis (see abstract and applications discussion).
  2. [Construction method] The assertion of 'fine-grained control' over properties such as modality and variable interactions via the block decomposition and adjacency graph lacks a systematic demonstration or enumeration of achievable configurations, making the controllability claim informal rather than rigorously shown.
minor comments (2)
  1. [Methods] The notation for block functions, weight factors, and the adjacency graph would benefit from explicit mathematical definitions or pseudocode to improve clarity and reproducibility.
  2. [Related work] A more explicit comparison to existing modular or decomposable benchmarks (e.g., NK-landscapes) would better situate the novelty of the block-function approach.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive feedback on our manuscript introducing the Block-Bench framework. The comments correctly identify areas where additional evidence would strengthen the presentation of our claims on transparency and controllability. We respond to each major comment below and indicate the revisions we will make.

read point-by-point responses
  1. Referee: [Abstract and applications section] The central claim that analyzing intermediate block values enables insights into algorithm behavior not obtainable from the scalar objective alone is load-bearing for the paper's motivation, yet the manuscript provides no quantitative validation, baseline comparisons, or concrete case studies demonstrating actionable insights from this analysis (see abstract and applications discussion).

    Authors: We acknowledge that the current manuscript motivates the value of intermediate block-value analysis in the abstract and applications section but does not supply a quantitative demonstration or baseline comparison. To address this, we will add a dedicated case-study subsection. It will present a controlled multi-modal instance, run a representative discrete evolutionary algorithm, and contrast the behavioral insights obtained from tracking per-block values against those available from the scalar objective alone, including a simple baseline that uses only the objective. This addition will make the transparency claim concrete and actionable. revision: yes

  2. Referee: [Construction method] The assertion of 'fine-grained control' over properties such as modality and variable interactions via the block decomposition and adjacency graph lacks a systematic demonstration or enumeration of achievable configurations, making the controllability claim informal rather than rigorously shown.

    Authors: We agree that the controllability claim is currently supported primarily by the definitional construction and selected examples rather than by an explicit enumeration of reachable configurations. In the revised manuscript we will expand the construction-method section with a systematic overview: a table that enumerates representative choices of block-function families, weight assignments, and adjacency-graph densities, together with the resulting problem properties (number of local optima, interaction strength, etc.). This will render the fine-grained control claim more rigorous while preserving the original framework. revision: yes

Circularity Check

0 steps flagged

No significant circularity: definitional benchmark construction framework

full rationale

The manuscript defines a benchmark construction method via block functions, weights, and adjacency graphs to enable controllable discrete optimization problems and intermediate-value analysis. No equations, derivations, or predictions are presented that reduce the central claims to fitted inputs or self-citations by construction. The contribution is the framework definition itself, which is self-contained and does not rely on load-bearing self-citations or ansatzes imported from prior author work. This matches the expected non-circular outcome for a novel definitional proposal.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on the definitional choice to decompose problems into independent block functions whose outputs are combined via weights and a graph; no numerical fitting or external data is required for the construction itself.

axioms (2)
  • domain assumption Any discrete optimization problem can be usefully decomposed into a collection of block functions each acting on a variable subset.
    Invoked when the paper states that problems are instantiated through a set of block functions.
  • domain assumption An adjacency graph on blocks meaningfully captures variable dependencies for analysis purposes.
    Used to represent dependency among block functions.
invented entities (1)
  • block function no independent evidence
    purpose: Modular component that maps a variable subset to a scalar value for transparent intermediate analysis.
    Core new building block introduced by the framework.

pith-pipeline@v0.9.0 · 5470 in / 1358 out tokens · 44620 ms · 2026-05-10T17:54:55.190993+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

67 extracted references · 67 canonical work pages

  1. [1]

    [2]Altenberg, L.B2

    Adriaensen, S., Biedenkapp, A., Shala, G., Awad, N., Eimer, T., Lindauer, M., and Hutter, F.Automated dynamic algorithm configuration.Journal of Artificial Intelligence Research 75(2022), 1633–1699. [2]Altenberg, L.B2. 7.2 nk fitness landscapes.Evolution 2(1996), 1–11

  2. [2]

    InProceedings of the ACM/SIGEVO Conference on Foundations of Genetic Algorithms (FOGA ’23)(2023), pp

    Antipov, D., Neumann, A., and Neumann, F.Rigorous runtime analysis of diver- sity optimization with gsemo on oneminmax. InProceedings of the ACM/SIGEVO Conference on Foundations of Genetic Algorithms (FOGA ’23)(2023), pp. 3–14

  3. [3]

    InProceedings of the ACM-SIAM symposium on Discrete algorithms (SODA’14)(2014), SIAM, pp

    Badanidiyuru, A., and Vondrák, J.Fast algorithms for maximizing submodular functions. InProceedings of the ACM-SIAM symposium on Discrete algorithms (SODA’14)(2014), SIAM, pp. 1497–1514

  4. [4]

    Bartz-Beielstein, T., Doerr, C., Berg, D. v. d., Bossek, J., Chandrasekaran, S., Eftimov, T., Fischbach, A., Kerschke, P., La Cava, W., Lopez-Ibanez, M., et al. Benchmarking in optimization: Best practice and open issues.arXiv preprint arXiv:2007.03488(2020)

  5. [5]

    Nevergrad: black-box optimization platform.Acm Sigevolution 14, 1 (2021), 8–15

    Bennet, P., Doerr, C., Moreau, A., Rapin, J., Teytaud, F., and Teytaud, O. Nevergrad: black-box optimization platform.Acm Sigevolution 14, 1 (2021), 8–15

  6. [6]

    Beume, N., Naujoks, B., and Emmerich, M.Sms-emoa: Multiobjective selection based on dominated hypervolume.European Journal of Operational Research 181, 3 (2007), 1653–1669

  7. [7]

    S., Hutter, F., and Doerr, C.Theory- inspired parameter control benchmarks for dynamic algorithm configuration

    Biedenkapp, A., Dang, N., Krejca, M. S., Hutter, F., and Doerr, C.Theory- inspired parameter control benchmarks for dynamic algorithm configuration. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO ’22) (2022), pp. 766–775

  8. [8]

    Blank, J., and Deb, K.Pymoo: Multi-objective optimization in python.IEEE Access 8(2020), 89497–89509

  9. [9]

    A., Luong, N

    Bosman, P. A., Luong, N. H., and Thierens, D.Expanding from discrete cartesian to permutation gene-pool optimal mixing evolutionary algorithms. InProceed- ings of the Genetic and Evolutionary Computation Conference (GECCO’16)(2016), pp. 637–644

  10. [10]

    InProceedings of the International Joint Conference on Artificial Intelligence (IJCAI’23)(2023), pp

    Cerf, S., Doerr, B., Hebras, B., Kahane, Y., and Wietheger, S.The first proven performance guarantees for the non-dominated sorting genetic algorithm ii (nsga- ii) on a combinatorial optimization problem. InProceedings of the International Joint Conference on Artificial Intelligence (IJCAI’23)(2023), pp. 5522–5530

  11. [11]

    InProceedings of the ACM/SIGEVO Confer- ence on Foundations of Genetic Algorithms (FOGA ’23)(2023), pp

    Chen, D., Buzdalov, M., Doerr, C., and Dang, N.Using automated algorithm configuration for parameter control. InProceedings of the ACM/SIGEVO Confer- ence on Foundations of Genetic Algorithms (FOGA ’23)(2023), pp. 38–49

  12. [12]

    InProceedings of International Conference on Theory and Applications of Satisfiability Testing (SAT’24)(2024), Schloss Dagstuhl– Leibniz-Zentrum für Informatik, pp

    Chu, Y., Li, C.-M., Ye, F., and Cai, S.Enhancing maxsat local search via a unified soft clause weighting scheme. InProceedings of International Conference on Theory and Applications of Satisfiability Testing (SAT’24)(2024), Schloss Dagstuhl– Leibniz-Zentrum für Informatik, pp. 8–1

  13. [13]

    Evolutionary Computation 32, 3 (2024), 205–210

    de Nobel, J., Ye, F., Vermetten, D., W ang, H., Doerr, C., and Bäck, T.Io- hexperimenter: Benchmarking platform for iterative optimization heuristics. Evolutionary Computation 32, 3 (2024), 205–210

  14. [14]

    Deb, K., Pratap, A., Agarwal, S., and Meyarivan, T.A fast and elitist multiob- jective genetic algorithm: Nsga-ii.IEEE Transactions on Evolutionary Computation 6, 2 (2002), 182–197

  15. [15]

    InDecision Sciences

    Deb, K., Sindhya, K., and Hakanen, J.Multi-objective optimization. InDecision Sciences. CRC Press, 2016, pp. 161–200

  16. [16]

    Do, A. V., Neumann, A., Neumann, F., and Sutton, A.Rigorous runtime analysis of moea/d for solving multi-objective minimum weight base problems.Advances in Neural Information Processing Systems (NeurIPS’23) 36(2023), 36434–36448

  17. [17]

    Doerr, B., and Doerr, C.Optimal static and self-adjusting parameter choices for the (1+(𝜆,𝜆)) genetic algorithm.Algorithmica 80, 5 (2018), 1658–1709

  18. [18]

    InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’16)(2016), pp

    Doerr, B., Gao, W., and Neumann, F.Runtime analysis of evolutionary diversity maximization for oneminmax. InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’16)(2016), pp. 557–564

  19. [19]

    Doerr, B., Gie𝛽en, C., Witt, C., and Y ang, J.The (1+ 𝜆) evolutionary algorithm with self-adjusting mutation rate.Algorithmica 81, 2 (2019), 593–631

  20. [20]

    S., and Weeks, N.Proven runtime guarantees for how the moea/d: Computes the pareto front from the subproblem solutions

    Doerr, B., Krejca, M. S., and Weeks, N.Proven runtime guarantees for how the moea/d: Computes the pareto front from the subproblem solutions. InProceedings of the International Conference on Parallel Problem Solving from Nature (PPSN ’24) (2024), Springer, pp. 197–212

  21. [21]

    P., Makhmara, R., and Nguyen, T

    Doerr, B., Le, H. P., Makhmara, R., and Nguyen, T. D.Fast genetic algorithms. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO ’17) (2017), pp. 777–784

  22. [22]

    Springer Nature, 2019

    Doerr, B., and Neumann, F.Theory of evolutionary computation: Recent develop- ments in discrete optimization. Springer Nature, 2019

  23. [23]

    Doerr, C., Ye, F., Horesh, N., W ang, H., Shir, O., and Back, T.Benchmarking discrete optimization heuristics with iohprofiler.Applied Soft Computing 88 (2020), 106027

  24. [24]

    E., Hinterding, R., and Michalewicz, Z.Parameter control in evolu- tionary algorithms.IEEE Transactions on Evolutionary Computation 3, 2 (2002), 124–141

    Eiben, Á. E., Hinterding, R., and Michalewicz, Z.Parameter control in evolu- tionary algorithms.IEEE Transactions on Evolutionary Computation 3, 2 (2002), 124–141

  25. [25]

    Friedrich, T., and Neumann, F.Maximizing submodular functions under ma- troid constraints by evolutionary algorithms.Evolutionary Computation 23, 4 (2015), 543–558

  26. [26]

    K.On the effect of populations in evolutionary multi- objective optimization

    Giel, O., and Lehre, P. K.On the effect of populations in evolutionary multi- objective optimization. InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’06)(2006), pp. 651–658

  27. [27]

    Hansen, N., Auger, A., Brockhoff, D., and Tušar, T.Anytime performance assessment in blackbox optimization benchmarking.IEEE Transactions on Evolu- tionary Computation 26, 6 (2022), 1293–1305

  28. [28]

    Coco: A platform for comparing continuous optimizers in a black-box setting

    Hansen, N., Auger, A., Ros, R., Mersmann, O., Tušar, T., and Brockhoff, D. Coco: A platform for comparing continuous optimizers in a black-box setting. Optimization Methods and Software 36, 1 (2021), 114–144

  29. [29]

    PhD thesis, INRIA, 2009

    Hansen, N., Finck, S., Ros, R., and Auger, A.Real-parameter black-box opti- mization benchmarking 2009: Noiseless functions definitions. PhD thesis, INRIA, 2009

  30. [30]

    Helsgaun, K.An effective implementation of the lin–kernighan traveling sales- man heuristic.European journal of Operational Research 126, 1 (2000), 106–130

  31. [31]

    H.Adaptation in natural and artificial systems: an introductory analysis with applications to biology, control, and artificial intelligence

    Holland, J. H.Adaptation in natural and artificial systems: an introductory analysis with applications to biology, control, and artificial intelligence. MIT press, 1992

  32. [32]

    Horoba, C.Exploring the runtime of an evolutionary algorithm for the multi- objective shortest path problem.Evolutionary Computation 18, 3 (2010), 357–381

  33. [33]

    InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’08)(2008), ACM Press, pp

    Horoba, C., and Neumann, F.Benefits and drawbacks for the use of epsilon- dominance in evolutionary multi-objective optimization. InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’08)(2008), ACM Press, pp. 641–648

  34. [34]

    InProceedings of the International Workshop on Foundations of Genetic Algorithms (FOGA ’09)(2009), ACM Press, pp

    Horoba, C., and Neumann, F.Additive approximations of Pareto-optimal sets by evolutionary multi-objective algorithms. InProceedings of the International Workshop on Foundations of Genetic Algorithms (FOGA ’09)(2009), ACM Press, pp. 79–86

  35. [35]

    InAdvances in Multi-Objective Nature Inspired Computing, vol

    Horoba, C., and Neumann, F.Approximating pareto-optimal sets using di- versity strategies in evolutionary multi-objective optimization. InAdvances in Multi-Objective Nature Inspired Computing, vol. 272 ofStudies in Computational Intelligence. Springer, 2010, pp. 23–44

  36. [36]

    Sat competitions

    International SAT Competition Organizers. Sat competitions. https:// satcompetition.github.io/, 2026. Accessed: 2026-01-13

  37. [37]

    Springer, 2013

    Jansen, T.Analyzing evolutionary algorithms: The computer science perspective. Springer, 2013

  38. [38]

    InProceedings of the International Conference on Parallel Problem Solving from Nature (PPSN ’22)(2022), Springer, pp

    Kostovska, A., Jankovic, A., Vermetten, D., de Nobel, J., W ang, H., Efti- mov, T., and Doerr, C.Per-run algorithm selection with warm-starting using trajectory-based features. InProceedings of the International Conference on Parallel Problem Solving from Nature (PPSN ’22)(2022), Springer, pp. 46–60

  39. [39]

    [41]Lei, Z., Cai, S., Luo, C., and Hoos, H.Efficient local search for pseudo boolean optimization

    Laumanns, M., Thiele, L., and Zitzler, E.Running time analysis of multiobjec- tive evolutionary algorithms on pseudo-boolean functions.IEEE Transactions on Evolutionary Computation 8, 2 (2004), 170–182. [41]Lei, Z., Cai, S., Luo, C., and Hoos, H.Efficient local search for pseudo boolean optimization. InProceedings of International Conference on Theory and...

  40. [40]

    InProceedings of the ACM/SIGEVO Con- ference on Foundations of Genetic Algorithms (FOGA ’25)(2025), pp

    Liang, Z., and Li, M.On the problem characteristics of multi-objective pseudo- boolean functions in runtime analysis. InProceedings of the ACM/SIGEVO Con- ference on Foundations of Genetic Algorithms (FOGA ’25)(2025), pp. 166–177

  41. [41]

    Liu, X., Sun, J., Zhang, Q., W ang, Z., and Xu, Z.Learning to learn evolutionary algorithm: A learnable differential evolution.IEEE Transactions on Emerging Topics in Computational Intelligence 7, 6 (2023), 1605–1620

  42. [42]

    Luo, C., Cai, S., Wu, W., Jie, Z., and Su, K.Ccls: an efficient local search algorithm for weighted maximum satisfiability.IEEE Transactions on Computers 64, 7 (2014), 1830–1843

  43. [43]

    In Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO ’23)(2023), pp

    Marty, T., Semet, Y., Auger, A., Héron, S., and Hansen, N.Benchmarking cma-es with basic integer handling on a mixed-integer test problem suite. In Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO ’23)(2023), pp. 1628–1635

  44. [44]

    InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’21)(2011), pp

    Mersmann, O., Bischl, B., Trautmann, H., Preuss, M., Weihs, C., and Rudolph, G.Exploratory landscape analysis. InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’21)(2011), pp. 829–836

  45. [45]

    InProceedings of International Conference on Parallel Problem Solving from Nature (PPSN’20) (2020), Springer, pp

    Neumann, A., and Neumann, F.Optimising monotone chance-constrained sub- modular functions using evolutionary multi-objective algorithms. InProceedings of International Conference on Parallel Problem Solving from Nature (PPSN’20) (2020), Springer, pp. 404–417

  46. [46]

    Neumann, F.Expected runtimes of a simple evolutionary algorithm for the multi- objective minimum spanning tree problem.European Journal of Operational Research 181, 3 (2007), 1620–1629

  47. [47]

    V., de Nobel, J., Vermetten, D., Ahouei, S

    Neumann, F., Neumann, A., Qian, C., Do, A. V., de Nobel, J., Vermetten, D., Ahouei, S. S., Ye, F., W ang, H., and Bäck, T.Benchmarking algorithms for GECCO ’26, July 13–17, 2026, San Jose, Costa Rica Furong Ye, Frank Neumann, Thomas Bäck, and Niki van Stein submodular optimization problems using iohprofiler. InProceedings of IEEE Congress on Evolutionary ...

  48. [48]

    Springer, 2010

    Neumann, F., and Witt, C.Bioinspired Computation in Combinatorial Optimiza- tion: Algorithms and Their Computational Complexity. Springer, 2010

  49. [49]

    Q., Sutton, A

    Nguyen, A. Q., Sutton, A. M., and Neumann, F.Population size matters: Rigorous runtime results for maximizing the hypervolume indicator.Theoretical Computer Science 561(2015), 24–36

  50. [50]

    Qian, C., Yu, Y., Tang, K., Y ao, X., and Zhou, Z.-H.Maximizing submodular or monotone approximately submodular functions by multi-objective evolutionary algorithms.Artificial Intelligence 275(2019), 279–294

  51. [51]

    InProceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO ’19)(2019), pp

    Rapin, J., Gallagher, M., Kerschke, P., Preuss, M., and Teytaud, O.Exploring the mlda benchmark on the nevergrad platform. InProceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO ’19)(2019), pp. 1888– 1896

  52. [52]

    InProceedings of the International Joint Conference on Artificial Intelligence (IJCAI ’24)(2024), pp

    Ren, S., Qiu, Z., Bian, C., Li, M., and Qian, C.Maintaining diversity provably helps in evolutionary multimodal optimization. InProceedings of the International Joint Conference on Artificial Intelligence (IJCAI ’24)(2024), pp. 7012–7020

  53. [53]

    InProceedings of International Conference on Parallel Problem Solving from Nature (PPSN’10)(2010), Springer, pp

    Thierens, D.The linkage tree genetic algorithm. InProceedings of International Conference on Parallel Problem Solving from Nature (PPSN’10)(2010), Springer, pp. 264–273

  54. [54]

    InProceedings of Foundations of Genetic Algorithms (FOGA’15) (2015), pp

    Tinós, R., Whitley, D., and Chicano, F.Partition crossover for pseudo-boolean optimization. InProceedings of Foundations of Genetic Algorithms (FOGA’15) (2015), pp. 137–149

  55. [55]

    New benchmark instances for the capacitated vehicle routing problem.European Journal of Operational Research 257, 3 (2017), 845–858

    Uchoa, E., Pecin, D., Pessoa, A., Poggi, M., Vidal, T., and Subramanian, A. New benchmark instances for the capacitated vehicle routing problem.European Journal of Operational Research 257, 3 (2017), 845–858

  56. [56]

    M.New hard benchmark for flowshop scheduling problems minimising makespan.European Journal of Operational Research 240, 3 (2015), 666–677

    V allada, E., Ruiz, R., and Framinan, J. M.New hard benchmark for flowshop scheduling problems minimising makespan.European Journal of Operational Research 240, 3 (2015), 666–677

  57. [57]

    Kononova, A., and Bäck, T.Explainable bench- marking for iterative optimization heuristics.ACM Transactions on Evolutionary Learning 5, 2 (2025), 1–30

    van Stein, N., Vermetten, D., V. Kononova, A., and Bäck, T.Explainable bench- marking for iterative optimization heuristics.ACM Transactions on Evolutionary Learning 5, 2 (2025), 1–30

  58. [58]

    InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’19)(2019), pp

    Vermetten, D., van Rijn, S., Bäck, T., and Doerr, C.Online selection of cma-es variants. InProceedings of the Genetic and Evolutionary Computation Conference (GECCO ’19)(2019), pp. 951–959

  59. [59]

    Vermetten, D., Ye, F., Bäck, T., and Doerr, C.Ma-bbob: A problem generator for black-box optimization using affine combinations and shifts.ACM Transactions on Evolutionary Learning 5, 1 (2025), 1–19

  60. [60]

    InProceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO ’18) (2018), pp

    Weise, T., and Wu, Z.Difficult features of combinatorial optimization problems and the tunable w-model benchmark problem for simulating them. InProceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO ’18) (2018), pp. 1769–1776

  61. [61]

    InProceedins of IEEE Congress on Evolutionary Computation (CEC ’19)(2019), IEEE, pp

    Ye, F., Doerr, C., and Bäck, T.Interpolating local and global search by con- trolling the variance of standard bit mutation. InProceedins of IEEE Congress on Evolutionary Computation (CEC ’19)(2019), IEEE, pp. 2292–2299

  62. [62]

    Ye, F., Doerr, C., W ang, H., and Bäck, T.Automated configuration of genetic algorithms by tuning for anytime performance.IEEE Transactions on Evolutionary Computation 26, 6 (2022), 1526–1538

  63. [63]

    Zhang, Q., and Li, H.Moea/d: A multiobjective evolutionary algorithm based on decomposition.IEEE Transactions on Evolutionary Computation 11, 6 (2007), 712–731

  64. [64]

    InProceedings of the AAAI Conference on Artificial Intelligence (AAAI ’24)(2024), vol

    Zheng, W., and Doerr, B.Runtime analysis of the sms-emoa for many-objective optimization. InProceedings of the AAAI Conference on Artificial Intelligence (AAAI ’24)(2024), vol. 38, pp. 20874–20882

  65. [65]

    InProceedings of the AAAI conference on artificial intelligence (AAAI’22)(2022), vol

    Zheng, W., Liu, Y., and Doerr, B.A first mathematical runtime analysis of the non-dominated sorting genetic algorithm ii (nsga-ii). InProceedings of the AAAI conference on artificial intelligence (AAAI’22)(2022), vol. 36(9), pp. 10408–10416

  66. [66]

    Zitzler, E., and Thiele, L.Multiobjective evolutionary algorithms: a com- parative case study and the strength pareto approach.IEEE Transactions on Evolutionary Computation 3, 4 (1999), 257–271. Block-Bench: A Framework for Controllable and Transparent Discrete Optimization Benchmarking GECCO ’26, July 13–17, 2026, San Jose, Costa Rica A The EAs with Self...

  67. [67]

    The conditioned sampling ensures that a ℓ> 0is obtained by repeating the sampling

    The algorithm follows a standard bit mutation, which samples ℓ following a conditioned Binomial distribution based on a static mutation rate 𝑝, and then flipsℓ distinct bits of𝑥 (i.e., Mutℓ (𝑥) ). The conditioned sampling ensures that a ℓ> 0is obtained by repeating the sampling. Algorithm 1:The (1 + 1) EA with a fixed mutation rate 𝑝∈ (0,1)for the maximiz...