Решение с шагами
- Анализ условий на одной таблице
- Пусть на 5‑местной таблице сидит k рыцарей. Тогда остальных лжецов — 5 − k. У рыцаря условие истинно: за его столиком не может быть меньше 4 лжецов среди остальных, т.е. 5 − k ≥ 4 → k ≤ 1. Поскольку у таблицы должно быть как минимум один рыцарь (иначе лжецы бы говорили правду), на 5‑местной таблице допустим только k = 1 рыцарь и 4 лжеца.
- Пусть на 6‑местной таблице сидит k рыцарей. Тогда остальных лжецов — 6 − k. У рыцаря условие истинно: 6 − k ≥ 4 → k ≤ 2. Аналогично, чтобы не было нарушено лжецами, на такой таблице должно быть либо k = 2 рыцаря и 4 лжеца, и других вариантов по логике невозможно. Итого:
- на каждой 5‑местной таблице — 1 рыцарь и 4 лжеца;
- на каждой 6‑местной таблице — 2 рыцаря и 4 лжеца.
Общее количество мест и рыбчин Пусть x — число занятых 5‑местных столов, y — число занятых 6‑местных столов. Всего гостей: 5x + 6y = 877. Всего рыцарей: K = 1·x + 2·y = x + 2y.
Найдем минимальное possible число рыцарей Из условия 5x + 6y = 877 получаем x = (877 − 6y)/5, поэтому K = x + 2y = (877 − 6y)/5 + 2y = 877/5 + (4/5)·y.
Функция K по y возрастает при y ≥ 0, значит минимум достигается при минимальном допустимом y, удовлетворяющем целочисленности: 5x + 6y = 877 требует y ≡ 2 (mod 5). Самое маленькое неотрицательное значение y = 2. Тогда x = (877 − 6·2)/5 = (877 − 12)/5 = 865/5 = 173.
Тогда минимум рыцарей: K_min = x + 2y = 173 + 2·2 = 173 + 4 = 177.
- Проверка и ответ При минимальном числе рыцарей имеем:
- 173 пятиместных столов (по 1 рыцарю и 4 лжеца на каждом),
- 2 шестиместных стола (по 2 рыцаря и 4 лжеца на каждом). Всего рыцарей: 173·1 + 2·2 = 177. Всего лжецов: на каждом столе по 4; всего столов 175 (173 + 2) → 4·175 = 700. Итого гостей: 177 + 700 = 877. Всё согласуется.
Ответ: при минимально возможном числе рыцарей занято 173 пятиместных столов.