We consider the fundamental question of understanding the relative power of two important computational models: property testing and data streaming. We present a novel framework closely linking these areas in the setting of general graphs in the context of constant-query complexity testing and constant-space streaming. Our main result is a generic transformation of a one-sided error property tester in the random-neighbor model with constant query complexity into a one-sided error property tester in the streaming model with constant space complexity. Previously such a generic transformation was only known for bounded-degree graphs
We study property testing algorithms in directed graphs (digraphs) with maximum indegree and maximum...
In this work we study the testability of a family of graph partition properties that generalizes a f...
Testing a property P of graphs in the bounded degree model deals with the following problem: given a...
We consider the fundamental question of understanding the relative power of two important computatio...
We study which property testing and sublinear time algorithms can be transformed into graph streamin...
We study which property testing and sublinear time algorithms can be transformed into graph streamin...
Property testing algorithms are highly efficient algorithms, that come with probabilistic accuracy g...
Property testers are randomised sublinear time algorithms which infer global structure from a local...
AbstractWe study a new model of computation, called best-order stream, for graph problems. Roughly, ...
We study property testing of properties that are definable in first-order logic (FO) in the bounded-...
We study property testing in the distributed model and extend its setting from testing with one-side...
Aiming at extremely efficient algorithms for big data sets, we introduce property testing of relatio...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
The problem of characterizing testable graph properties (properties that can be tested with a number...
We study property testing of properties that are definable in first-order logic (FO) in the bounded-...
We study property testing algorithms in directed graphs (digraphs) with maximum indegree and maximum...
In this work we study the testability of a family of graph partition properties that generalizes a f...
Testing a property P of graphs in the bounded degree model deals with the following problem: given a...
We consider the fundamental question of understanding the relative power of two important computatio...
We study which property testing and sublinear time algorithms can be transformed into graph streamin...
We study which property testing and sublinear time algorithms can be transformed into graph streamin...
Property testing algorithms are highly efficient algorithms, that come with probabilistic accuracy g...
Property testers are randomised sublinear time algorithms which infer global structure from a local...
AbstractWe study a new model of computation, called best-order stream, for graph problems. Roughly, ...
We study property testing of properties that are definable in first-order logic (FO) in the bounded-...
We study property testing in the distributed model and extend its setting from testing with one-side...
Aiming at extremely efficient algorithms for big data sets, we introduce property testing of relatio...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
The problem of characterizing testable graph properties (properties that can be tested with a number...
We study property testing of properties that are definable in first-order logic (FO) in the bounded-...
We study property testing algorithms in directed graphs (digraphs) with maximum indegree and maximum...
In this work we study the testability of a family of graph partition properties that generalizes a f...
Testing a property P of graphs in the bounded degree model deals with the following problem: given a...