В компании из З0 человек некоторые люди знакомы между собой (знакомство взаимно). Известно, что среди любых четырёх людей один из них знает хотя бы двух из остальных. Докажите, что можно выбрать 29 человек и выстроить их в ряд так, чтобы любые два соседа были знакомы.

Для начала, давайте обозначим людей в компании как вершины графа, а знакомства между ними как рёбра. То есть, если два человека знакомы, то между ними есть ребро. Условия задачи утверждают, что среди любых четырёх человек хотя бы один знает двоих из трех остальных. Это свойство можно использовать для доказательства.

Шаг 1: Построение графа и анализ

Мы рассматриваем граф \( G \) с 30 вершинами. Условие задачи говорит, что для любой выбранной группы из четырех людей (вершин), как минимум одна должна знать два других. Это свойство позволяет нам говорить о том, что в графе нет независимого множества из четырех вершин, потому что, если бы такое множество существовало, оно нарушало бы условие.

Шаг 2: Выбор подмножества

Теперь наша задача – выбрать 29 человек, которые могут быть выстроены в ряд так, чтобы каждую пару соседей в этом ряду знала друг друга. Мы можем использовать свойство графа, основанное на условии о знакомстве.

Доказательство

1. Предположим, что мы будем выбирать людей из графа \( G \).
2. Поскольку среди любых четырех человек один знает хотя бы двух других, это означает, что каждый подграф из четырех вершин не может быть вовсе разряжен выше одной вершины.
3. Мы можем начать выбирать людей из \( G \) и строить путь. Допустим, мы выбрали первого человека \( v_1 \), затем второго \( v_2 \) (который знаком с первым), и так далее.
4. Если при выборе следующего человека ни один из уже выбранных не подойдет, это нарушит условие, что один из четырех знает двоих из трех остальных.
5. Таким образом, мы можем продолжать добавлять людей в выборку, при этом всегда находя знакомых.

Шаг 3: Завершение доказательства

В итоге, используя приведенные соображения, мы можем выбрать 29 человек из 30 так, чтобы создать необходимую цепочку. Следовательно, эта выборка позволяет выстроить 29 человек в ряд, где каждая пара соседей связана знакомством.

Таким образом, мы успешно доказали, что можно выбрать 29 человек и выстроить их в ряд так, чтобы любые два соседа были знакомы.