Maths Olympiad Prep

Library / /27 of 28

Combinatorics Difficulty 9.0 Shortlist Prove it China

Let 3n23n^2 be the vertex number of a simple graph GG (integer n2n \ge 2). If the degree of each vertex is not greater than 4n4n, there exists at least one vertex with degree 11, and there exists a route with length not greater than 33 between any two vertices. Prove that the minimum number of edges of GG is 72n232n\frac{7}{2}n^2 - \frac{3}{2}n.

Remark. A route between two distinct vertices uu and vv with length kk is a sequence of vertices u=v0,v1,,vk=vu = v_0, v_1, \dots, v_k = v, where viv_i and vi+1v_{i+1}, i=0,1,,k1i = 0, 1, \dots, k-1, are adjacent. (posed by Leng Gangsong)

Solution

For any two distinct vertices uu and vv, we say that the distance between uu and vv is the shortest length of the route between uu and vv. Consider a graph GG^* with vertex set {x1,x2,,x3n2n,y1,y2,,yn}\{x_1, x_2, \dots, x_{3n^2-n}, y_1, y_2, \dots, y_n\}, where yiy_i and xix_i are adjacent (1i<jn1 \le i < j \le n), xix_i and xjx_j are not adjacent (1i<j3n2n1 \le i < j \le 3n^2 - n), xix_i and yjy_j are adjacent if and only if ij(modn)i \equiv j \pmod{n}. Thus, the degree of each xix_i is 11, and the degree of yiy_i does not exceed
n1+3n2nn=4n2. n - 1 + \frac{3n^2 - n}{n} = 4n - 2.
It is easy to see that the distance between xix_i and xjx_j is not greater than 33. So graph GG^* satisfies the condition of the problem. GG^* has N=3n2n+Cn2=72n232nN = 3n^2 - n + C_n^2 = \frac{7}{2}n^2 - \frac{3}{2}n edges.

In the following, we show that any graph G=G(V,E)G = G(V, E) satisfying the condition of the problem has at least NN edges. Let XVX \subseteq V be the set of vertices with degree 11, Y(VX)Y \subseteq (V\setminus X) be the set of remaining vertices adjacent to XX, and ZV(XY)Z \subseteq V\setminus(X \cup Y) be the set of remaining vertices adjacent to YY. Let W=V(XYZ)W = V\setminus(X \cup Y \cup Z). We will point out the following facts.

Property 1. Any two vertices in YY are adjacent. This is because of the fact that if y1,y2Yy_1, y_2 \in Y are two vertices, there exist x1,x2Xx_1, x_2 \in X that are adjacent to y1y_1 and y2y_2, respectively; hence y1y_1 and y2y_2 are adjacent since the distance between x1x_1 and x2x_2 is not greater than 33.

Property 2. The distance between vertex in WW and vertex in YY is 22. This is because of the fact that if the distance between w0Ww_0 \in W and y0Yy_0 \in Y is greater than 22 (obviously, distance >1>1), suppose that x0Xx_0 \in X is adjacent to y0y_0, then the distance between w0w_0 and x0x_0 is greater than 33, which is a contradiction. Furthermore, we know this Property 2 means each vertex in WW is adjacent to some vertex in ZZ.

Denote by x,y,zx, y, z and ww the numbers of elements in sets X,Y,ZX, Y, Z and WW, respectively. Now count the number of edges; there are Cy2C_y^2 edges between points in YY, xx edges from points of XX to YY, at least zz edges from points of ZZ to YY, and at least ww edges from points of WW to ZZ. So, if yny \ge n, then
ECy2+x+z+w=3n2+Cy2y3n2+Cn2n=N,|E| \ge C_y^2 + x + z + w = 3n^2 + C_y^2 - y \ge 3n^2 + C_n^2 - n = N,
and if yn1y \le n-1, since each degree of vertex is at most 4n4n,
x+zy(4n(y1))=y(4n+1y)(n1)(3n+2)=3n2n2,ω3n2yy(4n+1y)3. \begin{align*} x + z &\le y(4n - (y - 1)) = y(4n + 1 - y) \\ &\le (n - 1)(3n + 2) = 3n^2 - n - 2, \\ \omega &\ge 3n^2 - y - y(4n + 1 - y) \ge 3. \end{align*}
Select a vertex PP in WW such that PP is adjacent as less as possible to vertices in ZZ. Suppose the least number is aa, a>0a > 0 (by Property 2). Denote the set of these aa vertices by NPZN_P \subseteq Z.

Counting the number of the edges again, there are Cy2C_y^2 edges between points in YY, xx edges from points of XX to YY, at least yy edges from points of NPN_P to YY (by Property 2, the distance from PP to vertex in YY is 22), at least zaz - a edges from points of ZNPZ \setminus N_P to YY, and at least awaw edges from points of WW to ZZ. Thus,
ECy2+x+y+za+aw=3n21+Cy2+(a1)(w1). \begin{align*} |E| &\ge C_y^2 + x + y + z - a + aw \\ &= 3n^2 - 1 + C_y^2 + (a - 1)(w - 1). \end{align*}
If a>1a > 1, then
E3n21+Cy2+(w1)3n22+Cy2+3n2yy(4n+1y)>N. \begin{align*} |E| &\ge 3n^2 - 1 + C_y^2 + (w - 1) \\ &\ge 3n^2 - 2 + C_y^2 + 3n^2 - y - y(4n + 1 - y) > N. \end{align*}
If a=1a = 1, since the degree of each vertex in WW is at least 22, when we count the edges from points of WW to ZZ, we should add at least w/2w/2 edges, so
E3n21+Cy2+12ω3n21+Cy2+12(3n2yy(4n+1y))>N. \begin{align*} |E| &\ge 3n^2 - 1 + C_y^2 + \frac{1}{2}\omega \\ &\ge 3n^2 - 1 + C_y^2 + \frac{1}{2}(3n^2 - y - y(4n + 1 - y)) > N. \end{align*}
Summing up, the least number of edges is N=72n232nN = \frac{7}{2}n^2 - \frac{3}{2}n.

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.