Двухцветные числа Рамсея
[7/100%]Среди пяти человек может не найтись ни трёх попарно знакомых, ни трёх попарно незнакомых.
Среди любых шести человек найдётся либо трое попарно знакомых, либо трое попарно незнакомых.
Среди любых десяти человек найдётся либо четверо попарно знакомых, либо трое попарно незнакомых.
Среди любых девяти человек найдётся либо четверо попарно знакомых, либо трое попарно незнакомых.
Среди восьми человек может не найтись ни трёх попарно знакомых, ни четверых попарно незнакомых.
Среди любых 18 человек найдётся либо 4 попарно знакомых, либо 4 попарно незнакомых.
Среди любых 14 человек найдётся либо 5 попарно знакомых, либо 3 попарно незнакомых.
Числом Рамсея называется минимальное из таких целых положительных чисел , что выполнено любое из следующих эквивалентных условий:
-
среди любых человек найдётся либо попарно знакомых, либо попарно незнакомых;
-
в любом графе с вершинами найдётся либо -клика, либо -антиклика;
-
для любой раскраски рёбер графа в синий и красный цвета найдётся либо синяя -клика, либо красная -клика.
Например, очевидно, что и для любого . В задаче 4.1.1 доказано, что , , и . Но не очевидно, что такое число существует для любых .
Если числа и существуют, то число существует и .
Это утверждение обычно коротко записывают в виде «». Далее аналогичные утверждения записываются только в кратком виде.
.
, если числа и чётны.
.
Если в графе с 13 вершинами нет ни треугольника, ни 5-антиклики, то степень каждой вершины равна 4.
Если в графе с 18 вершинами нет ни треугольника, ни 6-антиклики, то степень каждой вершины равна 5.
Во избежание порочного круга, при решении этой и других задач не используйте без доказательства ни равенства , ни других фактов, которые не умеете доказывать.
;
.
.
Теорема Эрдёша. начиная с некоторого . (Более точно, теорема Эрдёша утверждает, что . Знак определён в п. 6.1.)
Если , то .
Если , то .
для любого .
В любом турнире с вершинами можно выбрать вершины так, чтобы каждое ребро между ними было направлено от большего номера к меньшему.
При любой раскраске рёбер графа в два цвета в нём найдётся гамильтонов цикл, состоящий из двух одноцветных путей (цвета путей могут быть и одинаковы, и различны).