The Community for Technology Leaders
2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS) (2014)
Philadelphia, PA, USA
Oct. 18, 2014 to Oct. 21, 2014
ISSN: 0272-5428
ISBN: 978-1-4799-6517-5
pp: 286-295
ABSTRACT
We consider the problem of testing whether an unknown Boolean function f : { -- 1, 1}n ⇆ { -- 1, 1} is monotone versus ε-far from every monotone function. The two main results of this paper are a new lower bound and a new algorithm for this well-studied problem. Lower bound: We prove an Ω(n1/5) lower bound on the query complexity of any non-adaptive two-sided error algorithm for testing whether an unknown Boolean function f is monotone versus constant-far from monotone. This gives an exponential improvement on the previous lower bound of Ω(log n) due to Fischer et al.[1]. We show that the same lower bound holds for monotonicity testing of Boolean-valued functions over hypergrid domains {1,,m}n for all m ≥ 2. Upper bound: We present an O(n5/6) poly(1/ε)-query algorithm that tests whether an unknown Boolean function f is monotone versus ε-far from monotone. Our algorithm, which is non-adaptive and makes one-sided error, is a modified version of the algorithm of Chakrabarty and Seshadhri[2], which makes O(n7/8) poly(1/ε) queries.
INDEX TERMS
Testing, Boolean functions, Complexity theory, Random variables, Upper bound, Algorithm design and analysis, Vectors
CITATION

X. Chen, R. A. Servedio and L. Tan, "New Algorithms and Lower Bounds for Monotonicity Testing," 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS), Philadelphia, PA, USA, 2014, pp. 286-295.
doi:10.1109/FOCS.2014.38
92 ms
(Ver 3.3 (11022016))