An improved configuration checking-based algorithm for the unicost set covering problem

Abstract Configuration Checking (CC) is a simple tool that can be added to local search algorithms to prevent cycling. The generic forms of CC and local search may not be suitable to solve large-scale unicost set covering problem (USCP) instances. Thus, in this study, we introduce an improved CC-based algorithm to solve USCPs. Unlike previous CC implementations that only consider subset states to prevent cycling, the proposed algorithm also checks the element states to minimize the number of subsets, in order to cut down unnecessary search spaces. Therefore, we refer to this technique as the element-state configuration checking (ES-CC) algorithm. Moreover, in our proposed algorithm, the score value (a numerical measure to differentiate between subsets) considers multiple levels of element covering. This multi-level scoring (MLS) value is a new powerful contribution compared to the single-level scoring used in previous CC algorithms. Using these two novel ideas, MLS and ES-CC, we implement the new MLSES-CC algorithm to solve the USCP. The MLSES-CC algorithm also implements a more aggressive local search routine that simultaneously changes the status of the three subsets. We use the MLSES-CC algorithm to solve 176 USCP instances that belong to standard and novel benchmarking sets and compare our results to the best-known USCP algorithms, in terms of solution quality and computation time. Computational experiments indicate that the MLSES-CC algorithm can be considered as a new state-of-the-art algorithm to solve USCPs.

[1]  Vasek Chvátal,et al.  A Greedy Heuristic for the Set-Covering Problem , 1979, Math. Oper. Res..

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

[3]  Paolo Toth,et al.  An electromagnetism metaheuristic for the unicost set covering problem , 2010, Eur. J. Oper. Res..

[4]  Ana Paias,et al.  State space relaxation for set covering problems related to bus driver scheduling , 1993 .

[5]  Michael J. Brusco,et al.  A morphing procedure to supplement a simulated annealing heuristic for cost‐ andcoverage‐correlated set‐covering problems , 1999, Ann. Oper. Res..

[6]  Jiangwei Pan,et al.  Near-Linear Algorithms for Geometric Hitting Sets and Set Covers , 2020, Discret. Comput. Geom..

[7]  Hongyong Zhao,et al.  Modeling Periodic HFMD with the Effect of Vaccination in Mainland China , 2020, Complex..

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

[9]  M. Fisher,et al.  Optimal solution of set covering/partitioning problems using dual heuristics , 1990 .

[10]  Maher Rebai,et al.  Hybrid differential evolution algorithms for the optimal camera placement problem , 2018, J. Syst. Inf. Technol..

[11]  Antonio Sassano,et al.  A Lagrangian-based heuristic for large-scale set covering problems , 1998, Math. Program..

[12]  Jingfeng Zhao,et al.  Collaborative Intelligent Environment Perception and Mission Control of Scientific Researchers in Semantic Knowledge Framework Based on Complex Theory , 2020, Complex..

[13]  J. Beasley,et al.  Enhancing an algorithm for set covering problems , 1992 .

[14]  Huiwen Yu,et al.  Set Coverage Problems in a One-Pass Data Stream , 2013, SDM.

[15]  Shaowei Cai,et al.  Reduction and Local Search for Weighted Graph Coloring Problem , 2020, AAAI.

[16]  Celso C. Ribeiro,et al.  A hybrid Lagrangean heuristic with GRASP and path-relinking for set k-covering , 2013, Comput. Oper. Res..

[17]  Mahmoud A. Barghash,et al.  An improved hybrid algorithm for the set covering problem , 2015, Comput. Ind. Eng..

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

[19]  Decision Systems.,et al.  A note on the greedy approximation algorithm for the unweighted set covering problem , 1988 .

[20]  Ming-Yang Kao,et al.  Tight approximability results for test set problems in bioinformatics , 2005, J. Comput. Syst. Sci..

[21]  M. Resende,et al.  A probabilistic heuristic for a computationally difficult set covering problem , 1989 .

[22]  Alok Singh,et al.  A hybrid heuristic for the set covering problem , 2010, Operational Research.

[23]  Bart Selman,et al.  Noise Strategies for Improving Local Search , 1994, AAAI.

[24]  Minghao Yin,et al.  NuMWVC: A novel local search for minimum weighted vertex cover problem , 2018, AAAI.

[25]  Matteo Fischetti,et al.  A Heuristic Method for the Set Covering Problem , 1999, Oper. Res..

[26]  Minghao Yin,et al.  A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs , 2018, IJCAI.

[27]  Warren Walker,et al.  Using the Set-Covering Problem to Assign Fire Companies to Fire Houses , 1974, Oper. Res..

[28]  Alberto Caprara,et al.  A New Approximation Method for Set Covering Problems, with Applications to Multidimensional Bin Packing , 2009, SIAM J. Comput..

[29]  Nysret Musliu,et al.  Local Search Algorithm for Unicost Set Covering Problem , 2006, IEA/AIE.

[30]  J. Beasley A lagrangian heuristic for set‐covering problems , 1990 .

