т. XVII · МСК
Математика

В любом наборе из 6 человек либо 3 взаимных друга, либо 3 взаимных незнакомца.

В любом наборе из 6 человек либо 3 взаимных друга, либо 3 взаимных незнакомца.
Это частный случай теоремы Рамсея R(3,3) = 6, сформулированной английским математиком и философом Франком Рамсеем в 1930 году. Теорема утверждает простую, но неочевидную вещь: в любом наборе из 6 человек обязательно найдётся либо группа из трёх взаимных друзей, либо группа из трёх взаимных незнакомцев. На языке теории графов это означает, что при раскраске рёбер полного графа на 6 вершинах в два цвета (скажем, красный для дружбы и синий для незнакомства) всегда возникнет монохроматический треугольник. Теория Рамсея, развитая на основе этого результата, решает принципиальный вопрос: насколько большой должна быть структура, чтобы в ней гарантированно возникла упорядоченная подструктура? Это не просто математический курьёз — её идеи применяются в информатике при анализе алгоритмов, в комбинаторной оптимизации и даже в криптографии. Числа Рамсея растут с поразительной скоростью: если R(3,3) = 6, то R(4,4) уже равен 18, а R(5,5) находится где-то между 43 и 48, хотя точное значение остаётся неизвестным несмотря на мощные компьютерные вычисления. Смежный результат — теорема Ван дер Вардена — показывает, что в любой раскраске натуральных чисел в конечное число цветов всегда найдётся одноцветная арифметическая прогрессия произвольной длины. Это подчёркивает универсальный принцип: при достаточной сложности системы порядок возникает неминуемо, независимо от наших попыток создать хаос.

Часто спрашивают

Правда ли, что в любом наборе из 6 человек либо 3 взаимных друга, либо 3 взаимных незнакомца?

Это частный случай теоремы Рамсея R(3,3) = 6, сформулированной английским математиком и философом Франком Рамсеем в 1930 году. Теорема утверждает простую, но неочевидную вещь: в любом наборе из 6 человек обязательно найдётся либо группа из трёх взаимных друзей, либо группа из трёх взаимных незнакомцев. На языке теории графов это означает, что при раскраске рёбер полного графа на 6 вершинах в два цвета (скажем, красный для дружбы и синий для незнакомства) всегда возникнет монохроматический треугольник. Теория Рамсея, развитая на основе этого результата, решает принципиальный вопрос: насколько большой должна быть структура, чтобы в ней гарантированно возникла упорядоченная подструктура? Это не просто математический курьёз — её идеи применяются в информатике при анализе алгоритмов, в комбинаторной оптимизации и даже в криптографии. Числа Рамсея растут с поразительной скоростью: если R(3,3) = 6, то R(4,4) уже равен 18, а R(5,5) находится где-то между 43 и 48, хотя точное значение остаётся неизвестным несмотря на мощные компьютерные вычисления. Смежный результат — теорема Ван дер Вардена — показывает, что в любой раскраске натуральных чисел в конечное число цветов всегда найдётся одноцветная арифметическая прогрессия произвольной длины. Это подчёркивает универсальный принцип: при достаточной сложности системы порядок возникает неминуемо, независимо от наших попыток создать хаос.

К какой категории относится этот факт?

Этот факт относится к категории «Математика». В этом разделе собраны другие удивительные факты по той же теме.

🎮 Сыграть в «Факт или вымысел?»