Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-29T03:09:49.950Z Has data issue: false hasContentIssue false

Intersecting Systems

Published online by Cambridge University Press:  01 June 1997

R. AHLSWEDE
Affiliation:
Fakultät für Mathematik, Universität Bielefeld, P.O. Box 100131, D-33501 Bielefeld 1, Germany
N. ALON
Affiliation:
Department of Mathematics, Raymond and Beverly Sackler Faculty of Exact Sciences, Tel Aviv University, Ramat Aviv, Tel Aviv, Israel (e-mail: noga@math.tau.ac.il)
P. L. ERDŐS
Affiliation:
Mathematical Institute of the Hungarian Academy of Sciences, Budapest, P.O. Box 127, 1364 Hungary (e-mail: elp@math-inst.hu)
M. RUSZINKÓ
Affiliation:
Computer and Automation Research Institute of the Hungarian Academy of Sciences, Budapest, P.O. Box 63, 1518 Hungary (e-mail: ruszinko@lutra.sztaki.hu)
L. A. SZÉKELY
Affiliation:
Department of Computer Science, Eötvös University, Budapest, 1088 Hungary (e-mail: szekely@cs.elte.hu)

Abstract

An intersecting system of type (∃, ∀, k, n) is a collection [ ]={[Fscr ]1, ..., [Fscr ]m} of pairwise disjoint families of k-subsets of an n-element set satisfying the following condition. For every ordered pair [Fscr ]i and [Fscr ]j of distinct members of [ ] there exists an A∈[Fscr ]i that intersects every B∈[Fscr ]j. Let In (∃, ∀, k) denote the maximum possible cardinality of an intersecting system of type (∃, ∀, k, n). Ahlswede, Cai and Zhang conjectured that for every k≥1, there exists an n0(k) so that In (∃, ∀, k)=(n−1/k−1) for all n>n0(k). Here we show that this is true for k≤3, but false for all k≥8. We also prove some related results.

Type
Research Article
Copyright
1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)