299
правок
Изменения
м
→Случай двудольного графа
{{Утверждение
|statement=
Разумеется, указанный е уел сени в условии леммы 1С.З граф <tex>G </tex> будет рамсееЕСким графем рамсеевским графом для Я<tex>H</tex>. Утверждение леммы белее более сильное: мы дополнительно требуем, чтобы ьсе все вершины одной дели Я доли <tex>H</tex> можно было погрузить в одну долю графа <tex>G</tex>.
}}
Ввиду леммы достаточно доказать утверждение для особого двудольного графа <tex>H=(V,V^k,E(H))</tex>. Пусть <tex>|V|=n</tex>. Докажем что рамсеевским графом для <tex>H</tex> будет особый двудольный граф <tex>G=(U,U^{2k-1},E(G))</tex>, где<br>
