Counting Celebrity Cliques

A party P P is a set of distinct people with a relation knows \text{knows} .

A non-empty subset C C of P P 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,

x P , y C : : x knows y ( y knows x x C ) \forall x \in P, y \in C :: x \text{ knows } y \wedge (y \text{ knows } x \implies x \in C)

What is the maximum number of possible celebrity cliques in a party of 16 people?


Inspired by Richard Bird's Pearls of Functional Programming


The answer is 1.

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.

1 solution

Source: Richard Bird's Pearls of functional Programming . This is Mary's solution (page 57).

Suppose that C 1 C_1 and C 2 C_2 are two celebrity cliques. Pick any c 1 c_1 in C 1 C_1 and c 2 c_2 in C 2 C_2 . We have that c 1 c_1 knows c 2 c_2 from the fact that everybody in the clique C 2 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 c_2 \in C_1 . Since c 2 c_2 was arbitrary, we have C 2 C 1 C_2 \subseteq C_1 and, by symmetry, C 1 C 2 C_1 \subseteq C_2 .

Furthemore, there is the possibilty that there exists a celebrity clique in which everybody knows everybody.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...