There are 2020 inhabitants in a town. Before Christmas, they are all happy; but if an inhabitant does not receive any Christmas card from any other inhabitant, he or she will become sad. Unfortunately, there is only one post company which offers only one kind of service: before Christmas, each inhabitant may appoint two different other inhabitants, among which the company chooses one to whom to send a Christmas card on behalf of that inhabitant. It is known that the company makes the choices in such a way that as many inhabitants as possible will become sad. Find the least possible number of inhabitants who will become sad.
Solution
Partition 2019 inhabitants into 673 groups, each containing 3 inhabitants. Suppose that each inhabitant appoints two other members of the same group. As no group member is appointed thrice, the company cannot send three cards to one group member. Hence in every group, two different members get a card and at most one member will become sad. The inhabitant who does not belong to any group will become sad, too. Altogether, at most 674 inhabitants will become sad.
We show now that this is the least possible number. More precisely, we show that, in the case of inhabitants, the company can make inhabitants sad. Call inhabitants and competitors if somebody appoints them together to the company. By conditions of the problem, there are as many pairs of competitors as inhabitants or less (if several inhabitants appoint the same pair or some inhabitant appoints no pair). Thus it suffices to
* If every inhabitant has exactly 2 competitors then choose an arbitrary inhabitant and leave out along with both competitors. Among the remaining inhabitants, there are at most pairs of competitors (besides two pairs containing , removing either competitor canceled one more pair). By the induction hypothesis, one can find remaining inhabitants with no pair of competitors. Adding to them results in inhabitants with no pair of competitors.
* If an inhabitant has at most 1 competitor then there must exist an inhabitant with at least 3 competitors. Let be the competitor of if has a competitor and an arbitrary inhabitant different from and otherwise. After leaving out , and , we have inhabitants and at most pairs of competitors (removing cancels at least 3 pairs of competitors). By the induction hypothesis, one can find remaining inhabitants with no pair of competitors. Adding to this set results in a group of inhabitants with no pairs of competitors. This proves the desired claim.