Есть такая теорема -- теорема Рамсея для двудольных графов. Число цветов может быть любое. Свистите, если не нагуглите.
-- Пт фев 11, 2011 10:32:43 --Кстати, есть даже и немного более сильный результат: для всяких
и
найдется
такое, что как только плотность ребер в двудольном графе на
вершинах (или, если угодно, плотность единиц в бинарной матрице размером
), больше
, то в нем найдется полный двудольный подграф на
ребрах.
Ну и для
-дольного тоже верно, perhaps unsurprisingly.
-- Пт фев 11, 2011 10:39:18 --Впрочем, можете не гуглить, оно оказалось там, где и должно было быть:
тут, раздел 5.1.