MathDB
use graph

Source: 12-th Hungary-Israel Binational Mathematical Competition 2001

April 19, 2007
graph theorycombinatorics unsolvedcombinatorics

Problem Statement

Here GnG_{n} denotes a simple undirected graph with nn vertices, KnK_{n} denotes the complete graph with nn vertices, Kn,mK_{n,m} the complete bipartite graph whose components have mm and nn vertices, and CnC_{n} a circuit with nn vertices. The number of edges in the graph GnG_{n} is denoted e(Gn)e(G_{n}). (a) If GnG_{n} does not contain K2,3K_{2,3} , prove that e(Gn)nn2+ne(G_{n}) \leq\frac{n\sqrt{n}}{\sqrt{2}}+n. (b) Given n16n \geq 16 distinct points P1,...,PnP_{1}, . . . , P_{n} in the plane, prove that at most nnn\sqrt{n} of the segments PiPjP_{i}P_{j} have unit length.