A party is a set of distinct people with a relation .
A non-empty subset of is a celebrity clique if everyone in the clique is known by everyone in the party, but the members of the clique only know each other. Formally,
What is the maximum number of possible celebrity cliques in a party of 16 people?
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.
Source: Richard Bird's Pearls of functional Programming . This is Mary's solution (page 57).
Suppose that C 1 and C 2 are two celebrity cliques. Pick any c 1 in C 1 and c 2 in C 2 . We have that c 1 knows c 2 from the fact that everybody in the clique C 2 is known by everybody at the party. But since clique members know only other members of the clique, it follows that c 2 ∈ C 1 . Since c 2 was arbitrary, we have C 2 ⊆ C 1 and, by symmetry, C 1 ⊆ C 2 .
Furthemore, there is the possibilty that there exists a celebrity clique in which everybody knows everybody.