Iterated backtrack removal search for finding k-vertex-critical subgraphs
- 135 Downloads
Given an undirected graph \(G = (V,E)\) and a positive integer k, a k-vertex-critical subgraph (k-VCS) of G is a subgraph H such that its chromatic number equals k (i.e., \(\chi (H) = k\)), and removing any vertex causes a decrease of \(\chi (H)\). The k-VCS problem (k-VCSP) is to find the smallest k-vertex-critical subgraph \(H^*\) of G. This paper proposes an iterated backtrack-based removal (IBR) heuristic to find k-VCS for a given graph G. IBR extends the popular removal strategy that is intensification-oriented. The proposed extensions include two new diversification-oriented search components—a backtracking mechanism to reconsider some removed vertices and a perturbation strategy to escape local optima traps. Computational results on 80 benchmark graphs show that IBR is very competitive in terms of solution quality and run-time efficiency compared with state-of-the-art algorithms in the literature. Specifically, IBR improves the best-known solutions for 9 graphs and matches the best results for other 70 instances. We investigate the interest of the key components of the proposed algorithm.
KeywordsVertex-critical subgraph Graph coloring Tabu search Backtracking-based diversification Irreducibly inconsistent systems
We are grateful to Dr. Chumin Li for providing us with the code of Zhou et al. (2014). Support for the first author of this work from the China Scholarship Council (2015–2019) is also acknowledged.
- Liffiton, M.H., Sakallah, K.A.: On finding all minimally unsatisfiable subformulas. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 173–186. Springer (2005)Google Scholar
- Lü, Z., Hao, J.-K.: A critical element-guided perturbation strategy for iterated local search. In: Evolutionary Computation in Combinatorial Optimization, pp. 1–12. Springer (2009)Google Scholar
- Lynce, I., Marques-Silva, J.P.: On computing minimum unsatisfiable cores. In: Online Proceedings of The Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), 10–13 May 2004, Vancouver, BC, Canada (2004)Google Scholar
- Mneimneh, M., Lynce, I., Andraus, Z., Marques-Silva, J., Sakallah, K.: A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 467–474. Springer (2005)Google Scholar
- Oh, Y., Mneimneh, M.N., Andraus, Z.S., Sakallah, K.A., Markov, I.L.: Amuse: a minimally-unsatisfiable subformula extractor. In: Proceedings of the 41st Annual Design Automation Conference, pp. 518–523. ACM (2004)Google Scholar
- Zhou, Y., Hao, J.-K., Glover, F.: Memetic search for identifying critical nodes in sparse graphs (2017a). arXiv:1705.04119
- Zhou, Y., Hao, J.-K., Duval, B.: When data mining meets optimization: a case study on the quadratic assignment problem (2017b). arXiv:1708.05214