Automatic generation of regular expressions for the Regex Golf challenge using a local search algorithm

2021 ◽  
Author(s):  
André de Almeida Farzat ◽  
Márcio de Oliveira Barros
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Automatic Generation ◽  
Regular Expressions ◽  
Local Search Algorithm

scholarly journals A Matheuristic Approach Combining Local Search and Mathematical Programming

2016 ◽  
Vol 2016 ◽  
pp. 1-7 ◽  
Author(s):  
Carolina Lagos ◽  
Guillermo Guerrero ◽  
Enrique Cabrera ◽  
Stefanie Niklander ◽  
Franklin Johnson ◽  
...  
Keyword(s):  
Mathematical Programming ◽  
Local Search ◽  
Large Scale ◽  
Search Algorithm ◽  
Facility Location Problem ◽  
Specific Information ◽  
Local Search Algorithm ◽  
Capacitated Facility Location Problem ◽  
Capacitated Facility Location ◽  
Installation Cost

A novel matheuristic approach is presented and tested on a well-known optimisation problem, namely, capacitated facility location problem (CFLP). The algorithm combines local search and mathematical programming. While the local search algorithm is used to select a subset of promising facilities, mathematical programming strategies are used to solve the subproblem to optimality. Proposed local search is influenced by instance-specific information such as installation cost and the distance between customers and facilities. The algorithm is tested on large instances of the CFLP, where neither local search nor mathematical programming is able to find good quality solutions within acceptable computational times. Our approach is shown to be a very competitive alternative to solve large-scale instances for the CFLP.

A novel local search algorithm for the minimum capacitated dominating set

2018 ◽  
Vol 69 (6) ◽  
pp. 849-863 ◽  
Author(s):  
Ruizhi Li ◽  
Shuli Hu ◽  
Peng Zhao ◽  
Yupeng Zhou ◽  
Minghao Yin
Keyword(s):  
Local Search ◽  
Search Algorithm ◽  
Dominating Set ◽  
Local Search Algorithm

scholarly journals GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem

2006 ◽  
Vol 14 (2) ◽  
pp. 223-253 ◽  
Author(s):  
Frédéric Lardeux ◽  
Frédéric Saubion ◽  
Jin-Kao Hao
Keyword(s):  
Tabu Search ◽  
Local Search ◽  
Hybrid Algorithm ◽  
State Of The Art ◽  
Search Algorithm ◽  
Satisfiability Problem ◽  
Local Search Algorithm ◽  
Overall Performance ◽  
Genetic Local Search ◽  
Search Stage

This paper presents GASAT, a hybrid algorithm for the satisfiability problem (SAT). The main feature of GASAT is that it includes a recombination stage based on a specific crossover and a tabu search stage. We have conducted experiments to evaluate the different components of GASAT and to compare its overall performance with state-of-the-art SAT algorithms. These experiments show that GASAT provides very competitive results.

Sign in / Sign up

Export Citation Format

Share Document