In the plane we are given a set $ E$ of 1991 points, and certain pairs of these points are joined with a path. We suppose that for every point of $ E,$ there exist at least 1593 other points of $ E$ to which it is joined by a path. Show that there exist six points of $ E$ every pair of which are joined by a path. Alternative version: Is it possible to find a set $ E$ of 1991 points in the plane and paths joining certain pairs of the points in $ E$ such that every point of $ E$ is joined with a path to at least 1592 other points of $ E,$ and in every subset of six points of $ E$ there exist at least two points that are not joined?
Problem
Source: IMO ShortList 1991, Problem 9 (FRA 3)
Tags: combinatorics, point set, Turan s theorem, Extremal Graph Theory, Extremal combinatorics, IMO Shortlist
17.07.2009 20:51
The wording is a bit iffy for those who know graph theory. Here, by "path" they mean the graph-theoretic edge - not path. Let's say we have a point $ Q_{n+1}$ in a set $ S_n$ of points connected by an edge to points $ Q_1,Q_2,...,Q_n$ and we want to determine if $ Q_{n+1}$ is connected to another vertex in $ S_n$. Then we simply have to check whether $ 1991-|S_n|-n< 1593$. Then we are assured that there exists a set $ S_{n+1}\in S_n$ with $ |S_{n+1}|\ge|S_n|+n+1593-1991=|S_n|+n-398$ and for all $ P\in S_{n+1}$, $ P$ is connected by an edge to points $ Q_1,Q_2,...,Q_{n+1}$. Since the sum of the degrees of a graph must be even, we must have one vertex with degree at least $ 1594$. It follows that $ |S_1|\ge 1594$. Then we have $ |S_2|\ge1197,|S_3|\ge801,|S_4|\ge406,|S_5|\ge12$. Since $ 12>5$, there exists $ Q_6\in S_5$ so that $ Q_1,Q_2,Q_3,Q_4,Q_5,Q_6$ are our desired points.
17.03.2015 01:27
We use Zarankiewicz Lemma. Assume the graph is $6$-free. Then by Zarankiewicz lemma, there exists a vertex with at most degree $[\frac{4}{5}*1991] = 1592$. However, this is a contradiction as all vertices have degree strictly greater than $1592$.
19.01.2024 22:05
va2010 wrote: We use Zarankiewicz Lemma. Assume the graph is $6$-free. Then by Zarankiewicz lemma, there exists a vertex with at most degree $[\frac{4}{5}*1991] = 1592$. However, this is a contradiction as all vertices have degree strictly greater than $1592$. In the actual contest though, (Indian National MO (INMO) in my case), would we need to prove the Zarankiewicz Lemma, or would we get full marks for just this much?