Difference between revisions of "2022 USAMO Problems/Problem 6"

(Solution 1)
(seriously, the solution had already been written ages ago, but usamo 2023 deleted it)
 
(4 intermediate revisions by 3 users not shown)
Line 5: Line 5:
  
 
==Solution 1==
 
==Solution 1==
Note that if there's a relation between any two users, then it will satisfy the case. However, we are having too much overlaps because after we remove one of the existing relations, the model still satisfies the requirement. Therefore, this is asking the situation which will be not acceptable once a relation between two random users are removed. Since it's asking for an overlapping of minimum of 2 friends, then we have the lemma: The model with the fewest relations has the characteristic of being invalid once a relationship is removed, which is a model composed by 2020 users who each has a relation between the <math>2021^{th}</math> and the <math>2022^{th}</math> user.
+
To answer this question, we need to consider how friendships on Mathbook are formed. If two users have at least two friends in common, then they will be able to become friends with each other. This means that the minimum number of friendships that must already exist in order for every user to eventually become friends with every other user is the smallest number of friendships that guarantees that each pair of users has at least two friends in common.
Proof: Firstly, it's easy to see that this satisfies the requirement. However, if we remove one of the 4040 relations, then there will be a user that has only one relation with the rest of the users, which is invalid. Hence, this is the required model, and our answer is 4040.
+
 
DONE!
+
One way to guarantee that each pair of users has at least two friends in common is to create a complete graph, where each user is friends with every other user. In this case, each pair of users has exactly <math>2022 - 2 = 2020</math> friends in common. However, this is not the minimum number of friendships required, since some pairs of users may have more than two friends in common without forming a complete graph.
 +
 
 +
To find the minimum number of friendships required, we can use the fact that a friendship between two users implies that they share all of their mutual friends. In other words, if two users are friends, then they must have at least two friends in common. This means that if we want to guarantee that each pair of users has at least two friends in common, we can do so by ensuring that each user has at least two friends.
 +
 
 +
Therefore, the minimum number of friendships that must already exist in order for every user to eventually become friends with every other user is <math>2 \cdot 2022 = \boxed{4044}</math>.
  
 
==See also==
 
==See also==
 
{{USAMO newbox|year=2022|num-b=5|after=Last Problem}}
 
{{USAMO newbox|year=2022|num-b=5|after=Last Problem}}
 
{{MAA Notice}}
 
{{MAA Notice}}

Latest revision as of 23:05, 26 April 2025

Problem

There are $2022$ users on a social network called Mathbook, and some of them are Mathbook-friends. (On Mathbook, friendship is always mutual and permanent.)

Starting now, Mathbook will only allow a new friendship to be formed between two users if they have at least two friends in common. What is the minimum number of friendships that must already exist so that every user could eventually become friends with every other user?

Solution 1

To answer this question, we need to consider how friendships on Mathbook are formed. If two users have at least two friends in common, then they will be able to become friends with each other. This means that the minimum number of friendships that must already exist in order for every user to eventually become friends with every other user is the smallest number of friendships that guarantees that each pair of users has at least two friends in common.

One way to guarantee that each pair of users has at least two friends in common is to create a complete graph, where each user is friends with every other user. In this case, each pair of users has exactly $2022 - 2 = 2020$ friends in common. However, this is not the minimum number of friendships required, since some pairs of users may have more than two friends in common without forming a complete graph.

To find the minimum number of friendships required, we can use the fact that a friendship between two users implies that they share all of their mutual friends. In other words, if two users are friends, then they must have at least two friends in common. This means that if we want to guarantee that each pair of users has at least two friends in common, we can do so by ensuring that each user has at least two friends.

Therefore, the minimum number of friendships that must already exist in order for every user to eventually become friends with every other user is $2 \cdot 2022 = \boxed{4044}$.

See also

2022 USAMO (ProblemsResources)
Preceded by
Problem 5
Followed by
Last Problem
1 2 3 4 5 6
All USAMO Problems and Solutions

These problems are copyrighted © by the Mathematical Association of America, as part of the American Mathematics Competitions. AMC Logo.png