中文

块敏感性、证书复杂度与 $\mathsf{AND}$(以及 $\mathsf{OR}$)决策树复杂度的凝结性分析

计算复杂性 2026-03-17 v2

摘要

给定具有复杂度度量(如块敏感性、查询复杂度等) M(f)=kM(f) = knn 位布尔函数,硬度凝结问题询问是否存在将 ff 限制到 O(k)O(k) 个变量,使得该度量为 Ω(k)\Omega(k)。本文研究块敏感性、证书复杂度、AND\mathsf{AND}(以及 OR\mathsf{OR})查询复杂度及傅里叶稀疏性的凝结性。我们证明块敏感性在限制下不会凝结,这不同于灵敏度:存在一个查询复杂度为 kk 的布尔函数 ff,其限制到 O(k)O(k) 个变量后的块敏感性为 O(k23)O(k^{\frac{2}{3}})。这否定了 G"o"os、Newman、Riazanov 和 Sokolov(2024)中的一个开放问题。同一函数还给出了证书复杂度的类似不可凝结结果。我们进一步表明 AND\mathsf{AND}(以及 OR\mathsf{OR})决策树亦不可凝结。

关键词

引用

@article{arxiv.2602.01042,
  title  = {On Condensation of Block Sensitivity, Certificate Complexity and the $\mathsf{AND}$ (and $\mathsf{OR}$) Decision Tree Complexity},
  author = {Sai Soumya Nalli and Karthikeya Polisetty and Jayalal Sarma},
  journal= {arXiv preprint arXiv:2602.01042},
  year   = {2026}
}

备注

v2: Removed a proof that was a minor modification of a result from Hart, Hosseini, and Iosevich (Condensing Hardness in Boolean Functions)