-
Hardest Monotone Functions for Evolutionary Algorithms
Authors:
Marc Kaufmann,
Maxime Larcher,
Johannes Lengler,
Oliver Sieberling
Abstract:
The study of hardest and easiest fitness landscapes is an active area of research. Recently, Kaufmann, Larcher, Lengler and Zou conjectured that for the self-adjusting $(1,λ)$-EA, Adversarial Dynamic BinVal (ADBV) is the hardest dynamic monotone function to optimize. We introduce the function Switching Dynamic BinVal (SDBV) which coincides with ADBV whenever the number of remaining zeros in the se…
▽ More
The study of hardest and easiest fitness landscapes is an active area of research. Recently, Kaufmann, Larcher, Lengler and Zou conjectured that for the self-adjusting $(1,λ)$-EA, Adversarial Dynamic BinVal (ADBV) is the hardest dynamic monotone function to optimize. We introduce the function Switching Dynamic BinVal (SDBV) which coincides with ADBV whenever the number of remaining zeros in the search point is strictly less than $n/2$, where $n$ denotes the dimension of the search space. We show, using a combinatorial argument, that for the $(1+1)$-EA with any mutation rate $p \in [0,1]$, SDBV is drift-minimizing among the class of dynamic monotone functions. Our construction provides the first explicit example of an instance of the partially-ordered evolutionary algorithm (PO-EA) model with parameterized pessimism introduced by Colin, Doerr and Férey, building on work of Jansen. We further show that the $(1+1)$-EA optimizes SDBV in $Θ(n^{3/2})$ generations. Our simulations demonstrate matching runtimes for both static and self-adjusting $(1,λ)$ and $(1+λ)$-EA. We further show, using an example of fixed dimension, that drift-minimization does not equal maximal runtime.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Deep learning-based reduced-order methods for fast transient dynamics
Authors:
Martina Cracco,
Giovanni Stabile,
Andrea Lario,
Armin Sheidani,
Martin Larcher,
Folco Casadei,
Georgios Valsamos,
Gianluigi Rozza
Abstract:
In recent years, large-scale numerical simulations played an essential role in estimating the effects of explosion events in urban environments, for the purpose of ensuring the security and safety of cities. Such simulations are computationally expensive and, often, the time taken for one single computation is large and does not permit parametric studies. The aim of this work is therefore to facil…
▽ More
In recent years, large-scale numerical simulations played an essential role in estimating the effects of explosion events in urban environments, for the purpose of ensuring the security and safety of cities. Such simulations are computationally expensive and, often, the time taken for one single computation is large and does not permit parametric studies. The aim of this work is therefore to facilitate real-time and multi-query calculations by employing a non-intrusive Reduced Order Method (ROM). We propose a deep learning-based (DL) ROM scheme able to deal with fast transient dynamics. In the case of blast waves, the parametrised PDEs are time-dependent and non-linear. For such problems, the Proper Orthogonal Decomposition (POD), which relies on a linear superposition of modes, cannot approximate the solutions efficiently. The piecewise POD-DL scheme developed here is a local ROM based on time-domain partitioning and a first dimensionality reduction obtained through the POD. Autoencoders are used as a second and non-linear dimensionality reduction. The latent space obtained is then reconstructed from the time and parameter space through deep forward neural networks. The proposed scheme is applied to an example consisting of a blast wave propagating in air and impacting on the outside of a building. The efficiency of the deep learning-based ROM in approximating the time-dependent pressure field is shown.
△ Less
Submitted 11 December, 2024; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Self-adjusting Population Sizes for the $(1, λ)$-EA on Monotone Functions
Authors:
Marc Kaufmann,
Maxime Larcher,
Johannes Lengler,
Xun Zou
Abstract:
We study the $(1,λ)$-EA with mutation rate $c/n$ for $c\le 1$, where the population size is adaptively controlled with the $(1:s+1)$-success rule. Recently, Hevia Fajardo and Sudholt have shown that this setup with $c=1$ is efficient on \onemax for $s<1$, but inefficient if $s \ge 18$. Surprisingly, the hardest part is not close to the optimum, but rather at linear distance. We show that this beha…
▽ More
We study the $(1,λ)$-EA with mutation rate $c/n$ for $c\le 1$, where the population size is adaptively controlled with the $(1:s+1)$-success rule. Recently, Hevia Fajardo and Sudholt have shown that this setup with $c=1$ is efficient on \onemax for $s<1$, but inefficient if $s \ge 18$. Surprisingly, the hardest part is not close to the optimum, but rather at linear distance. We show that this behavior is not specific to \onemax. If $s$ is small, then the algorithm is efficient on all monotone functions, and if $s$ is large, then it needs superpolynomial time on all monotone functions. In the former case, for $c<1$ we show a $O(n)$ upper bound for the number of generations and $O(n\log n)$ for the number of function evaluations, and for $c=1$ we show $O(n\log n)$ generations and $O(n^2\log\log n)$ evaluations. We also show formally that optimization is always fast, regardless of $s$, if the algorithm starts in proximity of the optimum. All results also hold in a dynamic environment where the fitness function changes in each generation.
△ Less
Submitted 12 July, 2023; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Note on Long Paths in Eulerian Digraphs
Authors:
Charlotte Knierim,
Maxime Larcher,
Anders Martinsson
Abstract:
Long Paths and Cycles in eulerian digraphs have gotten a lot of attention recently. In this short note, we show how to use methods from Knierim, Larcher, Martinsson, Noever (2021) to find paths of length $d/(\log d+1)$ in Eulerian digraphs with average degree $d$, improving the recent result of $Ω(d^{1/2+1/40})$. Our result is optimal up to at most a logarithmic factor.
Long Paths and Cycles in eulerian digraphs have gotten a lot of attention recently. In this short note, we show how to use methods from Knierim, Larcher, Martinsson, Noever (2021) to find paths of length $d/(\log d+1)$ in Eulerian digraphs with average degree $d$, improving the recent result of $Ω(d^{1/2+1/40})$. Our result is optimal up to at most a logarithmic factor.
△ Less
Submitted 19 October, 2021; v1 submitted 9 March, 2021;
originally announced March 2021.
-
Solving Static Permutation Mastermind using $O(n \log n)$ Queries
Authors:
Maxime Larcher,
Anders Martinsson,
Angelika Steger
Abstract:
Permutation Mastermind is a version of the classical mastermind game in which the number of positions $n$ is equal to the number of colors $k$, and repetition of colors is not allowed, neither in the codeword nor in the queries. In this paper we solve the main open question from Glazik, Jäger, Schiemann and Srivastav (2021), who asked whether their bound of $O(n^{1.525})$ for the static version ca…
▽ More
Permutation Mastermind is a version of the classical mastermind game in which the number of positions $n$ is equal to the number of colors $k$, and repetition of colors is not allowed, neither in the codeword nor in the queries. In this paper we solve the main open question from Glazik, Jäger, Schiemann and Srivastav (2021), who asked whether their bound of $O(n^{1.525})$ for the static version can be improved to $O(n \log n)$, which would be best possible. By using a simple probabilistic argument we show that this is indeed the case.
△ Less
Submitted 11 January, 2022; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Maker-Breaker Games on Random Hypergraphs
Authors:
Maxime Larcher
Abstract:
In this paper, we study Maker-Breaker games on the random hypergraph $H_{n,s,p}$, obtained from the complete $s$-graph by keeping every edge independently with probability $p$. We determine the threshold probability for the property of Maker winning the game as a function of $s$, the uniformity of the underlying hypergraph, as well as $m$, $b$, the number of vertices that Maker and Breaker are res…
▽ More
In this paper, we study Maker-Breaker games on the random hypergraph $H_{n,s,p}$, obtained from the complete $s$-graph by keeping every edge independently with probability $p$. We determine the threshold probability for the property of Maker winning the game as a function of $s$, the uniformity of the underlying hypergraph, as well as $m$, $b$, the number of vertices that Maker and Breaker are respectively allowed to pick each turn.
In addition, we show that depending on those $m,b,s$, there are two types of thresholds: either being Maker-win is a local property and the threshold is weak, or it is related to global properties of the random hypergraph and the threshold is semi-sharp. We conjecture that in the latter case, the threshold is actually sharp.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
Long Cycles, Heavy Cycles and Cycle Decompositions in Digraphs
Authors:
Charlotte Knierim,
Maxime Larcher,
Anders Martinsson,
Andreas Noever
Abstract:
Hajós conjectured in 1968 that every Eulerian \(n\)-vertex graph can be decomposed into at most $\lfloor (n-1)/2\rfloor$ edge-disjoint cycles. This has been confirmed for some special graph classes, but the general case remains open. In a sequence of papers by Bienia and Meyniel (1986), Dean (1986), and Bollobás and Scott (1996) it was analogously conjectured that every \emph{directed} Eulerian gr…
▽ More
Hajós conjectured in 1968 that every Eulerian \(n\)-vertex graph can be decomposed into at most $\lfloor (n-1)/2\rfloor$ edge-disjoint cycles. This has been confirmed for some special graph classes, but the general case remains open. In a sequence of papers by Bienia and Meyniel (1986), Dean (1986), and Bollobás and Scott (1996) it was analogously conjectured that every \emph{directed} Eulerian graph can be decomposed into $O(n)$ cycles. In this paper, we show that every directed Eulerian graph can be decomposed into $O(n \log Δ)$ disjoint cycles, thus making progress towards the conjecture by Bollobás and Scott. Our approach is based on finding heavy cycles in certain edge-weightings of directed graphs. As a further consequence of our techniques, we prove that for every edge-weighted digraph in which every vertex has out-weight at least $1$, there exists a cycle with weight at least $Ω(\log \log n/{\log n})$, thus resolving a question by Bollobás and Scott.
△ Less
Submitted 14 September, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
