Efficient Testing of Hypergraphs

Extended Abstract
  • Yoshiharu Kohayakawa
  • Brendan Nagle
  • Vojtěch Rödl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2380)


We investigate a basic problem in combinatorial property testing, in the sense of Goldreich, Goldwasser, and Ron [9,10], in the context of 3-uniform hypergraphs, or 3-graphs for short. As customary, a 3-graph F is simply a collection of 3-element sets. Let Forbind(n, F) be the family of all 3-graphs on n vertices that contain no copy of F as an induced subhypergraph. We show that the property “H ∈ Forbind(n, F)” is testable, for any 3-graph F. In fact, this is a consequence of a new, basic combinatorial lemma, which extends to 3-graphs a result for graphs due to Alon, Fischer, Krivelevich, and Szegedy [2,3].

Indeed, we prove that if more than ξn 3 (V > 0) triples must be added or deleted from a 3-graph H on n vertices to destroy all induced copies of F, then H must contain ≥ cn |V(F)| induced copies of F, as long as nn 0(ξ, F). Our approach is inspired in [2,3], but the main ingredients are recent hypergraph regularity lemmas and counting lemmas for 3-graphs.


Bipartite Graph Triple System Arithmetic Progression Property Testing Large Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    N. Alon, R. A. Duke, H. Lefmann, V. Rödl, and R. Yuster, The algorithmic aspects of the regularity lemma, J. Algorithms 16 (1994), no. 1, 80–109.zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    N. Alon, E. Fischer, M. Krivelevich, and M. Szegedy, Efficient testing of large graphs (extended abstract), 40th Annual Symposium on Foundations of Computer Science (New York City, NY), IEEE Comput. Soc. Press, 1999, pp. 656–666.Google Scholar
  3. 3.
    -, Efficient testing of large graphs, Combinatorica 20 (2000), no. 4, 451–476.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Noga Alon, Testing subgraphs in large graphs, Proceedings of the 42nd IEEE Annual Symposium on Foundations of Computer Science (FOCS 2001), 2001, pp. 434–439.Google Scholar
  5. 5.
    J. Bourgain, On triples in arithmetic progression, Geom. Funct. Anal. 9 (1999), no. 5, 968–984.zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    A. Czumaj and C. Sohler, Testing hypergraph coloring, Proc. of ICALP, 2001, pp. 493–505.Google Scholar
  7. 7.
    Peter Frankl and Vojtěch Rödl, Extremal problems on set systems, Random Structures and Algorithms 20 (2002), no. 2, 131–164.zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Harry Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. Analyse Math. 31 (1977), 204–256.zbMATHMathSciNetCrossRefGoogle Scholar
  9. 9.
    Oded Goldreich, Shafi Goldwasser, and Dana Ron, Property testing and its connection to learning and approximation, 37th Annual Symposium on Foundations of Computer Science (Burlington, VT, 1996), IEEE Comput. Soc. Press, Los Alamitos, CA, 1996, pp. 339–348.Google Scholar
  10. 10.
    -, Property testing and its connection to learning and approximation, Journal of the Association for Computing Machinery 45 (1998), no. 4, 653–750.zbMATHMathSciNetGoogle Scholar
  11. 11.
    W. T. Gowers, A new proof of Szemerédi’s theorem for arithmetic progressions of length four, Geom. Funct. Anal. 8 (1998), no. 3, 529–551.zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    -, A new proof of Szemerédi’s theorem, Geom. Funct. Anal. 11 (2001), no. 3, 465–588.Google Scholar
  13. 13.
    Y. Kohayakawa, B. Nagle, and V. Rödl, Testing hypergraphs, In preparation, 2002.Google Scholar
  14. 14.
    Brendan Nagle and Vojtěch Rödl, Regularity properties for triple systems, Random Structures & Algorithms (2002), to appear.Google Scholar
  15. 15.
    Vojtečh Rödl and Jozef Skokan, Uniformity of set systems, manuscript, 2001.Google Scholar
  16. 16.
    Dana Ron, Property testing, Handbook of randomized algorithms (P. M. Pardalos, S. Rajasekaran, J. Reif, and J. D. P. Rolim, eds.), Kluwer Academic Publishers, 2001, to appear.Google Scholar
  17. 17.
    K. F. Roth, On certain sets of integers, Journal of the London Mathematical Society 28 (1953), 104–109.zbMATHCrossRefGoogle Scholar
  18. 18.
    -, Irregularities of sequences relative to arithmetic progressions. IV, Period. Math. Hungar. 2 (1972), 301–326, Collection of articles dedicated to the memory of Alfréd Rényi, I.zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    I. Z. Ruzsa and E. Szemerédi, Triple systems with no six points carrying three triangles, Combinatorics (Proceedings of the Fifth Hungarian Colloquium, Keszthely, 1976), Vol. II (Amsterdam-New York), Colloq. Math. Soc. János Bolyai, no. 18, North-Holland, 1978, pp. 939–945.Google Scholar
  20. 20.
    E. Szemerédi, On sets of integers containing no four elements in arithmetic progression, Acta Mathematica Academiae Scientiarum Hungaricae 20 (1969), 89–104.zbMATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    -, On sets of integers containing no k elements in arithmetic progression, Acta Arithmetica 27 (1975), 199–245, collection of articles in memory of Jurii Vladimirovič Linnik.zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Yoshiharu Kohayakawa
    • 1
  • Brendan Nagle
    • 2
    • 3
  • Vojtěch Rödl
    • 4
  1. 1.Instituto de Matemática e EstatísticaUniversidade de São PauloSão PauloBrazil
  2. 2.School of MathematicsGeorgia Institute of TechnologyAtlantaUSA
  3. 3.Department of MathematicsUniversity of NevadaRenoUSA
  4. 4.Department of Mathematics and Computer ScienceEmory UniversityAtlantaUSA

Personalised recommendations