Representing fitness landscapes by valued constraints to understand the complexity of local search

07/02/2019
by   Artem Kaznatcheev, et al.
0

Local search is widely used to solve combinatorial optimisation problems and to model biological evolution, but the performance of local search algorithms on different kinds of fitness landscapes is poorly understood. Here we introduce a natural approach to modelling fitness landscapes using valued constraints. This allows us to investigate minimal representations (normal forms) and to consider the effects of the structure of the constraint graph on the tractability of local search. First, we show that for fitness landscapes representable by binary Boolean valued constraints there is a minimal necessary constraint graph that can be easily computed. Second, we consider landscapes as equivalent if they allow the same (improving) local search moves; we show that a minimal normal form still exists, but is NP-hard to compute. Next we consider the complexity of local search on fitness landscapes modelled by valued constraints with restricted forms of constraint graph. In the binary Boolean case, we prove that a tree-structured constraint graph gives a tight quadratic bound on the number of improving moves made by any local search; hence, any landscape that can be represented by such a model will be tractable for local search. We build two families of examples to show that both the conditions in our tractability result are essential. With domain size three, even just a path of binary constraints can model a landscape with an exponentially long sequence of improving moves. With a treewidth two constraint graph, even with a maximum degree of three, binary Boolean constraints can model a landscape with an exponentially long sequence of improving moves.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/27/2016

Efficient Hill-Climber for Multi-Objective Pseudo-Boolean Optimization

Local search algorithms and iterated local search algorithms are a basic...
research
11/19/2019

Steepest ascent can be exponential in bounded treewidth problems

We investigate the complexity of local search based on steepest ascent. ...
research
12/04/2019

Simulating Evolution on Fitness Landscapes represented by Valued Constraint Satisfaction Problems

Recent theoretical research proposes that computational complexity can b...
research
06/15/2023

A Search for Nonlinear Balanced Boolean Functions by Leveraging Phenotypic Properties

In this paper, we consider the problem of finding perfectly balanced Boo...
research
04/26/2021

An Algorithm to Effect Prompt Termination of Myopic Local Search on Kauffman-s NK Landscape

In the NK model given by Kauffman, myopic local search involves flipping...
research
01/29/2014

Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation

Airspace sectorisation provides a partition of a given airspace into sec...
research
07/12/2013

Improving MUC extraction thanks to local search

ExtractingMUCs(MinimalUnsatisfiableCores)fromanunsatisfiable constraint ...

Please sign up or login with your details

Forgot password? Click here to reset