解法:黄皓用带符号超立方体邻接矩阵证明敏感度猜想(2019年)
通俗地说
布尔函数 接收 个比特输入并输出一个比特。它的敏感度 衡量在最坏输入下翻转单个比特能改变多少次输出,而它的次数 衡量将 写成多项式时的复杂程度。1992年,尼桑与塞格迪提出: 很小的函数是否必然 也很小。
详细分析
黄皓(2019年,引言)研究 维超立方体图 ,其 个顶点是 中的二进制串,边连接恰好相差一个坐标的两个串。1988年,钟(Chung)、菲雷迪(Furedi)、格雷厄姆(Graham)与西摩(Seymour)证明了 中超过一半顶点上的任意诱导子图的最大度数至少为 ,并构造了恰好 个顶点、最大度数仅为 的诱导子图。黄皓的论文完全弥合了这两个界之间的差距:定理1.1指出, 中至少 个顶点上的任意诱导子图 都满足 ,恰好与先前的构造相匹配。
- 布尔函数
- 以 个比特为输入并输出一个比特的函数 。
- 敏感度
- 在某个输入 处,能改变 取值的单比特翻转的最大次数,并对所有输入 取最大值。
- 次数
- 每个布尔函数都等于关于其 个输入比特的唯一多重线性实系数多项式; 就是该多项式的次数。
- 诱导子图
- 给定图 的顶点子集 ,诱导子图恰好保留 中两端点都在 内的边。