English

Constant factor approximation of MAX CLIQUE

Data Structures and Algorithms 2019-09-20 v4 Computational Complexity Logic in Computer Science

Abstract

MAX CLIQUE problem (MCP) is an NPO problem, which asks to find the largest complete sub-graph in a graph G,G=(V,E)G, G = (V, E) (directed or undirected). MCP is well known to be NPHardNP-Hard to approximate in polynomial time with an approximation ratio of 1+ϵ1 + \epsilon, for every ϵ>0\epsilon > 0 [9] (and even a polynomial time approximation algorithm with a ratio n1ϵn^{1 - \epsilon} has been conjectured to be non-existent [2] for MCP). Up to this date, the best known approximation ratio for MCP of a polynomial time algorithm is O(n(log2(log2(n)))2/(log2(n))3)O(n(log_2(log_2(n)))^2 / (log_2(n))^3) given by Feige [1]. In this paper, we show that MCP can be approximated with a constant factor in polynomial time through approximation ratio preserving reductions from MCP to MAX DNF and from MAX DNF to MIN SAT. A 2-approximation algorithm for MIN SAT was presented in [6]. An approximation ratio preserving reduction from MIN SAT to min vertex cover improves the approximation ratio to 2Θ(1/n)2 - \Theta(1/ \sqrt{n}) [10]. Hence we prove false the infamous conjecture, which argues that there cannot be a polynomial time algorithm for MCP with an approximation ratio of any constant factor.

Keywords

Cite

@article{arxiv.1909.04396,
  title  = {Constant factor approximation of MAX CLIQUE},
  author = {Tapani Toivonen and Janne Karttunen},
  journal= {arXiv preprint arXiv:1909.04396},
  year   = {2019}
}

Comments

the reduction does not preserve the approximation ratio

R2 v1 2026-06-23T11:10:52.261Z