2023/07/14 by Fomin, Fedor V., Golovach, Petr A., Sagunov, Danil +1
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences
paper · doi:10.48550/arxiv.2307.07456
The fundamental theorem of Turán from Extremal Graph Theory determines the exact bound on the number of edges tr(n) in an n-vertex graph that does not contain a clique of size r+1. We establish an interesting link between Extremal Graph Theory and Algorithms by providing a simple compression algorithm that in linear time reduces the problem of finding a clique of size ℓ in an n-vertex graph G with m ≥ tr(n)-k edges, where ℓ≤ r+1, to the problem of finding a maximum clique in a graph on at most 5k vertices. This also gives us an algorithm deciding in time 2.49k⋅(n + m) whether G has a clique of size ℓ. As a byproduct of the new compression algorithm, we give an algorithm that in time 2O(td2) ⋅ n2 decides whether a graph contains an independent set of size at least n/(d+1) + t. Here d is the average vertex degree of the graph G. The multivariate complexity analysis based on ETH indicates that the asymptotical dependence on several parameters in the running times of our algorithms is tight.