Ramsey theory deals with problems asking for the minimum number of elements which guarantees a particular property. These include e.g. Party Problem, Happy End Problem or Van der Waerden Problem. Solving the problems of this kind is rather time-consuming for a computer, but the result can often be obtained by mathematical reasoning with pencil and paper. Ramsey theory was deeply developed by a famous Hungarian mathematician Pál Erdös.