Разбирался с графами Рамсея. Посмотрел также про некоторые обобщения.
Интересно, пытался ли кто-то доказать теорему общего вида, например, такую:
Пусть имеются объекты, которые могут связывать

видов парных отношений

.
Тогда для любого

и данного

существует такое достаточно большое

, что в множестве из

объектов
найдётся подмножество из

объектов, в которой все они связаны данным отношением.