MathDB
1988 USAMO Problem 3

Source:

July 27, 2011
USA(J)MOUSAMOpigeonhole principleceiling functionfunctionboolean lattice method

Problem Statement

A function f(S)f(S) assigns to each nine-element subset of SS of the set {1,2,,20}\{1,2,\ldots, 20\} a whole number from 11 to 2020. Prove that regardless of how the function ff is chosen, there will be a ten-element subset T{1,2,,20}T\subset\{1,2,\ldots, 20\} such that f(T{k})kf(T - \{k\})\neq k for all kTk\in T.