NuMWVC: A novel local search for minimum weighted vertex cover problem

Abstract The problem of finding a minimum weighted vertex cover (MWVC) in a graph is a well-known combinatorial optimisation problem with important applications. This article introduces a novel local search algorithm called NuMWVC for MWVC based on three ideas. First, four reduction rules are introduced during the initial construction phase. Second, a strategy called configuration checking with aspiration, which aims for reducing cycling in local search, is proposed for MWVC for the first time. Moreover, a self-adaptive vertex removing strategy is proposed to save time spent on searching solutions for which the quality is likely far from optimality. Experimental results show that NuMWVC outperforms state-of-the-art local search algorithms for MWVC on the standard benchmarks, massive graphs and real-world problem (map labeling problem) instances.

[1]  Anurag Verma,et al.  Solving the Maximum Clique and Vertex Coloring Problems on Very Large Sparse Networks , 2015, INFORMS J. Comput..

[2]  S. Safra,et al.  On the hardness of approximating minimum vertex cover , 2005 .

[3]  Peter Sanders,et al.  Accelerating Local Search for the Maximum Independent Set Problem , 2016, SEA.

[4]  M. Trick,et al.  Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, Workshop, October 11-13, 1993 , 1996 .

[5]  Rolf Niedermeier,et al.  On efficient fixed-parameter algorithms for weighted vertex cover , 2003, J. Algorithms.

[6]  Shaowei Cai,et al.  An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs , 2017, SEAL.

[7]  Wei Wu,et al.  CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability , 2015, IEEE Transactions on Computers.

[8]  Ke Xu,et al.  Random constraint satisfaction: Easy generation of hard (satisfiable) instances , 2007, Artif. Intell..

[9]  Abdul Sattar,et al.  Local search with edge weighting and configuration checking heuristics for minimum vertex cover , 2011, Artif. Intell..

[10]  Kaile Su,et al.  EWLS: A New Local Search for Minimum Vertex Cover , 2010, AAAI.

[11]  Hua Jiang,et al.  Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique , 2015, LION.

[12]  Wei Wu,et al.  Clause States Based Configuration Checking in Local Search for Satisfiability , 2015, IEEE Transactions on Cybernetics.

[13]  Ge Xia,et al.  Improved Parameterized Upper Bounds for Vertex Cover , 2006, MFCS.

[14]  Weijia Jia,et al.  Vertex Cover: Further Observations and Further Improvements , 2001, J. Algorithms.

[15]  S. Balachandar,et al.  A Meta-Heuristic Algorithm for Vertex Covering Problem Based on Gravity , 2010 .

[16]  Minghao Yin,et al.  An efficient local search framework for the minimum weighted vertex cover problem , 2016, Inf. Sci..

[17]  Ryan A. Rossi,et al.  The Network Data Repository with Interactive Graph Analytics and Visualization , 2015, AAAI.

[18]  Chunqiang Yu,et al.  Test-cost-sensitive rough set based approach for minimum weight vertex cover problem , 2018, Appl. Soft Comput..

[19]  S. Balaji,et al.  An Effective Algorithm for Minimum Weighted Vertex Cover Problem , 2010 .

[20]  Kaile Su,et al.  Configuration Checking with Aspiration in Local Search for SAT , 2012, AAAI.

[21]  Kaile Su,et al.  Local search for Boolean Satisfiability with configuration checking and subscore , 2013, Artif. Intell..

[22]  Milan Tuba,et al.  An ant colony optimization algorithm with improved pheromone correction strategy for the minimum weight vertex cover problem , 2011, Appl. Soft Comput..

[23]  Ke Xu,et al.  Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning , 2014, ECAI.

[24]  Malte Helmert,et al.  A Stochastic Local Search Approach to Vertex Cover , 2007, KI.

[25]  Abdul Sattar,et al.  NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover , 2014, J. Artif. Intell. Res..

[26]  Christian Blum,et al.  A population-based iterated greedy algorithm for the minimum weight vertex cover problem , 2012, Appl. Soft Comput..

[27]  Kaile Su,et al.  Two Weighting Local Search for Minimum Vertex Cover , 2015, AAAI.

[28]  Minghao Yin,et al.  Two Efficient Local Search Algorithms for Maximum Weight Clique Problem , 2016, AAAI.

[29]  David S. Johnson,et al.  Cliques, Coloring, and Satisfiability , 1996 .

[30]  Minghao Yin,et al.  Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function , 2017, J. Artif. Intell. Res..

[31]  Ge Xia,et al.  Improved upper bounds for vertex cover , 2010, Theor. Comput. Sci..

[32]  Martin Nöllenburg,et al.  Temporal map labeling: a new unified framework with experiments , 2016, SIGSPATIAL/GIS.

[33]  Stefan Voß,et al.  A hybridized tabu search approach for the minimum weight vertex cover problem , 2012, Journal of Heuristics.

[34]  Minghao Yin,et al.  A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity , 2017, Science China Information Sciences.

[35]  Yang Wang,et al.  Multi-start iterated tabu search for the minimum weight vertex cover problem , 2015, Journal of Combinatorial Optimization.

[36]  Shaowei Cai,et al.  Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs , 2015, IJCAI.

[37]  Bertrand M. T. Lin,et al.  An Ant Colony Optimization Algorithm for the Minimum Weight Vertex Cover Problem , 2004, Ann. Oper. Res..