Skip to main content
OlympiadHQ

Browse · MathNet

Print

APMO

counting and probability

Problem

A set of persons is divided into non-intersecting subsets in such a way that (a) no one in a subset knows all the others in the subset; (b) among any three persons in a subset, there are always at least two who do not know each other; and (c) for any two persons in a subset who do not know each other, there is exactly one person in the same subset knowing both of them. (i) Prove that within each subset, every person has the same number of acquaintances. (ii) Determine the maximum possible number of subsets. Note: it is understood that if a person knows person , then person will know person ; an acquaintance is someone who is known. Every person is assumed to know one's self.
Solution
(i) Let be a subset of persons satisfying conditions (a), (b) and (c). Let be one who knows the maximum number of persons in . Assume that knows . By (b), and are strangers if . For each , let be the set of persons in who know but not . Note that, for has no person in common with , otherwise there would be more than one person knowing and , contradicting (c). By (a) we may assume that is not empty. Let . By (c), for each , there is exactly one person in who knows . This means that knows persons, namely . Because is the maximal number of persons in a person in can know, knows exactly persons in . By precisely the same reasoning we find that each person in , , knows exactly persons in . Letting take the role of in our argument, we see that also each knows exactly persons. Note that, by (c), every person in other than , must be in some . Therefore every person in knows exactly persons in and thus has the same number of acquaintances in .

(ii) To maximize the number of subsets, we have to minimize the size of each group. The smallest possible subset is one in which every person knows exactly two persons, and hence there must be exactly five persons in the subset, forming a cycle where two persons stand side by side only if they know each other. Therefore the maximum possible number of subsets is .
Final answer
398

Techniques

Graph TheoryColoring schemes, extremal arguments