2025/05/21 by Quintero, Guillermo Gamboa, Kantor, Ida
#05D15 #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics
paper · doi:10.48550/arxiv.2505.15362
A 3-partition of an n-element set V is a triple of pairwise disjoint nonempty subsets X,Y,Z such that V=X∪ Y∪ Z. We determine the minimum size φ3(n) of a set E of triples such that for every 3-partition X,Y,Z of the set \1,…,n\, there is some \x,y,z\∈ E with x∈ X, y∈ Y, and z∈ Z. In particular, φ3(n)=\lceil(n(n-2))/(3)\rceil. For d>3, one may define an analogous number φd(n). We determine the order of magnitude of φd(n), and prove the following upper and lower bounds, for d>3: \frac2 nd-1d! -o(nd-1) ≤ φd(n) ≤ (0.86)/((d-1)!)nd-1+o(nd-1).