Property testing lower bounds via communication complexity
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 …
strong connection between testing and communication complexity. We give a simple …
Distribution testing lower bounds via reductions from communication complexity
We present a new methodology for proving distribution testing lower bounds, establishing a
connection between distribution testing and the simultaneous message passing (SMP) …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
a certain property or is “far”(for a prespecified distance measure) from every object with that …