Olympiad Maths Prep

Track / Stage 7 / 34 of 300 #1434 of 2000

Problem 1434

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.0 Prove it

Let n2n \geq 2 be a natural number. For any two permutations of (1,2,,n)(1,2,\cdots,n), say α=(a1,a2,,an)\alpha = (a_1,a_2,\cdots,a_n) and β=(b1,b2,,bn),\beta = (b_1,b_2,\cdots,b_n), if there exists a natural number knk \leq n such that
bi={ak+1i, 1ik;ai,k<in,b_i = \begin{cases} a_{k+1-i}, & \text{ }1 \leq i \leq k; \\ a_i, & \text{} k < i \leq n, \end{cases}
we call α\alpha a friendly permutation of β\beta.

Prove that it is possible to enumerate all possible permutations of (1,2,,n)(1,2,\cdots,n) as P1,P2,,PmP_1,P_2,\cdots,P_m such that for all i=1,2,,mi = 1,2,\cdots,m, Pi+1P_{i+1} is a friendly permutation of PiP_i where m=n!m = n! and Pm+1=P1P_{m+1} = P_1.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. **Base Case: n=2 n = 2 **

For n=2 n = 2 , we have the permutations (1,2) (1, 2) and (2,1) (2, 1) . Clearly, (2,1) (2, 1) is a friendly permutation of (1,2) (1, 2) by reversing the first 2 elements. Thus, the base case holds.

2. Inductive Step:

Assume the statement is true for some n n . That is, we can enumerate all permutations of (1,2,,n) (1, 2, \ldots, n) as P1,P2,,Pn! P_1, P_2, \ldots, P_{n!} such that Pi+1 P_{i+1} is a friendly permutation of Pi P_i for all i=1,2,,n! i = 1, 2, \ldots, n! , and Pn!+1=P1 P_{n!+1} = P_1 .

3. **Constructing the Sequence for n+1 n+1 :**

Start with P1=(1,2,,n,n+1) P_1 = (1, 2, \ldots, n, n+1) . By the inductive hypothesis, we can generate a sequence of friendly permutations up to Pn!=(n,n1,,2,1,n+1) P_{n!} = (n, n-1, \ldots, 2, 1, n+1) .

4. Algorithm for Generating Friendly Permutations:

- If cn!=j c \cdot n! = j for some positive integer cn+1 c \leq n+1 , reverse the sequence of Pj P_j to get Pj+1 P_{j+1} .
- Turn Pj+1 P_{j+1} into Pj+n! P_{j+n!} by reversing the first n n terms of Pj+1 P_{j+1} and fixing the last term. All Pi P_i for j+1ij+n! j+1 \leq i \leq j+n! are distinct by the inductive hypothesis.

5. **Generating (n+1)! (n+1)! Permutations:**

Each time we apply the algorithm, we take the string of numbers (n+1c,nc,,2,1,n+1,n,,n+2c) (n+1-c, n-c, \ldots, 2, 1, n+1, n, \ldots, n+2-c) and produce (n+2c,n+3c,,n,n+1,1,2,,nc,n+1c) (n+2-c, n+3-c, \ldots, n, n+1, 1, 2, \ldots, n-c, n+1-c) . This process will generate (n+1)! (n+1)! distinct permutations.

6. Completing the Induction:

By induction, we have shown that for any n n , we can enumerate all permutations of (1,2,,n) (1, 2, \ldots, n) such that Pi+1 P_{i+1} is a friendly permutation of Pi P_i for all i=1,2,,n! i = 1, 2, \ldots, n! , and Pn!+1=P1 P_{n!+1} = P_1 .

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.