Maths Olympiad Prep

Library / /343 of 377

Combinatorics Difficulty 5.7 AIME, harder Prove it United States

Problem:

a.
Let An={a1,a2,a3,,an,b}A_{n} = \{a_{1}, a_{2}, a_{3}, \ldots, a_{n}, b\}, for n3n \geq 3, and let CnC_{n} be the 2-configuration consisting of {ai,ai+1}\{a_{i}, a_{i+1}\} for all 1in11 \leq i \leq n-1, {a1,an}\{a_{1}, a_{n}\}, and {ai,b}\{a_{i}, b\} for 1in1 \leq i \leq n. Let Se(n)S_{e}(n) be the number of subsets of CnC_{n} that are consistent of order ee. Find Se(101)S_{e}(101) for e=1,2e=1,2, and 33.

b.
Let A={V,W,X,Y,Z,v,w,x,y,z}A = \{V, W, X, Y, Z, v, w, x, y, z\}. Find the number of subsets of the 2-configuration
{{V,W},{W,X},{X,Y},{Y,Z},{Z,V},{v,x},{v,y},{w,y},{w,z},{x,z},{V,v},{W,w},{X,x},{Y,y},{Z,z}} \begin{gathered} \{\{V, W\},\{W, X\},\{X, Y\},\{Y, Z\},\{Z, V\},\{v, x\},\{v, y\},\{w, y\},\{w, z\},\{x, z\}, \\ \{V, v\},\{W, w\},\{X, x\},\{Y, y\},\{Z, z\}\} \end{gathered}
that are consistent of order 1.

c.
Let A={a1,b1,a2,b2,,a10,b10}A = \{a_{1}, b_{1}, a_{2}, b_{2}, \ldots, a_{10}, b_{10}\}, and consider the 2-configuration CC consisting of {ai,bi}\{a_{i}, b_{i}\} for all 1i101 \leq i \leq 10, {ai,ai+1}\{a_{i}, a_{i+1}\} for all 1i91 \leq i \leq 9, and {bi,bi+1}\{b_{i}, b_{i+1}\} for all 1i91 \leq i \leq 9. Find the number of subsets of CC that are consistent of order 1.

Solution

Solution:

a.
For convenience, we assume the aia_{i} are indexed modulo 101101, so that ai+1=a1a_{i+1} = a_{1} when ai=a101a_{i} = a_{101}.

In any consistent subset of C101C_{101} of order 11, bb must be paired with exactly one aia_{i}, say a1a_{1}. Then, a2a_{2} cannot be paired with a1a_{1}, so it must be paired with a3a_{3}, and likewise we find we use the pairs {a4,a5},{a6,a7},,{a100,a101}\{a_{4}, a_{5}\}, \{a_{6}, a_{7}\}, \ldots, \{a_{100}, a_{101}\}—and this does give us a consistent subset of order 1. Similarly, pairing bb with any other aia_{i} would give us a unique extension to a consistent configuration of order 1. Thus, we have one such 2-configuration for each ii, giving S1(101)=101S_{1}(101) = 101 altogether.

In a consistent subset of order 22, bb must be paired with two other elements. Suppose one of them is aia_{i}. Then aia_{i} is also paired with either ai1a_{i-1} or ai+1a_{i+1}, say ai+1a_{i+1}. But then ai1a_{i-1} needs to be paired up with two other elements, and aia_{i} is not available, so it must be paired with ai2a_{i-2} and bb. Now bb has its two pairs determined, so nothing else can be paired with bb. Thus, for ji1,ij \neq i-1, i, we have that aja_{j} must be paired with aj1a_{j-1} and aj+1a_{j+1}. So our subset must be of the form
{{b,ai},{ai,ai+1},{ai+1,ai+2},,{a101,a1},,{ai2,ai1},{ai1,b}} \{\{b, a_{i}\}, \{a_{i}, a_{i+1}\}, \{a_{i+1}, a_{i+2}\}, \ldots, \{a_{101}, a_{1}\}, \ldots, \{a_{i-2}, a_{i-1}\}, \{a_{i-1}, b\}\}
for some ii. On the other hand, for any i=1,,101i = 1, \ldots, 101, this gives a subset meeting our requirements. So, we have 101101 possibilities, and S2(101)=101S_{2}(101) = 101.

Finally, in a consistent subset of order 33, each aia_{i} must be paired with ai1,ai+1a_{i-1}, a_{i+1}, and bb. But then bb occurs in 101101 pairs, not just 33, so we have a contradiction. Thus, no such subset exists, so S3(101)=0S_{3}(101) = 0.

b.
No more than two of the pairs {v,x},{v,y},{w,y},{w,z},{x,z}\{v, x\}, \{v, y\}, \{w, y\}, \{w, z\}, \{x, z\} may be included in a 2-configuration of order 1, since otherwise at least one of v,w,x,y,zv, w, x, y, z would occur more than once. If exactly one is included, say {v,x}\{v, x\}, then w,y,zw, y, z must be paired with W,Y,ZW, Y, Z, respectively, and then VV and XX cannot be paired. So either none or exactly two of the five pairs above must be used. If none, then v,w,x,y,zv, w, x, y, z must be paired with V,W,X,Y,ZV, W, X, Y, Z, respectively, and we have 11 2-configuration arising in this manner. If exactly two are used, we can check that there are 55 ways to do this without duplicating an element:
{v,x},{w,y}{v,x},{w,z}{v,y},{w,z}{v,y},{x,z}{w,y},{x,z} \{v, x\},\{w, y\} \quad \{v, x\},\{w, z\} \quad \{v, y\},\{w, z\} \quad \{v, y\},\{x, z\} \quad \{w, y\},\{x, z\}
In each case, it is straightforward to check that there is a unique way of pairing up the remaining elements of AA. So we get 55 2-configurations in this way, and the total is 66.

c.
Let An={a1,b1,a2,b2,,an,bn}A_{n} = \{a_{1}, b_{1}, a_{2}, b_{2}, \ldots, a_{n}, b_{n}\} for n1n \geq 1, and consider the 2-configuration CnC_{n} consisting of {ai,bi}\{a_{i}, b_{i}\} for all 1in1 \leq i \leq n, {ai,ai+1}\{a_{i}, a_{i+1}\} for all 1in11 \leq i \leq n-1, and {bi,bi+1}\{b_{i}, b_{i+1}\} for all 1in11 \leq i \leq n-1. Let NnN_{n} be the number of subsets of CnC_{n} that are consistent of order 1 (call these "matchings" of CnC_{n}). Consider any matching of Cn+2C_{n+2}. Either an+2a_{n+2} is paired with bn+2b_{n+2}, in which case the remaining elements of our matching form a matching of Cn+1C_{n+1}; or an+2a_{n+2} is paired with an+1a_{n+1}, in which case bn+2b_{n+2} must be paired with bn+1b_{n+1}, and the remaining elements form a matching of CnC_{n}. It follows that Nn+2=Nn+1+NnN_{n+2} = N_{n+1} + N_{n}. By direct calculation, N1=1N_{1} = 1 and N2=2N_{2} = 2, and now computing successive values of NnN_{n} using the recurrence yields N10=89N_{10} = 89.

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.