Maths Olympiad Prep

Library / /129 of 135

Combinatorics Difficulty 7.8 National Olympiad, round 2 Find the answer

Let nn be a nonnegative integer. Determine the number of ways that one can choose (n+1)2(n+1)^2 sets Si,j{1,2,,2n}S_{i,j}\subseteq\{1,2,\ldots,2n\} , for integers i,ji,j with 0i,jn0\leq i,j\leq n , such that:
\bullet for all 0i,jn0\leq i,j\leq n , the set Si,jS_{i,j} has i+ji+j elements; and
\bullet Si,jSk,lS_{i,j}\subseteq S_{k,l} whenever 0ikn0\leq i\leq k\leq n and 0jln0\leq j\leq l\leq n .

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Note that there are (2n)!(2n)! ways to choose S1,0,S2,0...Sn,0,Sn,1,Sn,2...Sn,nS_{1, 0}, S_{2, 0}... S_{n, 0}, S_{n, 1}, S_{n, 2}... S_{n, n} , because there are 2n2n ways to choose which number S1,0S_{1, 0} is, 2n12n-1 ways to choose which number to append to make S2,0S_{2, 0} , 2n22n-2 ways to choose which number to append to make S3,0S_{3, 0} , etc. After that, note that Sn1,1S_{n-1, 1} contains the n1n-1 in Sn1,0S_{n-1, 0} and 1 other element chosen from the 2 elements in Sn,1S_{n, 1} not in Sn1,0S_{n-1, 0} so there are 2 ways for Sn1,1S_{n-1, 1} . By the same logic there are 2 ways for Sn1,2S_{n-1, 2} as well so 2n2^n total ways for all Sn1,jS_{n-1, j} , so doing the same thing n1n-1 more times yields a final answer of (2n)!2(n2)(2n)!\cdot 2^{\left(n^2\right)} .
-Stormersyle

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.