In this paper we show how to use drift analysis in the case of two random variables X1, X2, when the drift is approximatively given by A center dot (X1, X2)T for a matrix A. The non-trivial case is that X1 and X2 impe...
详细信息
In this paper we show how to use drift analysis in the case of two random variables X1, X2, when the drift is approximatively given by A center dot (X1, X2)T for a matrix A. The non-trivial case is that X1 and X2 impede each other's progress, and we give a full characterization of this case. As an application, we develop and analyze a minimal example TwoLIN of a dynamic environment that can be hard. The environment consists of two linear functions f1 and f2 with positive weights, and in each generation selection is based on one of them at random. They only differ in the set of positions that have weight 1 and n. We show that the (1+ 1)- EA with mutation rate chi/n is efficient for small chi on TwoLIN, but does not find the shared optimum in polynomial time for large chi.(c) 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).
Repair operators are often used for constraint handling in constrained combinatorial optimization. We investigate the (1+1) EA equipped with a tailored jump-and-repair operation that can be used to probabilistically r...
详细信息
Repair operators are often used for constraint handling in constrained combinatorial optimization. We investigate the (1+1) EA equipped with a tailored jump-and-repair operation that can be used to probabilistically repair infeasible offspring in graph problems. Instead of evolving candidate solutions to the entire graph, we expand the genotype to allow the (1+1) EA to develop in parallel a feasible solution together with a growing subset of the instance (an induced subgraph). With this approach, we prove that the EA is able to probabilistically simulate an iterative compression process used in classical fixed-parameter algorithmics to obtain a randomized FPT performance guarantee on three NP-hard graph problems. For k-VERTEXCOVER, we prove that the (1+1) EA using focused jump-and-repair can find a k-vertex cover (if one exists) in O (2kn2 log n) iterations in expectation. This leads to an exponential (in k) improvement over the best-known parameterized bound for evolutionaryalgorithms on VERTEXCOVER. For the k-FEEDBACKVERTEXSET problem in tournaments, we prove that the EA finds a feasible feedback set in O (2kk!n2 log n) iterations in expectation, and for ODDCYCLETRANSVERSAL, we prove the optimization time for the EA is O (3kkmn2 log n). For the latter two problems, this constitutes the first parameterized result for any evolutionary algorithm. We discuss how to generalize the framework to other parameterized graph problems closed under induced subgraphs and report experimental results that illustrate the behavior of the algorithm on a concrete instance class.(c) 2023 Elsevier B.V. All rights reserved.
Using a dynamic systems model for the Simple Genetic Algorithm due to Vose[1], we analyze the fixed point behavior of the model without crossover applied to functions of unitation. Unitation functions are simplified f...
详细信息
ISBN:
(纸本)1595930108
Using a dynamic systems model for the Simple Genetic Algorithm due to Vose[1], we analyze the fixed point behavior of the model without crossover applied to functions of unitation. Unitation functions are simplified fitness functions that reduce the search space into a smaller number of equivalence classes. This reduction allows easier computation of fixed points. We also create a dynamic systems model from a simple nondecreasing EA like the (1+1) EA and variants, then analyze this models on unitation classes.
暂无评论