计算机科学 > 计算复杂性
[提交于 2025年5月4日
(v1)
,最后修订 2025年7月19日 (此版本, v2)]
标题: 关于植 clique 的最优区分器
标题: On optimal distinguishers for Planted Clique
摘要: 在区分问题中,输入是从两个分布中的一个抽取的样本,算法的任务是识别来源分布。 区分算法的性能通过其优势来衡量,即其成功概率相对于随机猜测的增量。 一个经典的区分问题是植入团问题,其中输入是从以下两种模型之一抽取的图:$G(n,1/2)$—— 标准的Erdős-Rényi模型,或$G(n,1/2,k)$—— 在一个随机选取的$k$个顶点上植入了一个团的Erdős-Rényi模型。 植入团假设断言,当$k=n^{1/2-\Omega(1)}$时,高效的算法无法获得优于某个绝对常数(例如$1/4$)的优势。 在本工作中,我们旨在精确理解在植入团问题上,高效算法能够实现的最佳区分优势。 我们在植入团假设下得出以下结果: 1. 低次多项式的最优性:没有高效的算法可以超越最优的低次多项式的优势。 具体来说,这意味着任何高效算法的优势最多为$(1+o(1))\cdot k^2/(\sqrt{\pi}n)$,这在一种简单的边计数算法达到该界限的情况下是最优的。 2. 更难的植入分布:存在一个可高效采样的分布$\mathcal{P}^*$,它在包含$k$-clique 的图上进行支持,使得没有任何高效算法能以优势$n^{-d}$区分$\mathcal{P}^*$与$G(n,1/2)$,对于任意大的常数$d$。 换句话说,存在其他更难的植入分布,它们比$G(n,1/2,k)$要困难得多。 在此过程中,我们证明了一个针对低次数多项式的一类广泛分布的构造性硬核引理。 这个结果的应用范围远超植入团问题,可能具有独立的兴趣。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.