Abstract
A graph property \(\mathcal{P}\) is said to be testable if one can check whether a graph is close or far from satisfying \(\mathcal{P}\) using few random local inspections. Property \(\mathcal{P}\) is said to be non-deterministically testable if one can supply a “certificate” to the fact that a graph satisfies \(\mathcal{P}\) so that once the certificate is given its correctness can be tested. The notion of non-deterministic testing of graph properties was recently introduced by Lovász and Vesztergombi [9], who proved that (somewhat surprisingly) a graph property is testable if and only if it is non-deterministically testable. Their proof used graph limits, and so it did not supply any explicit bounds. They thus asked if one can obtain a proof of their result which will supply such bounds. We answer their question positively by proving their result using Szemerédi’s regularity lemma.
An interesting aspect of our proof is that it highlights the fact that the regularity lemma can be interpreted as saying that all graphs can be approximated by finitely many “template” graphs.
Similar content being viewed by others
References
N. Alon, E. Fischer, M. Krivelevich and M. Szegedy, Efficient testing of large graphs, Combinatorica 20 (2000), 451–476.
N. Alon, E. Fischer, I. Newman and A. Shapira, A combinatorial charactarization of testable graph properties—it is all about regularity, SIAM Journal on Computing 39 (2009), 143–167.
E. Fischer, The difficulty of testing for isomorphism against a graph that is given in advance, SIAM Journal on Computing 34 (2005), 1147–1158.
E. Fischer and I. Newman, Testing versus estimation of graph properties, SIAM Journal on Computing 37 (2007), 482–501.
O. Goldreich (ed.), Property Testing: Current Research and Suerveys, Lecture Notes in Computer Sience, Vol. 6390, Springer, Berlin, 2010.
O. Goldreich, S. Goldwasser and D. Ron, Property testing and its connection to learning and approximation, Journal of the Association for Computing Machinery 45 (1998), 653–750.
O. Goldreich and L. Trevisan, Three theorems regarding testing graph properties, Random Structures and Algorithms 23 (2003), 23–57.
J. Komlós and M. Simonovits, Szemerédi’s Regularity Lemma and its applications in graph theory, in Combinatorics, Paul Erdős is Eighty, Vol II, Bolyai Society Mathematical Studies, Vol. 2, János Bolyai Mathematical Society, Budapest, 1996, pp. 295–352.
L. Lovász and K. Vesztergombi, Nondeterministic graph property testing, Combinatorics, Probability and Computing 22 (2013), 749–762.
L. Lovász and B. Szegedy, Testing properties of graphs and functions, Israel Journal of Mathematics 178 (2010), 113–156.
R. Rubinfeld and A. Shapira, Sublinear time algorithms, SIAM Journal on Discrete Mathematics 25 (2011), 1562–1588.
E. Szemerédi, Regular partitions of graphs, in Problémes combinatoires et théorie des graphes (Colloq. Internat. CNRS, Univ. Orsay, Orsay, 1976), Colloques Internationaux du Centre National de la Recherche Scientifique, Vol. 260, Centre National de la Recherche Scientifique, Paris, 1978, pp. 399–401.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported in part by ISF Grant 224/11 and a Marie-Curie CIG Grant 303320.
Rights and permissions
About this article
Cite this article
Gishboliner, L., Shapira, A. Deterministic vs non-deterministic graph property testing. Isr. J. Math. 204, 397–416 (2014). https://doi.org/10.1007/s11856-014-1096-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-014-1096-x