首页 | 本学科首页   官方微博 | 高级检索  
     


Property Testing Lower Bounds via Communication Complexity
Authors:Eric Blais  Joshua Brody  Kevin Matulef
Affiliation:1. Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, 15213, USA
2. Computer Science Department, Aarhus University, Aarhus, Denmark
3. IIIS, Tsinghua University, Beijing, China
Abstract:We develop a new technique for proving lower bounds in property testing, by showing a strong connection between testing and communication complexity. We give a simple scheme for reducing communication problems to testing problems, thus allowing us to use known lower bounds in communication complexity to prove lower bounds in testing. This scheme is general and implies a number of new testing bounds, as well as simpler proofs of several known bounds. For the problem of testing whether a Boolean function is k-linear (a parity function on k variables), we achieve a lower bound of ??(k) queries, even for adaptive algorithms with two-sided error, thus confirming a conjecture of Goldreich (2010a). The same argument behind this lower bound also implies a new proof of known lower bounds for testing related classes such as k-juntas. For some classes, such as the class of monotone functions and the class of s-sparse GF(2) polynomials, we significantly strengthen the best known bounds.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号