В компании из З0 человек некоторые люди знакомы между собой (знакомство взаимно). Известно, что среди любых четырёх людей один из них знает хотя бы двух из остальных. Докажите,…
В компании из З0 человек некоторые люди знакомы между собой (знакомство взаимно). Известно, что среди любых четырёх людей один из них знает хотя бы двух из остальных. Докажите, что можно выбрать 29 человек и выстроить их в ряд так, чтобы любые два соседа были знакомы.
Это задача из области теории графов, и чтобы её решить, давайте сначала представим ситуацию в виде графа. Пусть вершины графа представляют людей, а ребра — знакомство между ними. Условие задачи утверждает, что среди любых четырёх людей (вершин) один из них знаком как минимум с двумя другими. Это означает, что в каждой четвёрке обязательно присутствует человек, имеющий степень не менее 2.
Для начала, обозначим граф как \( G \), который содержит 30 вершин (людей). Поскольку в любом множестве из четырёх вершин один из них знает хотя бы двух остальных, это предполагает, что в графе не может быть изолированных вершин, и существуют связи между большинством вершин.
Теперь мы хотим доказать, что из 30 человек можно выбрать 29 и расположить их в ряд так, чтобы любые два соседние человека были знакомы. Для этого воспользуемся методом выбора.
Выбор начальной вершины: Начнем с выбора произвольного человека (вершины) из 30. Пусть это будет вершина \( v_1 \).
Построение последовательности: Теперь будем последовательно добавлять к цепочке соседей. Если у нас есть в ряд выстроенные \( k \) человек, нам нужно добавить \( k+1 \)-го человека. Поскольку среди любых 4 человек один знает двоих, то среди \( v_1 \), и его двух соседей (например, \( v_2 \) и \( v_3 \)), всегда найдется связь с еще одним человеком.
Свойство нарастания: Продолжая этот процесс, мы можем добавлять новых участников до тех пор, пока не достигнем количества 29 человек, имея при этом, что между каждым двумя соседями в рядке существует знакомство.
Завершение: Исходя из того, что если бы мы не могли выбрать 29 человек, это привело бы к нарушению условия задачи о том, что среди четырёх человек обязательно кто-то знает других.
Таким образом, мы можем уверенно утверждать, что из 30 человек можно выбрать 29 и выстроить их в ряд таким образом, чтобы любые два соседних человека были знакомы. Это доказывает нужный нам результат.
