Maths Olympiad Prep

Track / Stage 6 / 288 of 400 #1768 of 2444

Problem 1768

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

Let nn and kk be positive integers, with nk+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 AAA \in \mathcal{A} and BBB \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 XAX \in \mathcal{A} and YBY \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)=BAd(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)=AA,BBd(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 minATd(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 AA,BBA \in \mathcal{A}, B \in \mathcal{B} and AB=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 n1n-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 TBT \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 A2|\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 XAX \in \mathcal{A}, let d(X,C)d(X, C) equal YBd(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 n1n-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) minXCd(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 UCU \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, VCV \neq C.
Suppose at this point the countries' distribution into allies is UU and VV. Define XY=XYXY = 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 SUAS - U\mathcal{A}, then
d(UA,SUA)=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 SVBS - 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(SVB,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.