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

Для доказательства данной задачи применим метод, основанный на свойствах графов. Рассмотрим граф, в котором каждая вершина соответствует человеку, а ребро соединяет две вершины, если эти люди знакомы между собой. Нам известно, что среди любых четырех людей один из них знает хотя бы двух из остальных, что можно трактовать как наличие определенных связей (ребер) в нашем графе.

1. Построим граф: Пусть \( G \) – граф, состоящий из 30 вершин (людей) и рёбер (знакомств).

2. Используем условие: Условие задачи говорит нам о том, что среди любых четырех вершин (людей) одна из вершин имеет степень (количество рёбер, соединяющих её с другими вершинами) не менее 2. Это означает, что в любой группе из четырех человек хотя бы один имеет минимум две связи с другими.

3. Поиск независимого множества: Мы можем воспользоваться методом перебора, чтобы исследовать различные подмножества графа. Начнем с того, чтобы выбрать произвольного человека и рассмотреть его связи. К каждому из них мы можем применять данное условие, что обеспечивает наличие множества с взаимными знакомствами.

4. Строим цикл: Начинаем с одного человека и поочередно добавляем к нашему выбору людей, следя за тем, чтобы выбранные соседи были знакомы между собой. Если в какой-то момент мы не можем выбрать следующего человека, то это противоречит нашему условию, потому что в любой группе из четырех мы всегда можем найти того, кто знает двоих, и тем самым продолжить уменьшать количество оставшихся.

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

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