Maths Olympiad Prep

Library / /31 of 73

Combinatorics Difficulty 8.0 Shortlist Prove it 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.

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.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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