A characterization of the (natural) graph properties testable with one-sided error
The problem of characterizing all the testable graph properties is considered by many to be
the most important open problem in the area of property testing. Our main result in this paper …
the most important open problem in the area of property testing. Our main result in this paper …
Algorithmic and analysis techniques in property testing
D Ron - Foundations and Trends® in Theoretical Computer …, 2010 - nowpublishers.com
Property testing algorithms are" ultra"-efficient algorithms that decide whether a given object
(eg, a graph) has a certain property (eg, bipartiteness), or is significantly different from any …
(eg, a graph) has a certain property (eg, bipartiteness), or is significantly different from any …
Testing subgraphs in directed graphs
Let H be a fixed directed graph on h vertices, let G be a directed graph on n vertices and
suppose that at least ε n2 edges have to be deleted from it to make it H-free. We show that in …
suppose that at least ε n2 edges have to be deleted from it to make it H-free. We show that in …
Property testing: A learning theory perspective
D Ron - Foundations and Trends® in Machine Learning, 2008 - nowpublishers.com
Property testing deals with tasks where the goal is to distinguish between the case that an
object (eg, function or graph) has a prespecified property (eg, the function is linear or the …
object (eg, function or graph) has a prespecified property (eg, the function is linear or the …
Some 3CNF properties are hard to test
E Ben-Sasson, P Harsha… - … of the thirty-fifth annual acm …, 2003 - dl.acm.org
For a boolean formula φ on n variables, the associated property Pφ is the collection of n-bit
strings that satisfy φ. We prove that there are 3CNF properties that require a linear number of …
strings that satisfy φ. We prove that there are 3CNF properties that require a linear number of …
Every monotone graph property is testable
A graph property is called monotone if it is closed under taking (not necessarily induced)
subgraphs (or, equivalently, if it is closed under removal of edges and vertices). Many …
subgraphs (or, equivalently, if it is closed under removal of edges and vertices). Many …
[HTML][HTML] Random sampling and approximation of MAX-CSPs
N Alon, WF De La Vega, R Kannan… - Journal of computer and …, 2003 - Elsevier
In a maximum-r-constraint satisfaction problem with variables {x1, x2,…, xn}, we are given
Boolean functions f1, f2,…, fm each involving r of the n variables and are to find the …
Boolean functions f1, f2,…, fm each involving r of the n variables and are to find the …
A characterization of easily testable induced subgraphs
Let? We settle this question almost completely by showing that, quite surprisingly, for any
graph other than the paths of lengths 1, 2 and 3, the cycle of length 4, and their …
graph other than the paths of lengths 1, 2 and 3, the cycle of length 4, and their …
Distribution-free property-testing
S Halevy, E Kushilevitz - SIAM Journal on Computing, 2007 - SIAM
We consider the problem of distribution-free property-testing of functions. In this setting of
property-testing, the distance between functions is measured with respect to a fixed but …
property-testing, the distance between functions is measured with respect to a fixed but …
Finding cycles and trees in sublinear time
We present sublinear‐time (randomized) algorithms for finding simple cycles of length at
least and tree‐minors in bounded‐degree graphs. The complexity of these algorithms is …
least and tree‐minors in bounded‐degree graphs. The complexity of these algorithms is …