Some 3CNF properties are hard to test
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Testing subgraphs in directed graphs
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
A characterization of easily testable induced subgraphs
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
Robust pcps of proximity, shorter pcps and applications to coding
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Approximate max-integral-flow/min-multicut theorems
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Testing subgraphs in directed graphs
Journal of Computer and System Sciences - Special issue: STOC 2003
A large lower bound on the query complexity of a simple boolean function
Information Processing Letters
A Characterization of Easily Testable Induced Subgraphs
Combinatorics, Probability and Computing
Approximating the minimum vertex cover in sublinear time and a connection to distributed algorithms
Theoretical Computer Science
On testable properties in bounded degree graphs
SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
Comparing the strength of query types in property testing: the case of testing k-colorability
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Every minor-closed property of sparse graphs is testable
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Algebraic property testing: the role of invariance
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Testing monotonicity over graph products
Random Structures & Algorithms
Approximating the distance to properties in bounded-degree and general sparse graphs
ACM Transactions on Algorithms (TALG)
Property Testing: A Learning Theory Perspective
Foundations and Trends® in Machine Learning
Green's conjecture and testing linear-invariant properties
Proceedings of the forty-first annual ACM symposium on Theory of computing
Hierarchy Theorems for Property Testing
APPROX '09 / RANDOM '09 Proceedings of the 12th International Workshop and 13th International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
A large lower bound on the query complexity of a simple boolean function
Information Processing Letters
Algorithmic and Analysis Techniques in Property Testing
Foundations and Trends® in Theoretical Computer Science
Finding maximum degrees in hidden bipartite graphs
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Testing expansion in bounded-degree graphs
Combinatorics, Probability and Computing
Introduction to testing graph properties
Property testing
Sublinear graph approximation algorithms
Property testing
Hierarchy theorems for property testing
Property testing
Introduction to testing graph properties
Property testing
Sublinear graph approximation algorithms
Property testing
Hierarchy theorems for property testing
Property testing
Proceedings of the forty-third annual ACM symposium on Theory of computing
Introduction to testing graph properties
Studies in complexity and cryptography
Contemplations on testing graph properties
Studies in complexity and cryptography
Characterizations of locally testable linear-and affine-invariant families
COCOON'11 Proceedings of the 17th annual international conference on Computing and combinatorics
Characterizations of locally testable linear- and affine-invariant families
Theoretical Computer Science
A lower bound for distribution-free monotonicity testing
APPROX'05/RANDOM'05 Proceedings of the 8th international workshop on Approximation, Randomization and Combinatorial Optimization Problems, and Proceedings of the 9th international conference on Randamization and Computation: algorithms and techniques
Property testing and the branching program size of boolean functions
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Exact and approximate algorithms for the most connected vertex problem
ACM Transactions on Database Systems (TODS)
Testing the (s,t)-disconnectivity of graphs and digraphs
Theoretical Computer Science
SIAM Journal on Discrete Mathematics
Hi-index | 0.01 |
We consider the problem of testing 3-colorability in the bounded-degree model.We show that, for small enough \varepsilon, every tester for 3-colorability must have query complexity \Omega \text{(n)}. This is the first linear lower bound for testing a natural graph property in the bounded-degree model. An \Omega (\sqrt n ) lower bound was previously known.For one-sided error testers, we also show an \Omega \text{(n)} lower bound for testers that distinguish 3-colorable graphs from graphs that are({\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace} \!\lower0.7ex\hbox{$3$}} - \alpha )- far from 3-colorable, for arbitrarily small \alpha. In contrast a polynomial time algorithm by Frieze and Jerrum distinguishes 3-colorable graphs from graphs that are {1 \mathord{\left/{\vphantom {1 5}} \right.\kern-\nulldelimiterspace} 5}-far from 3-colorable.As a by-product of our techniques, we obtain tight unconditional lower bounds on the approximation ratios achievable by sublinear time algorithms for Max E3SAT, Max E3LIN-2 and other problems.