Граф
назовём
-плотным если
Пусть дано целое
. Какую зависимость от
имеет
минимальное из таких, что любой достаточно большой
-плотный граф содержит
-клику?
Например,
, потому что всегда можно построить двудольный граф
, который будет
-плотным и не будет содержать нечётных циклов (а, значит, и клик). Но возможно ли построить сколь угодно большие более плотные графы без них?
Аналогично,
, потому что есть трёхдольный граф
, где все возможные треугольники - только между долями, значит, клике размера 4 не бывать (она ж должна принадлежать какой-то доле).
Рассматривая точно так же полный
-дольный подграф, можно узнать, что
.
А возможно ли улучшить эти оценки?