Maths Olympiad Prep

Track / Stage 6 / 288 of 400 #1928 of 2604

Problem 1928

National Olympiad, first round
Combinatorics Difficulty 6.7 Prove it Taiwan IMO Selection Camp · Taiwan · 2021

Let nn and kk be positive integers, with n≥k+1n \ge k + 1. There are nn countries on a planet, with some pairs of countries establishing diplomatic relation between them, such that each country has diplomatic relation with at least kk other countries. An evil villain wants to divide the countries, so he executes the following plan:
(1) First, he selects two countries AA and BB, and let them lead two allies, A\mathcal{A} and B\mathcal{B}, respectively (so that A∈AA \in \mathcal{A} and B∈BB \in \mathcal{B}).
(2) Each other country individually decides whether it wants to join ally A\mathcal{A} or B\mathcal{B}.
(3) After all countries made their decisions, for any two countries with X∈AX \in \mathcal{A} and Y∈BY \in \mathcal{B}, 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 AA and BB so that, no matter how the countries choose their allies, there are at least kk diplomatic relations be eliminated.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let us form a complete graph on the vertex set SS of countries, and for each edge ABAB, assign it a nonnegative integer value d(A,B)d(A, B). For each vertex AA, let d(A)=∑B≠Ad(A,B)d(A) = \sum_{B \neq A} d(A, B). For any two vertex sets A\mathcal{A} and B\mathcal{B}, let d(A,B)=∑A∈A,B∈Bd(A,B)d(\mathcal{A}, \mathcal{B}) = \sum_{A \in \mathcal{A}, B \in \mathcal{B}} d(A, B). Let TT be a vertex with the minimum d(T)d(T). We shall prove the following strengthened proposition:
If min⁡A≠Td(A)≥k\min_{A \neq T} d(A) \ge k, then there exist AA and BB such that for all vertex sets A\mathcal{A} and B\mathcal{B} satisfying A∈A,B∈BA \in \mathcal{A}, B \in \mathcal{B} and A∪B=S\mathcal{A} \cup \mathcal{B} = S, we have d(A,B)≥kd(\mathcal{A}, \mathcal{B}) \ge k.
We prove this strengthened proposition by mathematical induction. When n=3n=3, it is easy to see that regardless of whether k=0,1,2k=0,1,2, as long as the villain chooses two countries other than TT, the goal can be achieved.
Now suppose the proposition holds for all values from 3 to n−1n-1. Then when there are nn countries, choose two countries AA and BB other than TT. Given AA and BB, suppose the division of countries that minimizes d(A,B)d(\mathcal{A}, \mathcal{B}) is A\mathcal{A} and B\mathcal{B}, and without loss of generality assume T∈BT \in \mathcal{B}. Suppose the villain has not yet achieved his goal at this point, which means d(A,B)<kd(\mathcal{A}, \mathcal{B}) < k. If at this point A={A}\mathcal{A} = \{A\}, then since d(A)≥kd(A) \ge k, we would have d(A,B)=d(A)≥kd(\mathcal{A}, \mathcal{B}) = d(A) \ge k, a contradiction, so ∣A∣≥2|\mathcal{A}| \ge 2.
Let us merge all the countries in B\mathcal{B} into one large country CC, and in the new graph, for all X∈AX \in \mathcal{A}, let d(X,C)d(X, C) equal ∑Y∈Bd(X,Y)\sum_{Y \in \mathcal{B}} d(X, Y) from the old graph. Then after merging the countries:
(i) the total number of countries is at most n−1n-1 (since {B,T}⊂B\{B, T\} \subset \mathcal{B});
(ii) CC has the minimum diplomatic relations (since we know d(A,B)<kd(\mathcal{A}, \mathcal{B}) < k);
(iii) min⁡X≠Cd(X)≥k\min_{X \neq C} d(X) \ge k.

Therefore, by the induction hypothesis, we can find two countries UU and VV such that the villain achieves his goal. Note that U≠CU \neq C, otherwise, as long as all countries join the same ally as UU, we would have d(U,C)=d(C)<kd(U, C) = d(C) < k, a contradiction. Similarly, V≠CV \neq C.
Suppose at this point the countries' distribution into allies is UU and VV. Define XY=X∩YXY = X \cap Y, then we have
d(U,V)=d(UA,VA)+d(UA,VB)+d(UB,VA)+d(UB,VB).(1) d(U, V) = d(U\mathcal{A}, V\mathcal{A}) + d(U\mathcal{A}, V\mathcal{B}) + d(U\mathcal{B}, V\mathcal{A}) + d(U\mathcal{B}, V\mathcal{B}). \quad (1)
By the induction hypothesis, we know that if the countries are divided into UAU\mathcal{A} and S−UAS - U\mathcal{A}, then
d(UA,S−UA)=d(UA,UB)+d(UA,VA)+d(UA,VB)≥k.(2) d(U\mathcal{A}, S - U\mathcal{A}) = d(U\mathcal{A}, U\mathcal{B}) + d(U\mathcal{A}, V\mathcal{A}) + d(U\mathcal{A}, V\mathcal{B}) \geq k. \quad (2)
Moreover, based on the fact that S−VBS - V\mathcal{B} and VBV\mathcal{B} is also one way for the countries to be divided into allies when AA and BB are chosen, by the minimality of d(A,B)d(\mathcal{A}, \mathcal{B}) we know
d(UA,VB)+d(VA,VB)+d(UB,VB)=d(S−VB,VB)≥d(A,B)=d(AU,BU)+d(AV,BU)+d(AU,BV)+d(AV,BV), \begin{aligned} d(U\mathcal{A}, V\mathcal{B}) + d(V\mathcal{A}, V\mathcal{B}) + d(U\mathcal{B}, V\mathcal{B}) &= d(S - V\mathcal{B}, V\mathcal{B}) \geq d(\mathcal{A}, \mathcal{B}) \\ &= d(\mathcal{A}U, BU) + d(\mathcal{A}V, BU) + d(\mathcal{A}U, BV) + d(\mathcal{A}V, BV), \end{aligned}
that is
d(UB,VB)≥d(UA,UB)+d(UB,VA).(3) d(U\mathcal{B}, V\mathcal{B}) \geq d(U\mathcal{A}, U\mathcal{B}) + d(U\mathcal{B}, V\mathcal{A}). \quad (3)
Combining (1)-(3), we have
d(U,V)=d(UA,VA)+d(UA,VB)+d(UB,VA)+d(UB,VB)≥d(UA,VA)+d(UA,VB)+d(UB,VA)+{d(UA,UB)+d(UB,VA)}={d(UA,UB)+d(UA,VA)+d(UA,VB)}+2×d(UB,VA)≥k, \begin{aligned} d(U, V) &= d(U\mathcal{A}, V\mathcal{A}) + d(U\mathcal{A}, V\mathcal{B}) + d(U\mathcal{B}, V\mathcal{A}) + d(U\mathcal{B}, V\mathcal{B}) \\ &\geq d(U\mathcal{A}, V\mathcal{A}) + d(U\mathcal{A}, V\mathcal{B}) + d(U\mathcal{B}, V\mathcal{A}) + \{d(U\mathcal{A}, U\mathcal{B}) + d(U\mathcal{B}, V\mathcal{A})\} \\ &= \{d(U\mathcal{A}, U\mathcal{B}) + d(U\mathcal{A}, V\mathcal{A}) + d(U\mathcal{A}, V\mathcal{B})\} + 2 \times d(U\mathcal{B}, V\mathcal{A}) \geq k, \end{aligned}
and thus the proposition is proved.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty, ordering) added by this project.