MathDB
Preferred permutations

Source: 2023 IMC #5

August 2, 2023
abstract algebracombinatoricspermutationsprobabilityIMCIMC 2023

Problem Statement

Fix positive integers nn and kk such that 2kn2 \le k \le n and a set MM consisting of nn fruits. A permutation is a sequence x=(x1,x2,,xn)x=(x_1,x_2,\ldots,x_n) such that {x1,,xn}=M\{x_1,\ldots,x_n\}=M. Ivan prefers some (at least one) of these permutations. He realized that for every preferred permutation xx, there exist kk indices i1<i2<<iki_1 < i_2 < \ldots < i_k with the following property: for every 1j<k1 \le j < k, if he swaps xijx_{i_j} and xij+1x_{i_{j+1}}, he obtains another preferred permutation. \\ Prove that he prefers at least k!k! permutations.