Olympiad Maths Prep

Track / Stage 5 / 122 of 400 #722 of 2000

Problem 722

AIME late
Combinatorics Difficulty 5.3 Find the answer

Three, (50 points) nn people exchange greetings by phone during a holiday. It is known that each person makes calls to at most three friends, any two people make at most one call to each other, and among any three people, at least two of them, one person has called the other. Find the maximum value of nn.

Official solution

Three, first prove the lemma.
Lemma In a simple graph GG of order nn without K3K_{3}, then
f(G)[n24], f(G) \leqslant\left[\frac{n^{2}}{4}\right],

where f(G)f(G) represents the number of edges in GG.
Proof of the lemma: Let AA be the vertex with the maximum degree, and let the set of vertices adjacent to AA be M={A1,A2,,Ar}M=\left\{A_{1}, A_{2}, \cdots, A_{r}\right\}, and the set of vertices not adjacent to AA be N={B1,B2,,Bs}(r+s+1=n)N=\left\{B_{1}, B_{2}, \cdots, B_{s}\right\}(r+s+1=n). Since GG contains no triangles, there are no edges in MM. Thus, the other edges of GG are either in NN or between MM and NN. These edges are all induced by the vertices B1,B2,,BsB_{1}, B_{2}, \cdots, B_{s}. Therefore,
f(G)d(A)+d(B1)+d(B2)++d(Bs)r+r++rs=(s+1)r(s+r+12)2=n24. \begin{array}{l} f(G) \leqslant d(A)+d\left(B_{1}\right)+d\left(B_{2}\right)+\cdots+d\left(B_{s}\right) \\ \leqslant r+\underbrace{r+\cdots+r}_{s}=(s+1) r \leqslant\left(\frac{s+r+1}{2}\right)^{2}=\frac{n^{2}}{4} . \end{array}

Since f(G)Zf(G) \in \mathbf{Z}, we have
f(G)[n24] f(G) \leqslant\left[\frac{n^{2}}{4}\right] \text {. }

Now, prove the original problem.
Use nn points to represent nn people. If a person AA calls another person BB's home phone, then draw a directed edge from AA to BB, resulting in a simple directed graph GG.
On one hand, Gˉ\bar{G} contains no triangles. By the lemma,
f(Gˉ)[n24]f(\bar{G}) \leqslant\left[\frac{n^{2}}{4}\right].
Thus, f(G)=Cn2f(Gˉ)f(G)=\mathrm{C}_{n}^{2}-f(\bar{G})
Cn2[n24]=[(n1)24]\geqslant C_{n}^{2}-\left[\frac{n^{2}}{4}\right]=\left[\frac{(n-1)^{2}}{4}\right].
On the other hand, f(G)=i=1nd+(xi)i=1n3=3nf(G)=\sum_{i=1}^{n} d^{+}\left(x_{i}\right) \leqslant \sum_{i=1}^{n} 3=3 n.
Therefore, [(n1)24]3n\left[\frac{(n-1)^{2}}{4}\right] \leqslant 3 n.
When nn is odd, equation (1) becomes (n1)243n\frac{(n-1)^{2}}{4} \leqslant 3 n, solving for n13n \leqslant 13;
When nn is even, equation (1) becomes n22n43n\frac{n^{2}-2 n}{4} \leqslant 3 n, solving for n14n \leqslant 14.
In summary, n14n \leqslant 14.
Finally, n=14n=14 is possible. Construct two K7K_{7}, for each heptagon A1A2A7A_{1} A_{2} \cdots A_{7}, let AiA_{i} point to Ai+1,Ai+2,Ai+3(i=1,2,,7,Ai+7=Ai)A_{i+1}, A_{i+2}, A_{i+3}(i=1,2, \cdots, 7, A_{i+7}=A_{i}), then the graph meets the conditions.

First, each vertex as a starting point exactly induces 3 directed edges, thus, each person calls at most 3 friends' home phones.

Second, for any three vertices, by the pigeonhole principle, there must be two vertices AiAj(i<j)A_{i} 、 A_{j}(i<j) such that AjA_{j} calls AiA_{i}'s home phone.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.