Current browse context:
cs.CC
Change to browse by:
References & Citations
Computer Science > Computational Complexity
Title: Does robustness imply tractability? A lower bound for planted clique in the semi-random model
(Submitted on 17 Apr 2017 (v1), last revised 4 Sep 2018 (this version, v2))
Abstract: We consider a robust analog of the planted clique problem. In this analog, a set $S$ of vertices is chosen and all edges in $S$ are included; then, edges between $S$ and the rest of the graph are included with probability $\frac{1}{2}$, while edges not touching $S$ are allowed to vary arbitrarily. For this semi-random model, we show that the information-theoretic threshold for recovery is $\tilde{\Theta}(\sqrt{n})$, in sharp contrast to the classical information-theoretic threshold of $\Theta(\log(n))$. This matches the conjectured computational threshold for the classical planted clique problem, and thus raises the intriguing possibility that, once we require robustness, there is no computational-statistical gap for planted clique. Our lower bound involves establishing a result regarding the KL divergence of a family of perturbed Bernoulli distributions, which may be of independent interest.
Submission history
From: Jacob Steinhardt [view email][v1] Mon, 17 Apr 2017 20:53:18 GMT (21kb)
[v2] Tue, 4 Sep 2018 21:21:55 GMT (35kb)
Link back to: arXiv, form interface, contact.