Abstract
Letn, k, t be integers,n>k>t≧0, and letm(n, k, t) denote the maximum number of sets, in a family ofk-subsets of ann-set, no two of which intersect in exactlyt elements. The problem of determiningm(n, k, t) was raised by Erdős in 1975. In the present paper we prove that ifk≦2t+1 andk−t is a prime, thenm(n, k, t)≦( n t )( 2k-t-1 k )/( 2k-t-1 t ). Moreover, equality holds if and only if an (n, 2k−t−1,t)-Steiner system exists. The proof uses a linear algebraic approach.
Similar content being viewed by others
References
P. Erdős, Problems and results in graph theory and combinatorial analysis,Proc. Fifth British Comb. Conf. 1975 Aberdeen, Congressus Numerantium, 15 — Utilitas Math., Winnipeg, 1976.
P. Erdős, C. Ko andR. Rado, Intersection theorems for systems of finite sets,Quart. J. Math. Oxford (2),12 (1961), 313–320.
P. Frankl, On families of finite sets no two of which intersect in a singleton,Bull. Austral. Math. Soc. 17 (1977), 125–134.
P. Frankl, Extremal problems and coverings of the space,European J. Comb. 1 (1980), 101–106.
P. Frankl andZ. Füredi, On families of finite sets no two of which intersect in a given number of elements,J. Comb. Th. (A), to appear.
P. Frankl andR. M. Wilson, Intersection theorems with geometric consequences,Combinatorica 1 (1981), 357–368.
V. Rödl, Almost Steiner systems always exist, to appear.