Property testing lower bounds via communication complexity

E Blais, J Brody, K Matulef - computational complexity, 2012 - Springer
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 …

Distribution testing lower bounds via reductions from communication complexity

E Blais, CL Canonne, T Gur - ACM Transactions on Computation Theory …, 2019 - dl.acm.org
We present a new methodology for proving distribution testing lower bounds, establishing a
connection between distribution testing and the simultaneous message passing (SMP) …

Lower bounds for testing properties of functions over hypergrid domains

E Blais, S Raskhodnikova… - 2014 IEEE 29th …, 2014 - ieeexplore.ieee.org
We show how the communication complexity method introduced in (Blais, Brody, Matulef
2012) can be used to prove lower bounds on the number of queries required to test …

An adaptivity hierarchy theorem for property testing

CL Canonne, T Gur - computational complexity, 2018 - Springer
Adaptivity is known to play a crucial role in property testing. In particular, there exist
properties for which there is an exponential gap between the power of adaptive testing …

Query-efficient correlation clustering

D García-Soriano, K Kutzkov, F Bonchi… - Proceedings of The …, 2020 - dl.acm.org
Correlation clustering is arguably the most natural formulation of clustering. Given n objects
and a pairwise similarity measure, the goal is to cluster the objects so that, to the best …

On the width of ordered binary decision diagrams

B Bollig - International Conference on Combinatorial …, 2014 - Springer
Ordered binary decision diagrams (OBDDs) are a popular data structure for Boolean
functions. One of its complexity measures is the width which has been investigated in …

Exponentially improved algorithms and lower bounds for testing signed majorities

D Ron, RA Servedio - Algorithmica, 2015 - Springer
A signed majority function is a linear threshold function f:+ 1,− 1 n→+ 1,− 1 of the form
f(x)=sign(i=1^nσ_ix_i) where each σ i∈+ 1,− 1. Signed majority functions are a highly …

On the minimization of (complete) ordered binary decision diagrams

B Bollig - Theory of Computing Systems, 2016 - Springer
Ordered binary decision diagrams (OBDDs) are a popular data structure for Boolean
functions. Some applications work with a restricted variant called complete OBDDs which is …

Testing computability by width two obdds

D Ron, G Tsur - International Workshop on Approximation Algorithms …, 2009 - Springer
Property testing is concerned with deciding whether an object (eg a graph or a function) has
a certain property or is “far”(for some definition of far) from every object with that property. In …

Testing computability by width-two OBDDs

D Ron, G Tsur - Theoretical Computer Science, 2012 - Elsevier
Property testing is concerned with deciding whether an object (eg a graph or a function) has
a certain property or is “far”(for a prespecified distance measure) from every object with that …