Maths Olympiad Prep

Library / /38 of 46

Combinatorics Difficulty 6.9 National olympiad Prove it Russia

A Kingdom consists of NN cities, some pairs of cities are connected with pairwise non-intersecting roads (two cities connected by a road are called neighboring cities). One can start from each city and get to any other city passing through roads, but it is not possible to get back to the initial city using each road not more than once.
Once the King made a reform: each of NN Mayors became a Mayor of one of NN cities, perhaps not the city where he worked before the reform. It occurs that each two Mayors that worked in the neighboring cities before the reform work in the neighboring cities after the reform. Prove that either there exists a city having the same Mayor before and after the reform, or there exists a neighboring pair of cities which have interchanged their Mayors.

Solution

Применим индукцию по NN. Утверждение задачи очевидно при N=1N=1 и N=2N=2. Пусть Γ1\Gamma_1 — множество городов, из которых исходит одна дорога, а Γ\Gamma — множество остальных городов. Начав движение по различным дорогам из некоторого города, согласно условию, мы не сможем попасть дважды в один и тот же город, поэтому когда-нибудь мы закончим движение в городе из множества Γ1\Gamma_1. Это означает, что множество Γ1\Gamma_1 непусто. Ясно, что при N3N \ge 3 множество Γ\Gamma непусто, и в нем меньше, чем NN городов.

Назовем значимостью мэра количество городов, соседних с городом, где он работает. По условию значимость каждого мэра после реформы не уменьшилась. В частности, мэр города, принадлежащего множеству Γ\Gamma, после реформы стал мэром некоторого города из множества Γ\Gamma, то есть в результате реформы в городах множества Γ\Gamma тоже произошла перестановка мэров. Ясно, что из любого города AΓA \in \Gamma можно доехать до любого другого города BΓB \in \Gamma, не заезжая в города множества Γ1\Gamma_1.

Поэтому множество городов Γ\Gamma и реформа, рассмотренная только на городах из Γ\Gamma, удовлетворяет условию задачи. Применив предположение индукции, получаем, что в множестве Γ\Gamma либо найдется город, в котором мэр после реформы не поменялся, либо найдется пара соседних городов, обменявшихся мэрами, что и требовалось.

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.