A hypergraph consists of a vertex set together with a family of subsets of , which are called the edges of . A -uniform hypergraph, or -graph, for short, is a hypergraph whose edge set consists of -subsets of . A graph is just a special case of an -graph with .
By considering the lines of a finite geometry, the following upper bound can be easily obtained:
Erds and Lovász [2] proved that
Kahn [3] showed that
. For the lower bound for , Dow et al [1] proved that for .
-
- 1
- S. J. Dow, D. A. Drake, Z. Füredi and J. A. Larson. A lower bound for the cardinality of a maximal family of mutually
intersecting sets of equal size. Proceedings of the sixteenth Southeastern International Conference on Combinatorics, Graph Theory and Computing, Congr. Numer. 48 (1985), 47-48.
- 2
-
P. Erds and L. Lovász, Problems and results on 3-chromatic
hypergraphs and some related questions,
Infinite and finite sets (Colloq., Keszthely,
1973; dedicated to P. Erds on his 60th birthday), Vol. I; Colloq.
Math. Soc. János Bolyai, Vol. 10, 609-627, North-Holland,
Amsterdam, 1975.
- 3
-
J. Kahn, On a problem of Erds and Lovász: random lines in a
projective plane, Combinatorica 12 (1992), 417-423.