Title | ||
---|---|---|
Comparing the strength of query types in property testing: the case of testing k-colorability |
Abstract | ||
---|---|---|
We study the power of four query models in the context of property testing in general graphs, where our main case study is the problem of testing k-colorability. Two query types, which have been studied extensively in the past, are pair queries and neighbor queries. The former corresponds to asking whether there is an edge between any particular pair of vertices, and the latter to asking for the i'th neighbor of a particular vertex. We show that while for pair queries, testing k-colorability requires a number of queries that is a monotone decreasing function in the average degree d, the query complexity in the case of neighbor queries remains roughly the same for every density and for large values of k. We also consider a combined model that allows both types of queries, and we propose a new, stronger, query model, related to the eld of Group Testing. We give one-sided error upper and lower bounds for all the models, where the bounds are nearly tight for three of the models. In some of the cases our lower bounds extend to two-sided error algorithms. The problem of testing k-colorability was previously studied in the contexts of dense and sparse graphs, and in our proofs we unify approaches from those cases, and also provide some new tools and techniques that may be of independent interest. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1145/1347082.1347214 | Symposium on Discrete Algorithms |
Keywords | Field | DocType |
query type,query complexity,property testing,pair query,th neighbor,lower bound,neighbor query,particular pair,combined model,query model,group testing,real time,upper and lower bounds,pattern matching | Discrete mathematics,Combinatorics,Property testing,Vertex (geometry),Computer science,Upper and lower bounds,Mathematical proof,Suffix tree,Group testing,Pattern matching,Monotone polygon | Conference |
Volume | ISSN | ISBN |
6390 | 0302-9743 | 978-0-89871-698-6 |
Citations | PageRank | References |
8 | 0.56 | 14 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ido Ben-Eliezer | 1 | 46 | 4.65 |
Tali Kaufman | 2 | 499 | 38.33 |
michael krivelevich | 3 | 1688 | 179.90 |
Dana Ron | 4 | 3164 | 342.97 |