Maths Olympiad Prep

Track / Stage 6 / 360 of 400 #1840 of 2444

Problem 1840

National Olympiad, first round
Combinatorics Difficulty 6.9 Prove it February · United States · 2017

Kelvin the Frog and 10 of his relatives are at a party. Every pair of frogs is either friendly or unfriendly. When 3 pairwise friendly frogs meet up, they will gossip about one another and end up in a fight (but stay friendly anyway). When 3 pairwise unfriendly frogs meet up, they will also end up in a fight. In all other cases, common ground is found and there is no fight. If all (113)\binom{11}{3} triples of frogs meet up exactly once, what is the minimum possible number of fights?

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Solution:

Consider a graph GG with 11 vertices - one for each of the frogs at the party - where two vertices are connected by an edge if and only if they are friendly. Denote by d(v)d(v) the number of edges emanating from vv; i.e. the number of friends frog vv has. Note that d(1)+d(2)++d(11)=2ed(1)+d(2)+\ldots+d(11)=2e, where ee is the number of edges in this graph.

Focus on a single vertex vv, and choose two other vertices u,wu, w such that uvuv is an edge but wvwv is not. There are then d(v)d(v) choices for uu and 10d(v)10-d(v) choices for ww, so there are d(v)(10d(v))d(v)(10-d(v)) sets of three frogs that include vv and do not result in a fight. Each set, however, is counted twice - if uwuw is an edge, then we count this set both when we focus on vv and when we focus on ww, and otherwise we count it when we focus on vv and when we focus on uu. As such, there are a total of
12vd(v)(10d(v)) \frac{1}{2} \sum_{v} d(v)(10-d(v))
sets of 3 frogs that do not result in a fight.

Note that d(v)+10d(v)2=5d(v)(10d(v))d(v)(10d(v))25\frac{d(v)+10-d(v)}{2}=5 \geq \sqrt{d(v)(10-d(v))} \Longrightarrow d(v)(10-d(v)) \leq 25 by AM-GM. Thus there are a maximum of
12vd(v)(10d(v))12(2511)=2752 \frac{1}{2} \sum_{v} d(v)(10-d(v)) \leq \frac{1}{2}(25 \cdot 11)=\frac{275}{2}
sets of three frogs that do not result in a fight; since this number must be an integer, there are a maximum of 137 such sets. As there are a total of (113)=165\binom{11}{3}=165 sets of 3 frogs, this results in a minimum 165137=28165-137=28 number of fights.

It remains to show that such an arrangement can be constructed. Set d(1)=d(2)==d(10)=5d(1)=d(2)=\ldots=d(10)=5 and d(11)=4d(11)=4. Arrange these in a circle, and connect each to the nearest two clockwise neighbors; this gives each vertex 4 edges. To get the final edge for the first ten vertices, connect 1 to 10, 2 to 9, 3 to 8, 4 to 7, and 5 to 6. Thus 28 is constructable, and is thus the true minimum.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.