There are three schools, each with exactly 2017 students. Every student is friends with at least 2018 students from the other two schools.
Does there exist a group of 3 students--one from each of the three schools--that are all pairwise friends?
Note: If A is friends with B , then B is friends with A .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
For problems like this, the extremal principle allows us to focus on cases where we're most likely to succeed.
Very neat.
Very elegant solution! I like how your arguments lead to the contradiction.
Log in to reply
Thank you! I would like to note that considering elements that have some kind of extreme characteristics is a handy strategy for solving problems like this one
Log in to reply
I agree, the extremal principle is a powerful problem solving technique. If we can prove something is true in the extreme case, then it will be true in all other cases too.
when i saw this problem for the first time. i though i should use the theorem on graphs that is every graph with 2n vertices and n^2+1 edges has atleast one triangle. but this failed completely. then i thought and got a simple solution.
very neat and elegant
most of the problems in combinatorics get solved ones we consider something like maximum value such that the condition is satisfied. here it is different.
Suppose this is not true, i.e. there exists a configuration with no group of 3 that are all friends with each other.
Claim: For any i < 2 0 1 7 , if there exists someone who is friends with i people from just one school, then there exists someone who is friends with i + 1 people from one school (Note that the schools do not have to be the same.)
Proof: Say a from school A is friends with i people from school B , call this set B a . Because i < 2 0 1 7 and a has 2 0 1 8 friends from other schools, then a also has a friend c from school C . If c is friends with any of the i individuals from school B that a is friends with, these 3 form a group that contradicts the starting hypothesis. Thus c has at most 2 0 1 7 − i friends in B . Because c also has 2 0 1 8 friends, c has at least 2 0 1 7 − ( 2 0 1 7 − i ) = i + 1 friends in A , proving our claim.
Now, starting from an arbitrary person we can iteratively apply the above Claim until we find a person with 2017 friends from a single school. Without loss of generality, say that this person is a from school A with 2 0 1 7 friends from B .
Because a has 2 0 1 8 friends, a is also friends with some c from C . By a similar argument, c has at most 2 0 1 7 friends from A , and thereby has at least one friend, b in B . But then a , b , c form a group of 3 mutual friends from different schools, a contradiction!
This is a very elegant solution which is presented really well! I too noticed that we would be done when we have a friends with 2017 friends in just one school, but I could not go ahead and prove that this must exist.
I fixed some minor grammar issues and added some formatting and LaTeX to your solution to make it more readable. You could click on edit and check this out for yourself. :)
Note: This solution is incomplete.Any suggestions are always welcome. It considers a specific scenario and shows that it can be achieved. It does not explain why it can always be achieved.
First name the schools as A , B , C and each school has 2 0 1 7 students.Consider the students as vertex and schools as set.Let's define
A = ( a 1 , a 2 , . . . . a 2 0 1 7 ) B = ( b ! , b 2 , . . . . . . b 2 0 1 7 ) C = ( c 1 , c 2 , . . . . . . c 2 0 1 7 ) .Each vertex in each set has at least 2 0 1 8 connection with other two sets..We will deal with minimum number of connections.Here each connection/edge indicates friendship.
Suppose each a i is connected to every b i which includes 2 0 1 7 friends and a friend from C say c 1 .So, every b i is connected to a i which counts to 2 0 1 7 friends and a friend from C say c 2 .So, two condition is satisfied.
Now third condition is that every vertex from C should have at least 2 0 1 8 edges.Consider c 1 which has 2 0 1 7 connections from each a i .So, it needs at least one friend from set B say b j .Then it is complete.
Now a i , b j , c 1 these three are pairwise connected.i.e. they are pairwise friends.
Therefore, we can always find a friend triad.
You are making a huge assumption that "suppose each a i is connected to every b j " and "consider c 1 which has 2017 connections (to) each a i ". In this scenario we can find a friend triad.
However, it's not obvious that if the friends were much more random, that a friend triad would still exist.
Log in to reply
Yes I know.Actually I posted this to know my faults through others' comment.
Do u have any better idea? I am eager to know
Log in to reply
In such a case, it would be helpful to make that explicit in the solution, as a signpost to the reader. E.g. stating "This solution is incomplete. It considers a specific scenario" would help a lot with understanding what is happening.
Log in to reply
@Calvin Lin – I have added thatbut how to improve this ?
Log in to reply
@Kushal Bose – I don't think solving this very specific case will easily lead to a valid approach for the general case, because you're too caught up in the special conditions. As is often the case, you will likely need a different approach for the general case.
Log in to reply
@Calvin Lin – You can approach the problem from this direction but it will still lead back to the general solution given by Andrew. Here we have proved that no solution exists if any student is friends with all 2017 students from another school.
If we now consider a student with 2016 friends in School B, the constraint of no-3way friendship leads us to someone in School C needing 2017 friends in School A.
At this point we can spot a pattern leading to a comprehensive proof, either through induction or reductio ad absurdum.
It's not that this is the proof, but rather a way of approaching the problem which leads to the proof.
Log in to reply
@Malcolm Rich – That's a good point. Trying to constrain it down to the "minimum requirement" could provide us with more insight about what is truly important. This way, we're trying to work from a specific scenario down towards the crux of the problem.
IE We do not need that "each a i is connected to every b i " but just "there is a 1 that is connected to every b i ", and from there show that a 1 's friend in C must have a friend in B.
Similarly, in cases where we make simplifying assumptions, that could allow us to more easily identify the important aspects, which we then apply to the general case.
Not a patch on Andrew's solution but here's my explanation:
We can see all of the friendship connections as links from schools A,B and C. Each school has 2017x2018 connections and because each schools connections to other schools is identical, we can easily show that there are 2017x1009 connections between each school.
Now consider the number of possible links between a student at school A to a student at school B. There are 2017^2 of these. Extend these links from B to C then back to A, but restrict the link back to A to ignore the student who is the first link (this insures no triangular friendship link). There are 2017^3×2016 of these connections.
But with 2017x1009 connections between each school we have 2017^3×1009^3 potential routes from A to B to C and back to A. This figure is much greater than the number of routes which exclude any 3-way friendship.
So there will exist at least one such group.
Can you explain why are there 2017x1009 connections between each school? Can't I have a scenario where every student in A is a friend of every student in B, but only one student in C?
Log in to reply
No. Each school has 2017x2018 connections, call that number N. Let's suppose A has X connections to B and (N-X) connections to C. Since C also has N connections, it has X connections to B - since it has (N-X) to A. And since B now has 2X connections = N, then X=N/2, or 2017x1009
You are right to be sceptical. My so-called solution assume I could follow any of the 2m or so connections between each school. However there's no guarantee that each of the connections between A and B leads to the same number from B to C and then back to A.
I haven't considered the scenario whereby half the pupils in A and B are "C-phobes" while half of A and C are B-phobes. Here, most of the connections from A to B link largely back to A and far fewer link to C.
Let A , B and C be the names of the schools.
Let a ∈ A be a student from school A .
a has at least
2 0 1 8 > 2 0 1 7 = number of students of B and C
friends, so all students from B OR all students from C are friends with a .
Without loss of generality, let's assume all students of B (that is, the 2 0 1 7 students) are friends with a .
On top of that, a has at least one remaining friend c ∈ C from C .
And as c has 2 0 1 8 > number of students of B and C friends : c has, likewise, at least one friend b ∈ B from B .
Finally, since all students from B are friends with a ,
a , b and c are friends with one another
Reduce the issue from 2017 and 2018 to 1 and 3 and it becomes immediately obvious what the truth is and why.
Hmm it's not immediately obvious to me Can you explain how they link to each other?
it is possible because there are many people and great amount of friends
That does not really explain why this is necessarily true. Possible, yes, but why necessary?
you can't say anything in mathematics without logic.need explanation.
Problem Loading...
Note Loading...
Set Loading...
Consider a student who has the largest number of friends from another school (just 1).
WLOG, this student (whom we call John) is from school A, and he has b friends from B. Every other student has at most b friends in another school.
Since 2 0 1 8 > 2 0 1 7 , John has a friend from school C, which we will call Mike. Since Mike has at most b friends in school A, this means that he has at least ( 2 0 1 8 − b ) friends in school B. Since John has b friends in school B, and ( 2 0 1 8 − b ) + b = 2 0 1 8 > 2 0 1 7 , hence these friends cannot all be distinct. This implies that there is at least 1 person in school B that is friend with both Mike and John. Thus, they form the group that we're looking for!