Здравствуйте, nikholas, Вы писали:

N>В компании работает 18 человек.
N>Доказать, что существуют четверо попарно знакомых (каждый с каждым), либо четверо попарно незнакомых.

Имхо вариация теоремы Рамсея.