Задача 054

В группе школьников некоторые знакомы между собой, а некоторые нет. Оказалось, что если какой-то школьник знаком хотя бы с 20 другими школьниками, то все его знакомые незнакомы между собой. Кроме того, если школьник незнаком хотя бы с 20 другими школьниками, то все его незнакомые знакомы между собой. Найдите максимальное возможное число школьников в такой группе.

Подсказка

Пример. Пусть в группе 20 девочек и 20 мальчиков. Все девочки знакомы со всеми мальчиками, но никакие девочки не знакомы друг с другом и никакие мальчики не знакомы друг с другом. Легко видеть, что такая группа удовлетворяет условию.

Решение

Ответ: 40 школьников.

Решение. Пример. Пусть в группе 20 девочек и 20 мальчиков. Все девочки знакомы со всеми мальчиками, но никакие девочки не знакомы друг с другом и никакие мальчики не знакомы друг с другом. Легко видеть, что такая группа удовлетворяет условию.

Оценка. Предположим, что у какого-то школьника A есть хотя бы 21 знакомый B_{1}, B_{2}, \ldots, B_{21}. По условию, все его знакомые незнакомы. Но тогда у школьника B_{1} есть 20 незнакомых B_{2}, \ldots, B_{21} и они незнакомы друг с другом. Противоречие. Следовательно, у каждого школьника не более 20 знакомых и, аналогично, не более 20 незнакомых. Тогда школьников всего не более 41. Осталось доказать, что невозможен случай, когда школьников ровно 41 . Пусть так. Тогда у школьника A ровно 20 знакомых B_{1}, B_{2}, \ldots, B_{20} и ровно 20 незнакомых C_{1}, C_{2}, \ldots, C_{20}. Причем все B_{i} попарно незнакомы, а все C_{i} попарно знакомы. У B_{1} также должно быть ровно 20 знакомых, которые незнакомы между собой. Он уже знает A и не знает никого из B_{i}. Следовательно, он знаком с хотя бы 19 школьниками из C_{i}. Но C_{i} попарно знакомы. Противоречие.