Maths Olympiad Prep

Library / /11 of 14

, 2022

Combinatorics Difficulty 8.8 Shortlist Prove it Balkan Mathematical Olympiad

There are 100 positive integer numbers written on a board. At each step, Alex composes 50 fractions using each number written on the board exactly once, brings these fractions to their irreducible form, and then replaces the 100 numbers on the board with the new numerators and denominators to create 100 new numbers. Find the smallest positive integer nn such that regardless of the values of the initial 100 numbers, after nn steps Alex can arrange to have on the board only pairwise coprime numbers.

Solution

Equivalently, we have a graph on 100 vertices and a positive integer written on each vertex. At each step we pick a perfect matching (i.e. a set of disjoint edges covering all vertices) and for each edge of the matching we divide the numbers in its endpoints with their highest common divisor.

If initially the numbers on the vertices are p1,p2,,p99p_1, p_2, \dots, p_{99} and p1p2p99p_1 p_2 \cdots p_{99}, where p1,,p99p_1, \dots, p_{99} are distinct prime numbers, then we need at least 99 steps. This is because the vertex having the number p1p2p99p_1 p_2 \cdots p_{99} needs to be matched with every other vertex and we need 99 steps for this.

We show that 99 steps are enough. For this it is enough to show that K100K_{100} has a 1-factorisation. I.e. we can decompose the edges of the complete graph on 100 vertices into 99 perfect matchings. In general it is a known fact that K2nK_{2n} has a 1-factorisation. For one way to achieve this, write x,x1,,x2n1x, x_1, \dots, x_{2n-1} for the vertices, and for the ii-th matching (1i2n11 \le i \le 2n-1) consider all edges of the form xixsx_i x_s with 1r<s2n11 \le r < s \le 2n-1 and r+simod2n1r+s \equiv i \mod{2n-1} together with the edge xxtx x_t where 2timod2n12t \equiv i \mod{2n-1}.

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 and solution reproduced as published; topic and difficulty added by this site.