We study the planted clique problem in which a clique of size k is planted in an Erdos-Renyi graph G(n,1/2) and one is interested in recovering this planted clique. It is widely believed that it exhibits a statistical-computational gap when computational efficiency is equated with the existence of polynomial time algorithms. We study this problem under a more fine-grained computational lens and consider the following two questions. 1. Do there exist sublinear time algorithms for recovering the planted clique? 2. What is the smallest running time any algorithm can hope to have? We show that because of a well known clique-completion property, very elementary sublinear time recovery algorithms do indeed exist for clique sizes k = {\omega}(\sqrt{n}). This points to a qualitatively stronger statistical-computational gap. The planted clique recovery problem can be solved without even looking at most of the input above the {\Theta}(\sqrt{n}) threshold and cannot be solved by any efficient algorithm below it. A running time lower bound for the recovery problem follows easily from the results of [RS19], and this implies our recovery algorithms are optimal whenever k = {\Omega}(n^{2/3}). However, for k = o(n^{2/3}) there is a gap between our algorithmic upper bound and the information-theoretic lower bound implied by [RS19]. With some caveats, we show stronger detection lower bounds based on the Planted Clique Conjecture for a natural but restricted class of algorithms. The key idea is to relate very fast sublinear time algorithms for detecting large planted cliques to polynomial time algorithms for detecting small planted cliques.
翻译:我们研究种植的球状问题,在这个问题中,K大小的分级算法在Erdos-Renyi Grap G(n,1/2) 中被植入为K(n,1/2) 和一个人对恢复这个植入的球状曲线感兴趣。 人们普遍认为,当计算效率等同于多分子时间算法存在时,它就会出现统计-剖析差距。我们在一个更细微的计算镜头下研究这个问题,并考虑下面的两个问题。1. 是否有一个小线性时间算法来恢复被植入的曲线? 2. 任何算法都希望有最小的运行时间吗? 我们显示,由于一个非常已知的结存的球状 c-完成属性属性属性属性属性属性属性属性属性属性属性属性属性属性属性属性属性,非常简单的子线性线性线性时间序列恢复算法确实存在。