MathDB
Path by k+2 cities given there are nk/2 highways

Source: Mexico National Olympiad Mock Exam 2017 P6

November 4, 2019
combinatoricsgraph theorypath

Problem Statement

In a certain country there are nn cities. Some pairs of cities are connected by highways in such a way that for each two cities there is at most one highway connecting them. Assume that for a certain positive integer kk, the total number of highways is greater than nk2\frac{nk}{2}. Show that there exist k+2k+2 distinct cities C1,C2,,Ck+2C_1, C_2, \dots, C_{k+2} such that CiC_i and Ci+1C_{i+1} are connected by a highway for i=1,2,,k+1i=1, 2, \dots, k+1.
Proposed by Oriol Solé