Граф

назовём

-плотным если

Пусть дано целое

. Какую зависимость от

имеет

минимальное из таких, что любой достаточно большой

-плотный граф содержит

-клику?
Например,

, потому что всегда можно построить двудольный граф

, который будет

-плотным и не будет содержать нечётных циклов (а, значит, и клик). Но возможно ли построить сколь угодно большие более плотные графы без них?
Аналогично,

, потому что есть трёхдольный граф

, где все возможные треугольники - только между долями, значит, клике размера 4 не бывать (она ж должна принадлежать какой-то доле).
Рассматривая точно так же полный

-дольный подграф, можно узнать, что

.
А возможно ли улучшить эти оценки?