We study the query complexity of slices of Boolean functions. Among other results we show that there exists a Boolean function for which we need to query all but 7 input bits to compute its value, even if we know beforehand that the number of 0's and 1's in the input are the same, i.e. when our input is from the middle slice. This answers a question of Byramji. Our proof is non-constructive, but we also propose a concrete candidate function that might have the above property. Our results are related to certain natural discrepancy type questions that -- somewhat surprisingly -- have not been studied before.
翻译:我们研究布尔函数切片上的查询复杂度。主要结果之一是证明:存在一个布尔函数,即使事先知道输入中0和1的数目相同(即输入来自中间层),也需要查询除7个输入比特以外的所有位才能计算其值。这回答了Byramji提出的一个问题。我们的证明是非构造性的,但也提出了一个可能具有上述性质的具体候选函数。我们的结果与某些自然的差异型问题相关——出乎意料的是,这些问题此前尚未被研究过。