Find the largest possible value of , if in every graph on vertices having no cycles, it is always possible to choose vertices such that any chosen vertex is adjacent to at most two chosen vertices.
Solution
Answer: 1517.
Consider a graph on vertices having no cycles. By induction over , we will show that the maximum possible value of is .
It can be readily shown that the claim holds for . Let be an acyclic graph on vertices. Assume that the claim holds for all values not exceeding . If is disconnected, then the result follows by applying the induction hypothesis to each connected component. Hence we can assume that is a tree. There is a unique path between any pair of vertices in a tree. For any , let be the length of the path between and .
Pick a vertex in , and partition the vertices of with respect to their distances to , i.e. let . It can be easily observed that any has exactly one neighbour in . Let , and pick . If , then we can choose all the vertices except , which completes the proof since . Assume , denote the unique neighbour of in by , and denote the unique neighbour of in by .
If , then we can choose vertices from by the induction hypothesis. By adding and into the selected vertices, the result will follow since .
If , let be the third neighbour of (other than and ). Then we can choose vertices from by the induction hypothesis. By adding into the selected vertices, the result will follow since .
If , let be the set of neighbours of in , thus includes vertices. By the induction hypothesis, we can choose vertices from . Then, by adding into the selected vertices, the result will follow since .