Maths Olympiad Prep

Library / /41 of 61

Combinatorics Difficulty 6.9 National Olympiad Prove it Canada

Problem:

There are 19,99819,998 people on a social media platform, where any pair of them may or may not be friends. For any group of 9,9999,999 people, there are at least 9,9999,999 pairs of them that are friends. What is the least number of friendships, that is, the least number of pairs of people that are friends, that must be among the 19,99819,998 people?

Solution

Solution:

It is 59999=499955 \cdot 9999 = 49995. One possible construction is as follows: have the 19,99819,998 people form 3,3333,333 groups of 66 people, and within each group every pair of people are friends. Now, for any group of 9,9999,999 people, say that there are x1,x2,,x3333x_{1}, x_{2}, \ldots, x_{3333} people in each of the 66 groups, respectively. Then there are
12i=13333xi(xi1) \frac{1}{2} \sum_{i=1}^{3333} x_{i}\left(x_{i}-1\right)
pairs of friendships total. But we have that
xi(xi1)5xi9, x_{i}\left(x_{i}-1\right) \geq 5 x_{i}-9,
so
12i=13333xi(xi1)12i=13333(5xi9)=12(9999593333)=9999 \frac{1}{2} \sum_{i=1}^{3333} x_{i}\left(x_{i}-1\right) \geq \frac{1}{2} \sum_{i=1}^{3333}\left(5 x_{i}-9\right)=\frac{1}{2}(9999 \cdot 5-9 \cdot 3333)=9999
as desired.

It remains to show that 4999549995 pairs of friends is optimal. For what follows, let 9999=N9999=N, so that 19,998=2N19,998=2N, and assume that the condition is satisfied. Let the number of pairs of friends be ee. Designate half of the people as red and the other half as blue, so that the number of pairs of friends who are both red is minimized.

Note that this means that for every pair of people, one red and one blue, we have that the number of red friends of the blue person is at least as many as the number of red friends of the red person, and the inequality is strict if the two people are friends. This is because we can otherwise swap the two people. Now, if every blue person is friends with at least 33 red people, then the total number of friendships, ee, is at least N+3N+N=5NN+3N+N=5N (NN each from the red people and blue people and 3N3N from the pairs), as desired. If some blue person is friends with at most 22 red people, then every red person is friends with at most 22 red people, so the number of pairs of red friends is at most NN, with equality only if every red person is friends with exactly 22 red people. But then consider a blue person with 22 red friends; then, they must have a red friend with exactly 22 red friends too, a contradiction.

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.