Maths Olympiad Prep

Track / Stage 8 / 10 of 180 #2190 of 2444

Problem 2190

IMO Shortlist mid-range; USAMO P2/P5
Combinatorics Difficulty 8.0 Prove it Turkey — Team Selection Test · Turkey

Find the largest possible value of kk, if in every graph on 20222022 vertices having no cycles, it is always possible to choose kk vertices such that any chosen vertex is adjacent to at most two chosen vertices.

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

Answer: 1517.
Consider a graph on nn vertices having no cycles. By induction over nn, we will show that the maximum possible value of kk is 3n/4\lfloor 3n/4 \rfloor.

It can be readily shown that the claim holds for n4n \le 4. Let GG be an acyclic graph on n5n \ge 5 vertices. Assume that the claim holds for all values not exceeding n1n-1. If GG is disconnected, then the result follows by applying the induction hypothesis to each connected component. Hence we can assume that GG is a tree. There is a unique path between any pair of vertices in a tree. For any x,yV(G)x, y \in V(G), let dist(x,y)dist(x, y) be the length of the path between xx and yy.

Pick a vertex rr in GG, and partition the vertices of GG with respect to their distances to rr, i.e. let At={vV(G):dist(v,r)=t}A_t = \{v \in V(G) : dist(v, r) = t\}. It can be easily observed that any vAtv \in A_t has exactly one neighbour in At1A_{t-1}. Let m=maxt0{t:At}m = \max_{t \ge 0}\{t : A_t \ne \emptyset\}, and pick vAmv \in A_m. If m=1m = 1, then we can choose all the vertices except rr, which completes the proof since n13n/4n-1 \ge \lfloor 3n/4 \rfloor. Assume m2m \ge 2, denote the unique neighbour of vv in Am1A_{m-1} by ww, and denote the unique neighbour of ww in Am2A_{m-2} by xx.

If deg(w)=2\deg(w) = 2, then we can choose 3(n3)/4\lceil 3(n-3)/4 \rceil vertices from G{v,w,x}G - \{v, w, x\} by the induction hypothesis. By adding vv and ww into the selected vertices, the result will follow since 3(n3)/4+23n/4\lceil 3(n-3)/4 \rceil + 2 \ge \lceil 3n/4 \rceil.

If deg(w)=3\deg(w) = 3, let yy be the third neighbour of ww (other than xx and vv). Then we can choose 3(n4)/4\lceil 3(n-4)/4 \rceil vertices from G{v,w,x,y}G - \{v, w, x, y\} by the induction hypothesis. By adding {w,v,y}\{w, v, y\} into the selected vertices, the result will follow since 3(n4)/4+3=3n/4\lceil 3(n-4)/4 \rceil + 3 = \lceil 3n/4 \rceil.

If deg(w)4\deg(w) \ge 4, let NN be the set of neighbours of ww in AmA_m, thus NN includes s3s \ge 3 vertices. By the induction hypothesis, we can choose 3(ns1)/4\lceil 3(n-s-1)/4 \rceil vertices from G(N{w})G - (N \cup \{w\}). Then, by adding NN into the selected vertices, the result will follow since 3(ns1)/4+s3n/4\lceil 3(n-s-1)/4 \rceil + s \ge \lceil 3n/4 \rceil.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.