Maths Olympiad Prep

Library / /42 of 52

Combinatorics Difficulty 8.6 Shortlist Prove it Romania

Let nn be a positive integer, and let WW be the set of all words of length 3n3n containing each of the letters a,b,ca, b, c exactly nn times. Prove that for any word ww in WW there exists a word ww' in WW that cannot be obtained from ww by less than 3n2/23n^2/2 successive transpositions of adjacent letters.
IMO 2017 Shortlist

Solution

For convenience, a transposition of two adjacent letters in a word will be referred to as a swap. Notice that swapping identical letters does not change a word, so assume that no swaps are performed.

Define the distance dist(w,w)\text{dist}(w, w') of two words ww and ww' in WW to be the minimal number of swaps required to transform ww into ww' (or vice versa). Clearly, if ww'' is another word in WW, then dist(w,w)+dist(w,w)dist(w,w)\text{dist}(w, w') + \text{dist}(w, w'') \ge \text{dist}(w', w''). Consequently, if dist(w,w)3n2\text{dist}(w', w'') \ge 3n^2, then max(dist(w,w),dist(w,w))3n2/2\max(\text{dist}(w, w'), \text{dist}(w, w'')) \ge 3n^2/2, so it is sufficient to exhibit two words in WW at least 3n23n^2 distance apart.

We are presently going to show that the words
w0=aaanbbbncccnandw0=cccnbbbnaaan w_0 = \underbrace{aa\dots a}_{n} \underbrace{bb\dots b}_{n} \underbrace{cc\dots c}_{n} \quad \text{and} \quad w'_0 = \underbrace{cc\dots c}_{n} \underbrace{bb\dots b}_{n} \underbrace{aa\dots a}_{n}
are at least 3n23n^2 distance apart.

For any word ww in WW and any pair of distinct letters α\alpha and β\beta in the alphabet {a,b,c}\{a, b, c\}, let fα,β(w)f_{\alpha,\beta}(w) be the number of pairs of positions in ww with α\alpha in the left position and β\beta in the right. Let f(w)=fa,b(w)+fa,c(w)+fb,c(w)f(w) = f_{a,b}(w) + f_{a,c}(w) + f_{b,c}(w).

In particular, fa,b(w0)=fa,c(w0)=fb,c(w0)=n2f_{a,b}(w_0) = f_{a,c}(w_0) = f_{b,c}(w_0) = n^2 and fa,b(w0)=fa,c(w0)=fb,c(w0)=0f_{a,b}(w'_0) = f_{a,c}(w'_0) = f_{b,c}(w'_0) = 0, so f(w0)=3n2f(w_0) = 3n^2 and f(w0)=0f(w'_0) = 0.

Finally, notice that a swap changes exactly one of fa,bf_{a,b}, fa,cf_{a,c}, fb,cf_{b,c}, the absolute value of the change being 1. Consequently, ff changes by 1 at each swap, so dist(w,w)f(w)f(w)\text{dist}(w, w') \ge |f(w) - f(w')|, whatever words ww and ww' in WW. In particular, dist(w0,w0)f(w0)f(w0)=3n2\text{dist}(w_0, w'_0) \ge |f(w_0) - f(w'_0)| = 3n^2, as claimed.

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.