Maths Olympiad Prep

Library / /70 of 104

Combinatorics Difficulty 6.2 National Olympiad Prove it Bulgaria

Problem:

The edges of a graph with 2n2n vertices, n4n \geq 4, are colored in blue and red such that there is no blue triangle and there is no red complete subgraph with nn vertices. Find the least possible number of the blue edges.

Solution

Solution:

We call a graph, satisfying the given condition, nn-purple. Let f(n)f(n) be the smallest possible number of blue edges in an nn-purple graph.

Suppose that f(n)<n+5f(n) < n + 5 for n5n \geq 5. If any vertex of an nn-purple graph GG with f(n)f(n) blue edges is a head of at least two blue edges, then the total number of the blue edges is at least 2n2n. Since 2nn+5>f(n)2n \geq n + 5 > f(n) for n5n \geq 5, we may find a vertex aa of GG that is the head of at most one blue edge. If aa is not head of a blue edge, then there is a vertex bb of the graph G{a}G \setminus \{a\} that is a head of a blue edge and hence G{a,b}G \setminus \{a, b\} is an (n1)(n-1)-purple graph. If aa and bb are joined by a blue edge, then G{a,b}G \setminus \{a, b\} is an (n1)(n-1)-purple graph. In both cases the obtained (n1)(n-1)-purple graph has at least one blue edge less than GG and so f(n)f(n1)+1f(n) \geq f(n-1) + 1. Then f(n1)<n+4f(n-1) < n + 4, in particular, f(4)<9f(4) < 9.

Now we shall compute f(4)f(4). It is well-known that there are 33-purple graphs. Then the above arguments show that any vertex of a 44-purple graph is a head of at least two blue edges. Hence f(4)8f(4) \geq 8. If f(4)=8f(4) = 8, then any vertex is a head of exactly two blue edges. There are two such graphs containing no blue triangles but these graphs are not purple. If f(4)=9f(4) = 9, the two vertices are heads of three blue edges, and the remaining six vertices are heads of two blue edges. There are six such graphs containing no blue triangles but they are not purple. The following example shows that f(4)=10f(4) = 10 — a regular octagon with blue sides and two blue adjacent main diagonals, and the remaining diagonals are red.

So f(n)n+5f(n) \geq n + 5 for n5n \geq 5. It is easy to see that the graph with 2n2n vertices such that its blue edges form three disjoint cycles with lengths 5,55, 5 and 2n102n - 10 is nn-purple. Hence f(n)=n+5f(n) = n + 5 for n5n \geq 5.

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.