Maths Olympiad Prep

Library / /11 of 15

Combinatorics Difficulty 6.5 National olympiad Prove it Bulgaria

Find the minimum possible number of the edges of a graph with nn vertices having the following property:

a) If we draw an arbitrary new edge then a new triangle (3-clique) appears.

b) If we draw an arbitrary new edge then a new 4-clique appears.

Solution

a) Let GG be a graph with the required property and minimum possible number of edges. If GG is not connected then adding a new edge which connects two components does not give a new 3-clique, a contradiction.
Therefore GG is connected and it has at least n1n-1 edges. On the other hand, the graph K1,n1K_{1,n-1} has the required property. (Km,nK_{m,n} is the graph with m+nm+n vertices which are divided into two sets of mm and nn elements, respectively, and two vertices are adjacent if and only if they belong to different sets; the edges are obviously mnmn.) Thus the answer is n1n-1.

b) Consider a graph with vertices u1,u2,v1,,vn2u_1, u_2, v_1, \dots, v_{n-2} and edges all pairs uivju_i v_j, i=1,2,j=1,,n2i = 1, 2, j = 1, \dots, n-2, together with u1u2u_1 u_2. This graph has nn vertices, 2n32n-3 edges and adding any new edge increases the number of the 4-cliques. Hence the required minimum number does not exceed 2n32n-3.
We shall prove by induction on nn that the minimum possible number of edges is 2n32n-3 and it is attained only for a graph as above. The assertion is obvious for n=4n=4.
Assume that the assertion is proved for graphs with n1n-1 or less vertices. Let GG be a graph with the required property having n5n \ge 5, vertices and minimum possible number of edges.

Since adding of a new edge increases the number of the 4-cliques, the graph GG has four vertices x1,x2,x3,x4x_1, x_2, x_3, x_4 which determine exactly five edges joining them. Next we assume that the missing edge is x1x2x_1x_2. Let GG^* be the graph which is obtained from GG by cluing the vertices x1x_1 and x2x_2 (i.e. we remove x1x_1 and x2x_2 from GG, add a new vertex uu and save all remaining vertices; the new vertex is adjacent exactly to these vertices which were adjacent to at least one of x1x_1 and x2x_2, all old edges are saved). Then
e(G)e(G)22n5=2(n1)3. e(G^*) \leq e(G) - 2 \leq 2n - 5 = 2(n - 1) - 3.
Hence the graph GG^* has n1n-1 vertices, possesses the required property and has at most 2(n1)32(n-1)-3 edges. Then the induction hypothesis implies that GG^* has exactly 2n52n-5 edges and it has the structure described above – two vertices of degree n2n-2 and all remaining of degree 2. At least one of the vertices of degree n2n-2 is x3x_3 or x4x_4, say x3x_3. Then the degree of x3x_3 in GG is n1n-1.
Denote by GG' the graph obtained from GG by removing the vertex x3x_3 and all edges from it. The graph GG' has at most n2n-2 edges since GG has at most 2n32n-3 edges. Moreover, GG' has the property considered in a). Therefore it follows from the solution of a) that G=K1,n2G' = K_{1,n-2}. It is easy to see now that GG has the required structure and this completes the induction step.

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 and solution reproduced as published; topic and difficulty added by this site.