Suppose has elements, where , and is a 2-configuration of that is not -separable for any . What is (in terms of ) the smallest number of elements that can have?
Solution
We claim that every pair of elements of must belong to , so that the answer is . Indeed, if and is not in the 2-configuration, then we can assign the other elements of the numbers and assign and both the number , so that is -separable. On the other hand, if every pair of elements of is in the configuration, then cannot be -separable for , since this would require assigning the same number to at least two elements, and then we would have a pair whose elements have the same number.
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.