Maths Olympiad Prep

Library / /582 of 740

, 2014

Combinatorics Difficulty 5.3 AIME, harder Prove it United States

Problem:
Determine the number of sequences of sets S1,S2,,S999S_{1}, S_{2}, \ldots, S_{999} such that
S1S2S999{1,2,,999} S_{1} \subseteq S_{2} \subseteq \cdots \subseteq S_{999} \subseteq \{1,2, \ldots, 999\}
Here ABA \subseteq B means that all elements of AA are also elements of BB.

Solution

Solution:
10299710^{2997} OR 10009991000^{999} The idea is to look at each element individually, rather than each subset. For each k{1,2,,999}k \in \{1,2, \ldots, 999\}, there are 10001000 choices for the first subset in the chain that contains kk. This count includes the possibility that kk doesn't appear in any of the subsets. If SiS_{i} is the first subset containing kk, for some i{1,2,,999}i \in \{1,2, \ldots, 999\}, then kk is also in SjS_{j}, for all i<j999i<j \leq 999. As a result, picking the first subset that contains kk uniquely determines the appearance of kk in all the subsets. It follows that there are 10009991000^{999} such subset chains.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.