Problem:
The edges of a graph with vertices, , are colored in blue and red such that there is no blue triangle and there is no red complete subgraph with vertices. Find the least possible number of the blue edges.
Problem:
The edges of a graph with vertices, , are colored in blue and red such that there is no blue triangle and there is no red complete subgraph with vertices. Find the least possible number of the blue edges.
Solution:
We call a graph, satisfying the given condition, -purple. Let be the smallest possible number of blue edges in an -purple graph.
Suppose that for . If any vertex of an -purple graph with blue edges is a head of at least two blue edges, then the total number of the blue edges is at least . Since for , we may find a vertex of that is the head of at most one blue edge. If is not head of a blue edge, then there is a vertex of the graph that is a head of a blue edge and hence is an -purple graph. If and are joined by a blue edge, then is an -purple graph. In both cases the obtained -purple graph has at least one blue edge less than and so . Then , in particular, .
Now we shall compute . It is well-known that there are -purple graphs. Then the above arguments show that any vertex of a -purple graph is a head of at least two blue edges. Hence . If , 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 , 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 — a regular octagon with blue sides and two blue adjacent main diagonals, and the remaining diagonals are red.
So for . It is easy to see that the graph with vertices such that its blue edges form three disjoint cycles with lengths and is -purple. Hence for .