Изменения

Пусть <tex>H_1,H_2</tex> — два данных графа. Число Рамсея <tex>r(H_1,H_2)</tex> — это наименьшее из всех таких чисел <tex>x \in \mathbb N</tex>, что при любой раскраске рёбер полного графа на <tex>x</tex> вершинах в два цвета обязательно найдется подграф, изоморфный <tex>H_1</tex> с рёбрами цвета <tex>1 </tex> или подграф изоморфный <tex>H_2</tex> с рёбрами цвета <tex>2</tex>.

В принципе из Из результатов классической теории Рамсея понятиестановится понятно, что числа <tex>r(H_1,H_2)</tex> обязательно существуют (то есть, конечны).