[31]  Xin Yao,et al.  European Journal of Operational Research an Efficient Local Search Heuristic with Row Weighting for the Unicost Set Covering Problem , 2022 .

[32]  Marco Caserta,et al.  Tabu Search-Based Metaheuristic Algorithm for Large-scale Set Covering Problems , 2007, Metaheuristics.

[33]  J. Beasley An algorithm for set covering problem , 1987 .

[34]  Fred Glover,et al.  Tabu Search - Part II , 1989, INFORMS J. Comput..

[35]  Christopher R. Houck,et al.  Comparison of genetic algorithms, random restart and two-opt switching for solving large location-allocation problems , 1996, Comput. Oper. Res..

[36]  Minghao Yin,et al.  A two phase removing algorithm for minimum independent dominating set problem , 2020, Appl. Soft Comput..

[37]  R. J. Kuo,et al.  A decision support system for selecting convenience store location through integration of fuzzy AHP and artificial neural network , 2002, Comput. Ind..

[38]  Leslie Pérez Cáceres,et al.  The irace package: Iterated racing for automatic algorithm configuration , 2016 .

[39]  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.

[40]  Celso C. Ribeiro,et al.  TTT plots: a perl program to create time-to-target plots , 2007, Optim. Lett..

[41]  D. R. Fulkerson,et al.  Two computationally difficult set covering problems that arise in computing the 1-width of incidence matrices of Steiner triple systems , 1974 .

[42]  Andrew Lim,et al.  Multi-trip time-dependent vehicle routing problem with time windows , 2020, Eur. J. Oper. Res..

[43]  Pasquale Avella,et al.  Computational experience with general cutting planes for the Set Covering problem , 2009, Oper. Res. Lett..

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

[45]  Dantong Ouyang,et al.  Computing all minimal hitting sets by subset recombination , 2018, Applied Intelligence.

[46]  Lhassane Idoumghar,et al.  On the real-world applicability of state-of-the-art algorithms for the optimal camera placement problem , 2019, 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT).

[47]  Egon Balas,et al.  A Dynamic Subgradient-Based Branch-and-Bound Procedure for Set Covering , 1992, Oper. Res..

[48]  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..

[49]  Toshihide Ibaraki,et al.  A 3-flip neighborhood local search for the set covering problem , 2006, Eur. J. Oper. Res..

[50]  Celso C. Ribeiro,et al.  Compact formulations and an iterated local search-based matheuristic for the minimum weighted feedback vertex set problem , 2021, Eur. J. Oper. Res..

[51]  Joaquín Bautista,et al.  A GRASP algorithm to solve the unicost set covering problem , 2007, Comput. Oper. Res..

[52]  Broderick Crawford,et al.  Application of the Artificial Bee Colony Algorithm for Solving the Set Covering Problem , 2014, TheScientificWorldJournal.

[53]  J. Beasley,et al.  A genetic algorithm for the set covering problem , 1996 .

[54]  Brigitte Jaumard,et al.  A column generation and branch-and-cut algorithm for the channel assignment problem , 2003, Comput. Oper. Res..

[55]  Lhassane Idoumghar,et al.  On the optimal placement of cameras for surveillance and the underlying set cover problem , 2019, Appl. Soft Comput..

[56]  Minghao Yin,et al.  MLQCC: an improved local search algorithm for the set k-covering problem , 2018, Int. Trans. Oper. Res..

[57]  Gianfranco Lamperti,et al.  Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata , 2020, Complex..

[58]  Han Qirui Design of Supervisory Control System for Intelligent Housing Estate Based on PIC SCP , 2005 .

[59]  Fuda Ma,et al.  Weighting-based parallel local search for optimal camera placement and unicost set covering , 2020, GECCO Companion.

[60]  Hai Wan,et al.  Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem , 2020, AAAI.

[61]  Dorit S. Hochbaum,et al.  Approximation Algorithms for the Set Covering and Vertex Cover Problems , 1982, SIAM J. Comput..

[62]  Kerem Bülbül,et al.  The Set Covering Problem Revisited: An Empirical Study of the Value of Dual Information , 2014 .

[63]  Shaowei Cai,et al.  SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem , 2020, Artif. Intell..

[64]  John E. Beasley,et al.  OR-Library: Distributing Test Problems by Electronic Mail , 1990 .

[65]  T. Grossman,et al.  Computational Experience with Approximation Algorithms for the Set Covering Problem , 1994 .

[66]  Huan Liu,et al.  Multi-Start Local Search Algorithm for the Minimum Connected Dominating Set Problems , 2019, Mathematics.

[67]  Alan T. Murray,et al.  Optimizing Public Transit Quality and System Access: The Multiple-Route, Maximal Covering/Shortest-Path Problem , 2005 .

[68]  Francis J. Vasko,et al.  An efficient heuristic for large set covering problems , 1984 .

[69]  Shaowei Cai,et al.  Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess , 2017, J. Artif. Intell. Res..

[70]  Djamal Habet,et al.  Improving configuration checking for satisfiable random k-SAT instances , 2016, Annals of Mathematics and Artificial Intelligence.