块敏感性、证书复杂度与 $\mathsf{AND}$(以及 $\mathsf{OR}$)决策树复杂度的凝结性分析
计算复杂性
2026-03-17 v2
摘要
给定具有复杂度度量(如块敏感性、查询复杂度等) 的 位布尔函数,硬度凝结问题询问是否存在将 限制到 个变量,使得该度量为 。本文研究块敏感性、证书复杂度、(以及 )查询复杂度及傅里叶稀疏性的凝结性。我们证明块敏感性在限制下不会凝结,这不同于灵敏度:存在一个查询复杂度为 的布尔函数 ,其限制到 个变量后的块敏感性为 。这否定了 G"o"os、Newman、Riazanov 和 Sokolov(2024)中的一个开放问题。同一函数还给出了证书复杂度的类似不可凝结结果。我们进一步表明 (以及 )决策树亦不可凝结。
引用
@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)