MathDB
decreasing finite sequence.

Source: baltic way, 2006

May 1, 2007
inductioncombinatorics proposedcombinatorics

Problem Statement

The director has found out that six conspiracies have been set up in his department, each of them involving exactly 33 persons. Prove that the director can split the department in two laboratories so that none of the conspirative groups is entirely in the same laboratory.