MathDB
5 non-empty disjoint sets

Source: Vietnam TST 1991 for the 32nd IMO, problem 6

June 25, 2005
graph theorycombinatorics unsolvedcombinatorics

Problem Statement

Let a set XX be given which consists of 2n2 \cdot n distinct real numbers (n3n \geq 3). Consider a set KK consisting of some pairs (x,y)(x, y) of distinct numbers x,yXx, y \in X, satisfying the two conditions: I. If (x,y)K(x, y) \in K then (y,x)∉K(y, x) \not \in K. II. Every number xXx \in X belongs to at most 19 pairs of KK. Show that we can divide the set XX into 5 non-empty disjoint sets X1,X2,X3,X4,X5X_1, X_2, X_3, X_4, X_5 in such a way that for each i=1,2,3,4,5i = 1, 2, 3, 4, 5 the number of pairs (x,y)K(x, y) \in K where x,yx, y both belong to XiX_i is not greater than 3n3 \cdot n.