[论文解读] New separation between s(f) and bs(f)

Andris Ambainis, Xiaoming Sun|arXiv (Cornell University)|Jan 1, 2011

Complexity and Algorithms in Graphs参考文献 9被引用 11

一句话总结

本文提出了一类布尔函数的敏感度 s(f) 与块敏感度 bs(f) 之间的新分离，确立了 bs(f) = 2s(f)² − 1。通过构造一个特定的函数族，作者展示了二次差距，改进了以往的分离结果，推动了对布尔函数分析中基本复杂度度量的理解。

ABSTRACT

In this note we give a new separation between sensitivity and block sensitivity of Boolean functions: bs(f) = 2 s(f) 2 − 1 s(f).

研究动机与目标

• 改进已知的布尔函数中敏感度与块敏感度之间的分离关系。
• 构造一个块敏感度相对于敏感度呈二次增长的函数族。
• 为 s(f) 与 bs(f) 之间的关系提供更紧的界，挑战其差距的先前限制。
• 为布尔函数理论中复杂度度量的更广泛理解做出贡献。

提出的方法

• 作者定义了一个特定的布尔函数族，以分析其敏感度与块敏感度。
• 他们将 s(f) 计算为任意输入中敏感位置的最大数量。
• 他们将 bs(f) 计算为任意输入中不相交敏感块的最大数量。
• 通过仔细安排变量依赖关系，确保 bs(f) 达到 2s(f)² − 1 的界。
• 该分析依赖于函数输入空间和敏感集的组合性质。

实验结果

研究问题

• RQ1 对于任意布尔函数，块敏感度与敏感度之间的最大可能差距是多少？
• RQ2 能否实现 s(f) 与 bs(f) 之间的二次分离？
• RQ3 与以往的分离相比，该新构造在紧致性方面如何？
• RQ4 该界 bs(f) = 2s(f)² − 1 是否代表了敏感度理论中的一个新极值情况？

主要发现

• 本文确立了以敏感度表示的块敏感度的新上界：bs(f) = 2s(f)² − 1。
• 该界代表了二次差距，优于以往仅显示线性或更小差距的结果。
• 该构造表明，对于某些布尔函数，这种二次差距是可实现的。
• 该结果有助于解决关于 s(f) 与 bs(f) 之间关系的长期悬而未决问题。