Efficient Testing of Hypergraphs

  • Authors:
  • Yoshiharu Kohayakawa;Brendan Nagle;Vojtech Rödl

  • Affiliations:
  • -;-;-

  • Venue:
  • ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 驴n3 (驴 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 n 驴 n0(驴,F). Our approach is inspired in [2,3], but the main ingredients are recent hypergraph regularity lemmas and counting lemmas for 3-graphs.