Advancing Tabu and Restart in Local Search for Maximum Weight Cliques

04/22/2018
by   Yi Fan, et al.
0

The tabu and restart are two fundamental strategies for local search. In this paper, we improve the local search algorithms for solving the Maximum Weight Clique (MWC) problem by introducing new tabu and restart strategies. Both the tabu and restart strategies proposed are based on the notion of a local search scenario, which involves not only a candidate solution but also the tabu status and unlocking relationship. Compared to the strategy of configuration checking, our tabu mechanism discourages forming a cycle of unlocking operations. Our new restart strategy is based on the re-occurrence of a local search scenario instead of that of a candidate solution. Experimental results show that the resulting MWC solver outperforms several state-of-the-art solvers on the DIMACS, BHOSLIB, and two benchmarks from practical applications.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/23/2021

Farsighted Probabilistic Sampling based Local Search for (Weighted) Partial MaxSAT

Partial MaxSAT (PMS) and Weighted Partial MaxSAT (WPMS) are both practic...
research
10/07/2009

On Improving Local Search for Unsatisfiability

Stochastic local search (SLS) has been an active field of research in th...
research
06/06/2019

Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem

The Maximum k-plex Problem is an important combinatorial optimization pr...
research
01/18/2014

Robust Local Search for Solving RCPSP/max with Durational Uncertainty

Scheduling problems in manufacturing, logistics and project management h...
research
08/28/2023

Parallel Unconstrained Local Search for Partitioning Irregular Graphs

We present new refinement heuristics for the balanced graph partitioning...
research
03/21/2011

Informed Heuristics for Guiding Stem-and-Cycle Ejection Chains

The state of the art in local search for the Traveling Salesman Problem ...
research
01/12/2013

BliStr: The Blind Strategymaker

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

Please sign up or login with your details

Forgot password? Click here to reset