Efficient local search near phase transitions in combinatorial optimization

Author(s):  
Stefan Boettcher
Author(s):  
James B. Orlin ◽  
Abraham P. Punnen ◽  
Andreas S. Schulz

2004 ◽  
Vol 33 (5) ◽  
pp. 1201-1214 ◽  
Author(s):  
James B. Orlin ◽  
Abraham P. Punnen ◽  
Andreas S. Schulz

2016 ◽  
Vol 39 (2) ◽  
pp. 267 ◽  
Author(s):  
David Rodriguez ◽  
Enrique Darghan ◽  
Julio Monroy

<p>The problem with designing balanced incomplete blocks (BIBD) is enclosed within the combinatorial optimization approach that has been extensively used in experimental design. The present proposal addresses thi problem by using local search techniques known as Hill Climbing, Tabu Search, and an approach based considerable sized the use of Multi-Agents, which allows the exploration of diverse areas of search spaces. Furthermore, the use of a vector vision for the consideration associated with vicinity is presented. The experimental results prove the advantage of this technique compared to other proposals that are reported in the current literature.</p>


Author(s):  
Aviad Cohen ◽  
Alexander Nadel ◽  
Vadim Ryvchin

AbstractNP-hard combinatorial optimization problems are pivotal in science and business. There exists a variety of approaches for solving such problems, but for problems with complex constraints and objective functions, local search algorithms scale the best. Such algorithms usually assume that finding a non-optimal solution with no other requirements is easy. However, what if it is NP-hard? In such case, a SAT solver can be used for finding the initial solution, but how can one continue solving the optimization problem? We offer a generic methodology, called Local Search with SAT Oracle (), to solve such problems. facilitates implementation of advanced local search methods, such as variable neighbourhood search, hill climbing and iterated local search, while using a SAT solver as an oracle. We have successfully applied our approach to solve a critical industrial problem of cell placement and productized our solution at Intel.


Sign in / Sign up

Export Citation Format

Share Document