A Kingdom consists of 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 Mayors became a Mayor of one of 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
Применим индукцию по . Утверждение задачи очевидно при и . Пусть — множество городов, из которых исходит одна дорога, а — множество остальных городов. Начав движение по различным дорогам из некоторого города, согласно условию, мы не сможем попасть дважды в один и тот же город, поэтому когда-нибудь мы закончим движение в городе из множества . Это означает, что множество непусто. Ясно, что при множество непусто, и в нем меньше, чем городов.
Назовем значимостью мэра количество городов, соседних с городом, где он работает. По условию значимость каждого мэра после реформы не уменьшилась. В частности, мэр города, принадлежащего множеству , после реформы стал мэром некоторого города из множества , то есть в результате реформы в городах множества тоже произошла перестановка мэров. Ясно, что из любого города можно доехать до любого другого города , не заезжая в города множества .
Поэтому множество городов и реформа, рассмотренная только на городах из , удовлетворяет условию задачи. Применив предположение индукции, получаем, что в множестве либо найдется город, в котором мэр после реформы не поменялся, либо найдется пара соседних городов, обменявшихся мэрами, что и требовалось.