Instances for the Maximum Clique Problem with Hardness Guarantees

  • Victor Campos UFC
  • Renato Carmo UFPR
  • Rodrigo Nogueira UFC

Resumo


Branch and bound algorithms which use (an estimate on) the chromatic number as the bounding function are reported among the best known exact algorithms for the maximum clique problem. Their average running time is known to be quasi-polynomial and describing families of instances which induce exponential running time for these algorithms is a non-trivial issue. We describe two such families of graphs. We prove that graphs in the first family induce asymptotically higher running time than the average for algorithms whose running time is Ω(c(G)) where c(G) is the number of cliques in G. We also prove that graphs in the second family induce exponential running time for branch and bound algorithms which use the chromatic number as the bounding function.

Palavras-chave: Algorithms, Combinatorial Optimization Graph Theory and Combinatorics

Referências

Bomze, I. M., Budinich, M., Pardalos, P. M., and Pelillo, M. (1999). The maximum clique problem. In Du, D.-Z. and Pardalos, P. M., editors, Handbook of Combinatorial Optimization: Supplement Volume A, volume 4, pages 1–74. Springer, Boston, MA.

Campêlo, M., Campos, V., and Corrêa, R. (2008). On the asymmetric representatives formulation for the vertex coloring problem. Discrete Applied Mathematics, 156(7):1097–1111.

Cornaz, D. and Jost, V. (2008). A one-to-one correspondence between colorings and stable sets. Operations Research Letters, 36(6):673–676.

Downey, R. and Fellows, M. (1995). Parameterized computational feasibility. In Clote, P. and Remmel, J. B., editors, Feasible Mathematics II, pages 219–244, Boston, MA. Birkhäuser Boston.

Johnson, D. and Trick, M., editors (1996). Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11–13, 1993, volume 26. American Mathematical Society, Boston, MA, USA.

Karp, R. (1972). Reducibility among combinatorial problems. In Complexity of computer computations, pages 85–103. Springer.

Lavnikevich, N. (2013). On the complexity of maximum clique algorithms: usage of coloring heuristics leads to the (2/5) algorithm running time lower bound.

Pittel, B. (1982). On the probable behaviour of some algorithms for finding the stability number of a graph. Mathematical Proceedings of the Cambridge Philosophical Society, 92:511–526.

San Segundo, P., Lopez, A., and Pardalos, P. M. (2016). A new exact maximum clique algorithm for large and massive sparse graphs. Computers & Operations Research, 66:81–94.

Zuckerman, D. (2006). Linear degree extractors and the inapproximability of max clique and chromatic number. In Proceedings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing, STOC ’06, pages 681–690, New York, NY, USA. Association for Computing Machinery.

Züge, A. and Carmo, R. (2018). On comparing algorithms for the maximum clique problem. Discrete Applied Mathematics, 247.
Publicado
31/07/2022
CAMPOS, Victor; CARMO, Renato; NOGUEIRA, Rodrigo. Instances for the Maximum Clique Problem with Hardness Guarantees. In: ENCONTRO DE TEORIA DA COMPUTAÇÃO (ETC), 7. , 2022, Niterói. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2022 . p. 125-128. ISSN 2595-6116. DOI: https://doi.org/10.5753/etc.2022.223245.