Minimal Conditions for Beneficial Local Search

10/17/2021
by   Mark G. Wallace, et al.
0

This paper investigates why it is beneficial, when solving a problem, to search in the neighbourhood of a current solution. The paper identifies properties of problems and neighbourhoods that support two novel proofs that neighbourhood search is beneficial over blind search. These are: firstly a proof that search within the neighbourhood is more likely to find an improving solution in a single search step than blind search; and secondly a proof that a local improvement, using a sequence of neighbourhood search steps, is likely to achieve a greater improvement than a sequence of blind search steps. To explore the practical impact of these properties, a range of problem sets and neighbourhoods are generated, where these properties are satisfied to different degrees. Experiments reveal that the benefits of neighbourhood search vary dramatically in consequence. Random problems of a classical combinatorial optimisation problem are analysed, in order to demonstrate that the underlying theory is reflected in practice.

READ FULL TEXT

page 1

page 2

page 3

page 4

01/09/2020

The Neighbours' Similar Fitness Property for Local Search

For most practical optimisation problems local search outperforms random...
10/29/2014

Efficient optimisation of structures using tabu search

This paper presents a novel approach to the optimisation of structures u...
12/01/1997

When Gravity Fails: Local Search Topology

Local search algorithms for combinatorial search problems frequently enc...
05/20/2019

Water Distribution System Design Using Multi-Objective Genetic Algorithm with External Archive and Local Search

Hybridisation of the multi-objective optimisation algorithm NSGA-II and ...
12/24/2019

PILS: Exploring high-order neighborhoods by pattern mining and injection

We introduce pattern injection local search (PILS), an optimization stra...
05/07/2020

On the Effect of Learned Clauses on Stochastic Local Search

There are two competing paradigms in successful SAT solvers: Conflict-dr...
01/12/2013

BliStr: The Blind Strategymaker

BliStr is a system that automatically develops strategies for E prover o...