Improved polynomial-time algorithms for detecting and recovering planted Θ(n)-cliques
Dmitriy Kunisky, Songtao Mao
Abstract
In the planted clique problem, one observes either an Erdős--Rényi graph on n vertices or such a graph with a clique added to k = k(n) vertices, and seeks to detect or recover the clique. It is widely believed that k = Θ(n) is the smallest clique size for which polynomial-time algorithms exist for these tasks. We develop new algorithms in this regime using color-coding to estimate signed subgraph counts, further accelerated with fast matrix multiplication. We first show that, for each t ≥ 1, for c(t) a constant associated to the order of growth of the number of connected graphs of treewidth at most t, cliques of size k = λn planted in a random location with λ> 1 / c(t) can be detected and recovered in time nt + 1 + o(1). For instance, since c(1) = e, this recovers by counting signed trees the performance of the O(n2)-time message-passing algorithm of Deshpande--Montanari (2015) that succeeds when λ> 1 / e ≈ 0.6066. For t ≥ 3, the exact value of c(t) is not known, but lower bounds on it give a hierarchy of slower polynomial-time algorithms that succeed for smaller λ. We further show that the above algorithm for t = 2 can be implemented in time nω+ o(1) for ω the constant of square matrix multiplication and succeeds when λ> 0.3320; under the folklore conjecture that ω= 2, this runs in the nearly-linear time of the algorithm of Deshpande--Montanari while finding smaller cliques. Second, we show that the above algorithm for t = 1 can be combined with the boosting scheme of Alon--Krivelevich--Sudakov (1998) using rectangular matrix multiplication, giving improved runtimes for smaller λ. Taken together, our results achieve the best known tradeoff between runtime and signal strength λ.
Create a lesson
Related papers
Near-Optimal Online Metric Matching on Δ-ary HST
Parth Gor, Sourya Roy, Kasturi Varadarajan
On the Offline Version of the Time-Optimal k-Server Problem
Oleg Lomachenko
The Facility Advantage in the One-Round Discrete Voronoi Game on a Line
Tamal Maharaj
A Proof of the Most Informative Boolean Function Conjecture
Zijie Chen, Amin Gohari, Adel Javanmard et al.
Parameter-Free Triangle Counting
Asaf Etgar, Anna Gilbert, Quanquan Liu et al.
FPT Isomorphism Test for F-Free Tournaments
Daniel Neuen