随机算法让分组学习在3轮内完成,查询量大幅降低。
Randomized Algorithms for Learning Partitions with Near Optimal Query Complexity in Constant Rounds
- 用随机化策略在3轮内完成分组学习,减少查询次数。
- 2轮时需至少Ω(n^{4/3}k^{2/3})次查询,与确定性算法相当。
- 适用于已知或未知分组数的场景,尤其适合高效并行计算。
我们研究使用PAIR查询(判断两个元素是否在同一分组)学习一个n元集合上的隐藏分组结构$/mathcal{P}$的轮次复杂度。虽然基础算法只需$ n|/mathcal{P}| $次查询且最优,但高度串行。黑、马祖姆达尔和萨哈[COLT 2025]最近给出了已知分组数时的紧致确定性轮次/查询权衡:$Θ(/log/log n)$轮可将查询量控制在$ n|/mathcal{P}| $。他们留下随机下界作为开放问题。我们证明随机化彻底改变局面:当分组数$ k = |/mathcal{P}| $已知时,提出一个3轮随机算法,以高概率使用$ O(nk/log n) $次查询;并证明2轮需$ Ω(n^{4/3}k^{2/3}) $次查询——与确定性算法同阶。对于分组数未知的情形,给出一个4轮随机算法,以高概率使用$ O(n|/mathcal{P}|/log^2 n) $次查询,并证明3轮无法实现近似最优查询复杂度。此外,在此情形下,随机与确定性算法间存在更大差距:确定性算法需$ Θ(/log n//log/log n) $轮才能达到近似最优查询复杂度。
原文摘要 · Abstract (English)
We study the round complexity of learning a hidden partition $\mathcal{P}$ of an $n$-element universe using PAIR queries: PAIR($x,y$) tells us whether $x$ and $y$ belong to the same part of the partition or not. While it is easy to learn using $n|\mathcal{P}|$ queries using a basic algorithm and this query complexity is optimal, this basic algorithm is highly sequential. Black, Mazumdar, and Saha [COLT 2025] recently gave tight deterministic round/query tradeoffs when the number of parts of $\mathcal{P}$ is known. In particular they prove $Θ(\log\log n)$ rounds are sufficient and necessary to limit the number of queries to $n|\mathcal{P}|$. They leave proving a randomized lower bound as an open direction. We show that randomization dramatically changes the picture. When the number of parts $k = |\mathcal{P}|$ is known, we give a simple 3-round randomized algorithm using $O(nk\log n)$ queries with high probability, and prove that 2 rounds require $Ω(n^{4/3}k^{2/3})$ queries -- the same as deterministic algorithms. We also study a more general setting where the number of parts is unknown. In this case, we give a 4-round randomized algorithm using $O(n|\mathcal P|\log^2 n)$ queries with high probability, and prove that 3-rounds cannot achieve near-optimal query complexity. Furthermore, we show an even bigger separation in this regime between randomized and deterministic algorithms: for the latter, $Θ(\log n/\log\log n)$ rounds are necessary and sufficient to obtain near-optimal query complexity.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。