Maths Olympiad Prep

Library / /19 of 57

Combinatorics Difficulty 6.3 National olympiad Prove it Russia

In a country, there are nn cities; some pairs of them are connected with two-way direct flights. There is a unique (perhaps, non-direct) route between every two cities. The mayor of each city XX found the number f(X)f(X) of the enumerations of all cities by 1,2,,n1, 2, \ldots, n such that along each route starting at XX, the city numbers increase. All the mayors except one noticed that their resulting numbers are all divisible by 20162016. Prove that the remaining mayor's number is also divisible by 20162016.
(F. Petrov)

В стране есть n>1n > 1 городов, некоторые пары городов соединены двусторопшими беспосадочными авиарейсами. При этом между любыми двумя городами существует единственный авиамаршрут (возможно, с пересадками). Мэр каждого города XX подсчитал количество таких нумераций всех городов числами от 11 до nn, что на любом авиамаршруте, начинающемся в XX, номера городов идут в порядке возрастания. Все мэры, кроме одного, заметили, что их результаты подсчётов делятся на 20162016. Докажите, что и у оставшегося мэра результат также делится на 20162016.
(Ф. Петров)

Solutions — 2

Solution 1

Choose an arbitrary capital AA. Say that a city CC is even (resp., odd) if the route from AA to CC contains an even (resp., odd) number of flights. It suffices to prove that the sum of mayors' numbers in odd cities is equal to the sum of those in even cities. This claim can be proved by means of a bijection of the corresponding sets of enumerations; this bijection merely swaps 11 and 22.

Solution 2

Назовём какой-нибудь город AA столицей. Назовём город чётным, если маршрут из AA до него содержит чётное число рейсов, и нечётным иначе. Тогда чётность любых двух городов, соединённых рейсом, различна. Мы докажем, что сумма чисел, полученных мэрами чётных городов, равна сумме чисел, полученных мэрами нечётных; из этого следует утверждение задачи.

Назовём нумерацию городов подходящей для города XX, если мэр города XX её посчитал. Ясно, что в любой нумерации, подходящей городу XX, он имеет номер 11, так что каждая нумерация подходит не более, чем одному городу.

Рассмотрим любую нумерацию, подходящую чётному городу EE. Пусть номер 22 в ней носит город WW; тогда WW — нечётный город, соединённый с EE, иначе на маршруте от EE до WW встретился бы город с большим номером. Поменяем местами номера 11 и 22; мы получим нумерацию, в которой номер 11 носит нечётный город WW.

Рассмотрим любой маршрут mm, начинающийся в WW. Он получается из некоторого маршрута, выходящего из EE, либо добавлением города WW в начало (если mm проходит через EE), либо откидыванием EE из начала (в противном случае). Тогда легко видеть, что после обмена 11 и 22 номера на mm идут в порядке возрастания.

Итак, после перемены номеров 11 и 22 из нумерации, подходящей для чётного города, получается нумерация, подходящая для нечётного (и наоборот). Это сопоставление взаимно однозначно. Значит, тех и других нумераций поровну, что и требовалось доказать.

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.