Let and be positive integers, with . There are countries on a planet, with some pairs of countries establishing diplomatic relation between them, such that each country has diplomatic relation with at least other countries. An evil villain wants to divide the countries, so he executes the following plan:
(1) First, he selects two countries and , and let them lead two allies, and , respectively (so that and ).
(2) Each other country individually decides whether it wants to join ally or .
(3) After all countries made their decisions, for any two countries with and , eliminate any diplomatic relation between them.
Prove that, regardless of how the initial diplomatic relations among the countries, the villain can always select two countries and so that, no matter how the countries choose their allies, there are at least diplomatic relations be eliminated.
Problem 1768
Official solution
Let us form a complete graph on the vertex set of countries, and for each edge , assign it a nonnegative integer value . For each vertex , let . For any two vertex sets and , let . Let be a vertex with the minimum . We shall prove the following strengthened proposition:
If , then there exist and such that for all vertex sets and satisfying and , we have .
We prove this strengthened proposition by mathematical induction. When , it is easy to see that regardless of whether , as long as the villain chooses two countries other than , the goal can be achieved.
Now suppose the proposition holds for all values from 3 to . Then when there are countries, choose two countries and other than . Given and , suppose the division of countries that minimizes is and , and without loss of generality assume . Suppose the villain has not yet achieved his goal at this point, which means . If at this point , then since , we would have , a contradiction, so .
Let us merge all the countries in into one large country , and in the new graph, for all , let equal from the old graph. Then after merging the countries:
(i) the total number of countries is at most (since );
(ii) has the minimum diplomatic relations (since we know );
(iii) .
Therefore, by the induction hypothesis, we can find two countries and such that the villain achieves his goal. Note that , otherwise, as long as all countries join the same ally as , we would have , a contradiction. Similarly, .
Suppose at this point the countries' distribution into allies is and . Define , then we have
By the induction hypothesis, we know that if the countries are divided into and , then
Moreover, based on the fact that and is also one way for the countries to be divided into allies when and are chosen, by the minimality of we know
that is
Combining (1)-(3), we have
and thus the proposition is proved.