当前位置: X-MOL 学术Random Struct. Algorithms › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Approximating the distance to monotonicity of Boolean functions
Random Structures and Algorithms ( IF 1 ) Pub Date : 2021-06-24 , DOI: 10.1002/rsa.21029
Ramesh Krishnan S. Pallavoor 1 , Sofya Raskhodnikova 1 , Erik Waingarten 2
Affiliation  

We design a nonadaptive algorithm that, given oracle access to a function urn:x-wiley:rsa:media:rsa21029:rsa21029-math-0001 which is urn:x-wiley:rsa:media:rsa21029:rsa21029-math-0002-far from monotone, makes polyurn:x-wiley:rsa:media:rsa21029:rsa21029-math-0003 queries and returns an estimate that, with high probability, is an urn:x-wiley:rsa:media:rsa21029:rsa21029-math-0004-approximation to the distance of urn:x-wiley:rsa:media:rsa21029:rsa21029-math-0005 to monotonicity. The analysis of our algorithm relies on an improvement to the directed isoperimetric inequality of Khot, Minzer, and Safra (SIAM J. Comput., 2018). Furthermore, we rule out a polyurn:x-wiley:rsa:media:rsa21029:rsa21029-math-0006-query nonadaptive algorithm that approximates the distance to monotonicity significantly better by showing that, for all constant urn:x-wiley:rsa:media:rsa21029:rsa21029-math-0007 every nonadaptive urn:x-wiley:rsa:media:rsa21029:rsa21029-math-0008-approximation algorithm for this problem requires urn:x-wiley:rsa:media:rsa21029:rsa21029-math-0009 queries. This answers a question of Seshadhri (Property Testing Review, 2014) for the case of nonadaptive algorithms. We obtain our lower bound by proving an analogous bound for erasure-resilient (and tolerant) testers. Our method also yields the same lower bounds for unateness and being a urn:x-wiley:rsa:media:rsa21029:rsa21029-math-0010-junta.

中文翻译:

逼近布尔函数单调性的距离

我们设计了一个非自适应算法,在给定预言机访问一个远离单调的函数骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0001的情况下,进行多查询并返回一个估计值,该估计值很有可能是单调性距离的近似值。我们算法的分析依赖于对 Khot、Minzer 和 Safra 的有向等周不等式的改进(SIAM J. Comput.,2018)。此外,我们排除了一种多查询非自适应算法,该算法通过表明对于所有常量,该问题的每个非自适应逼近算法都需要查询,从而显着更好地逼近单调性的距离。这回答了 Seshadhri 的问题(属性测试评论骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0002骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0003骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0004骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0005骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0006骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0007骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0008骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0009, 2014) 对于非自适应算法的情况。我们通过证明擦除弹性(和容忍)测试人员的类似界限来获得我们的下限。我们的方法也为 unateness 和成为骨灰盒:x-wiley:rsa:媒体:rsa21029:rsa21029-math-0010-junta 产生了相同的下限。
更新日期:2021-06-24
down
wechat
bug