На острове рыцарей и лжецов рыцари всегда говорят правду а лжецы всегда лгут. 899 гостей рассадили за 5-местные и 6-местные столики, причем пустых мест за столиками не осталось. Когда все расселись каждый житель написал в своем личном блоге: "Не считая меня, за моим столиком сидит как минимум 4 лжеца"

Кратко суть задача: на острове с рыцарями (говорят правду) и лжецами (лгут) рассадили 899 гостей за столики 5 и 6 мест. После рассадки каждый написал: «Не считая меня, за моим столиком сидит как минимум 4 лжеца». Нужно понять, какие комбинации рыцарей/лжецов возможны и сколько их в целом. Пошаговое решение 1) Анализ по каждому типу стола - При столе на 5 мест: пусть на таком столе K рыцарей и L лжецов, где K+L=5. - Рыцарь говорит правду, если за его столом (без него) осталось как минимум 4 лжеца. То есть L ≥ 4 — это условие для того, чтобы рыцарь мог говорить правду. - Лжец говорит ложь, то есть его утверждение должно быть ложным. У лжеца, если он сидит за столом, за другие места (кроме него) приходится L-1 лжецов. Утверждение будет истинным, если L-1 ≥ 4, то есть L ≥ 5. Но тогда каждый лжец говорил бы правду, что не допускается. Поэтому на 5-местном столе не может быть случая, когда все 5 сидят лжецы (K=0, L=5). - Следовательно, на 5-местном столе либо есть рыцарь(ы) и 4 лжеца, либо других допустимых комбинаций нет. Но чтобы рыцарь существовал, он видит L=4, и утверждение истинно; это допустимо. И для лжеца в составе (1 рыцарь, 4 лжеца) каждый лжец видит за столом 3 других лжеца и 1 рыцаря, то есть L-1=3, утверждение «как минимум 4 лжеца» лгуном будет ложно. Всё согласуется. - Вывод по 5-местному столу: на каждом таком столе точно 1 рыцарь и 4 лжеца. - При столе на 6 мест: пусть на таком столе K рыцарей и L лжецов, где K+L=6. - Рыцарь требует L ≥ 4 (чтобы за его столом было по меньшей мере 4 лжеца помимо него). - Возможны варианты с рыцарями: (K,L)=(1,5) или (2,4) и т. д. Проверим на совместимость с утверждением лжеца. - Если (1,5): есть 1 рыцарь и 5 лжецов. Рыцарь видит L=5 за столом (все остальные 5 — лжецы) и утверждение истинно. Но что скажут лжецы? У каждого лжеца за столом остаются 4 других лжеца, поэтому L-1=4, утверждение «как минимум 4 лжеца» оказалось бы истинным для лжеца — противно роли лжеца. Таким образом, вариант (1,5) невозможен. - Если (2,4): есть 2 рыцаря и 4 лжеца. Рыцари видят за столом L=4 и их утверждение истинно. Лжецы видят за столом L-1=3 лжеца, поэтому утверждение «за моим столиком не считая меня как минимум 4 лжеца» ложно — что подходит для лжецов. - Другие варианты (например, 3 рыцаря, 3 лжеца и т. д.) не проходят, потому что рыцари потребовали бы L≥4, но тогда будут противоречия с лжецами. И все лжецы на столе из 6 не годятся, т.к. среди них встречаются случаи, когда утверждение ложно либо истинно по определению. - Вывод по 6-местному столу: на каждом таком столе точно 2 рыцаря и 4 лжеца. Итак, окончательная «микроситуация» по столам: - В каждом 5-местном столе: 1 рыцарь и 4 лжеца. - В каждом 6-местном столе: 2 рыцаря и 4 лжеца. 2) Обозначим количество столов - Пусть a — количество 5-местных столов. - Пусть b — количество 6-местных столов. Тогда общее число мест: 5a + 6b = 899 (условие задачи: все места заняты). 3) Решение уравнения 5a + 6b = 899 - Рассмотрим по модулю 5: 899 ≡ 4 (mod 5), а 6b ≡ b (mod 5). Значит b ≡ 4 (mod 5). - Положим b = 4 + 5t, где t — целое неотрицательное. - Подставим в общий вид: 5a + 6(4 + 5t) = 899 → 5a = 899 - 24 - 30t = 875 - 30t → a = 175 - 6t. - Чтобы a было неотрицательно, требуется t ≤ 29 (а ≥ 0 при t ≤ 29). - Следовательно, существует 30 допустимых вариантов (от t = 0 до t = 29). 4) Суммарные числа рыцарей и лжецов - Всего рыцарей: K = a + 2b = (175 - 6t) + 2(4 + 5t) = 183 + 4t. - Всего лжецов: L = 4a + 4b = 4(a + b) = 4( (175 - 6t) + (4 + 5t) ) = 4(179 - t) = 716 - 4t. - Проверка: K + L = (183 + 4t) + (716 - 4t) = 899, как и должно. 5) Что это значит на практике - существует 30 допустимых конфигураций, зависящих от того, сколько 5-местных и 6-местных столов оказалось на острове. - диапазон общего числа рыцарей: K = 183 + 4t, т. е. от 183 до 299 шагом 4. - диапазон общего числа лжецов: L = 716 - 4t, т. е. от 716 до 600 шагом -4. - конкретный ответ зависит от того, сколько именно столов какого типа было расставлено (a и b). Все пары (a, b) удовлетворяющие 5a + 6b = 899 и приведённые выше, дают корректную расстановку. Примеры вариантов - Пример 1 (t = 0): a = 175 5-местных столов, b = 4 6-местных столов. - K = 183 рыцаря, L = 716 лжецов. - Пример 2 (t = 29): a = 1 5-местный стол, b = 149 6-местных столов. - K = 299 рыцарей, L = 600 лжецов. Вывод - Правило раскладки по столам строго определено: каждый 5-местный стол содержит 1 рыцаря и 4 лжеца; каждый 6-местный стол содержит 2 рыцаря и 4 лжеца. - По условию о количестве мест (899) существует ровно 30 допустимых сочетаний чисел столов a и b, задающих 5a + 6b = 899. - Соответственно, общее число рыцарей может принимать значения 183, 187, 191, ..., 299 (шаг 4), а число лжецов соответственно 716, 712, 708, ..., 600. - Без дополнительной информации о точном числе столов каждого типа ответ не уникален; можно перечислить все допустимые пары (a, b) и соответствующие K и L из вышеуказанных формул.