Maths Olympiad Prep

Library / /116 of 133

, 2015

Combinatorics Difficulty 6.8 National olympiad Prove it Saudi Arabia

Given 2015 subsets A1,A2,,A2015A_{1}, A_{2}, \ldots, A_{2015} of the set {1,2,,1000}\{1,2, \ldots, 1000\} such that Ai2|A_{i}| \geq 2 for every i1i \geq 1 and AiAj1|A_{i} \cap A_{j}| \geq 1 for every 1i<j20151 \leq i < j \leq 2015. Prove that k=3k=3 is the smallest number of colors such that we can always color the elements of the set {1,2,,1000}\{1,2, \ldots, 1000\} by kk colors with the property that the subset AiA_{i} has at least two elements of different colors for every i1i \geq 1.

Solution

Consider the collection: A1={1,2}A_{1} = \{1,2\}, A2={2,3}A_{2} = \{2,3\}, A3={1,3}A_{3} = \{1,3\}, A4,,A2015A_{4}, \ldots, A_{2015} be any 2011 subsets of {1,2,,1000}\{1,2, \ldots, 1000\} that contain all 1,2,31,2,3. One can check that this collection satisfies the given condition. For any 22-coloring of the set {1,2,,1000}\{1,2, \ldots, 1000\}, at least one of A1,A2,A3A_{1}, A_{2}, A_{3} will contain two elements of the same color. Hence, we need more than 2 colors.

Now we show that we always can color {1,2,,1000}\{1,2, \ldots, 1000\} by 3 colors such that the set AiA_{i} contains at least two elements of different color for all ii. We choose a set Ai0A_{i_{0}} with least number of elements. We color one element of Ai0A_{i_{0}} by red and all the rest by blue. We color by green all the elements {1,2,,1000}\{1,2, \ldots, 1000\} which do not belong to Ai0A_{i_{0}}. It is clear that Ai0A_{i_{0}} contains two elements of different color. For any subset AiA_{i} with ii0i \neq i_{0}, AiAi01|A_{i} \cap A_{i_{0}}| \geq 1 so AiA_{i} contains at least one red or blue color element. Moreover, because AiAi0|A_{i}| \geq |A_{i_{0}}|, either AiA_{i} contains another element of Ai0A_{i_{0}} with the other color or contains a green element. Hence, the subset AiA_{i} contains two elements of different color.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.