Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR26-312 | 5th November 2026 00:17

The Space Complexity of Property Testing

RSS-Feed




TR26-312
Authors: Clement Canonne, Xi Chen, William Pires, Toniann Pitassi, Rocco Servedio
Publication: 8th November 2026 13:34
Downloads: 13
Keywords: 


Abstract:

We initiate the study of the space complexity of property testing. We focus on five properties of Boolean functions that have been intensively studied in the property testing literature: monotonicity, symmetry, linearity, being a junta, and being a linear threshold function.

On the upper bounds side, we show --- perhaps surprisingly --- that for most of these properties there exist new testing algorithms that use dramatically less space than the well-known testers for these properties, which have been designed to use as few queries as possible. For each of these five properties we also prove an unconditional space lower bound for any tester, regardless of its runtime or query complexity, that either matches or almost matches the space used by our new testers. Our results thus give an essentially complete characterization of the space complexity of testing these fundamental properties.



ISSN 1433-8092 | Imprint