Есть такая теорема -- теорема Рамсея для двудольных графов. Число цветов может быть любое. Свистите, если не нагуглите.
-- Пт фев 11, 2011 10:32:43 --Кстати, есть даже и немного более сильный результат: для всяких

и

найдется

такое, что как только плотность ребер в двудольном графе на

вершинах (или, если угодно, плотность единиц в бинарной матрице размером

), больше

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

ребрах.
Ну и для

-дольного тоже верно, perhaps unsurprisingly.
-- Пт фев 11, 2011 10:39:18 --Впрочем, можете не гуглить, оно оказалось там, где и должно было быть:
тут, раздел 5.1.