B1 Рыцари и лжецы

Почему метод важен

По таблице ВсОШ 9 метод B1 — самый частый сюжетный после E14, F1, F8 и $F3/F2: 18$ задач с пометкой «основной метод» и встречается в задачах с 2010 по 2025 год. Чаще всего стоит на школьном этапе как стартовая или вторая задача, но регулярно поднимается до регионального и заключительного.

Главное, что даёт B1 ученику, — это не «выучить теорию рыцарей». Это умение:

• быстро формализовать условие через истинность/ложность;
• строить разбор случаев и закрывать противоречивые ветки;
• считать ответы «да/нет» и понимать, как меняется счёт, если человек — лжец;
• видеть стандартные сюжеты: круг, таблички, утверждения друг про друга, нумерованные группы.

Дополнительные теги: задачи на рыцарей часто получают пометку +E14 (оценка минимального или максимального числа рыцарей) и +E5 (чётность ответов). Это значит, что B1 — это шлюз к комбинаторным методам, а не отдельный жанр.

Реальные ориентиры из таблицы

Замечание: часть условий из таблицы — OCR-фрагменты, в которых потеряны куски формул и кавычки. Поэтому ниже в семействах часть задач — это чистые учебные задачи, повторяющие реальный ход, а часть — реальные сюжеты, где я даю только первый ход и не пишу выдуманного полного решения.

• Самохарактеристика: любой житель (и рыцарь, и лжец), если его спросить «Ты рыцарь?», ответит «Да». Рыцарь скажет правду, лжец солжёт про себя. Когда использовать: когда житель говорит «я рыцарь» — это не несёт информации о его статусе.
• Указание на другого: если житель A говорит «B — рыцарь», то A и B одного типа (оба рыцари или оба лжецы). Если A говорит «B — лжец», то они разного типа. Условие: прямое указание на статус другого. Когда использовать: цепочки высказываний вида «он говорит о нём».
• Противоречие исключает гипотезу: если при допущении «A — рыцарь» получаем противоречие, то A — лжец, и наоборот. Когда использовать: метод «предположим и проверим» для каждого жителя.
• Согласованность группы: если $k$ жителей из $n$ утверждают, что большинство — рыцари, а остальные $n-k$ утверждают обратное, — только одна из этих групп может быть рыцарями (иначе возникает противоречие$). *$Когда использовать:* групповые задачи с голосованием.

Базовый алгоритм решения B1

Шаг 1. Формализовать утверждения

Каждое утверждение либо истинно, либо ложно. Запиши их как T или F. Каждый житель либо рыцарь (его утверждения T), либо лжец (его утверждения F).

Шаг 2. Найти симметрии

Часто помогает заметить, что некоторые жители говорят про одно и то же. Если двое сказали одинаковое, они оба правы или оба врут. Если двое сказали противоположное, ровно один из них рыцарь.

Шаг 3. Разобрать случаи

Самый честный метод: предположить, что конкретный житель — рыцарь. Если получили противоречие, значит он лжец. Если противоречия нет, проверь, не приводит ли к противоречию другое утверждение.

Шаг 4. Посчитать ответы

В задачах с серией вопросов важно не только «кто рыцарь», а количество ответов «да» или «рыцарь». Тут работает формула: рыцарь и лжец на один и тот же вопрос дают противоположные ответы. Значит, ответы «да» — это «рыцари, для которых ответ да» плюс «лжецы, для которых ответ нет».

Шаг 5. Проверить ответ на согласованность

Если получили распределение рыцарей и лжецов, обязательно вернись к каждому утверждению и убедись, что оно соответствует роли его автора.

Поверхностные признаки (что буквально написано):
- «На острове живут рыцари и лжецы», «каждый рыцарь всегда говорит правду, каждый лжец всегда лжёт».
- «Один из них сказал: ...», «можно ли верить», «определите, кто рыцарь».
- Персонажи делают высказывания о себе или друг о друге.

Структурные признаки (форма выражения, объекты):
- Небольшое число персонажей (2–5), каждый делает одно или несколько высказываний.
- Высказывания могут быть о статусах (рыцарь/лжец) или о фактах внешнего мира.
- Задача детерминирована: должно быть единственное непротиворечивое распределение статусов.

Цель задачи (что от тебя хотят):
- Определить статус каждого персонажа.
- Ответить на вопрос, который задавали персонажу (найти истинный ответ).
- Доказать, что однозначного определения нет (редкий вариант).

7 семейств B1

Семейство 1. Двое-трое говорят друг про друга

Сигнал: маленькое число героев, каждый говорит про каждого. Решается прямым перебором ролей.

Главный ход: разобрать \(2^n\) случаев и оставить согласованные.

Задача 1.1

Двое жителей острова, A и B. A говорит: «B — лжец». Кем являются A и B?

Скелет решения: пусть A — рыцарь, тогда его слова правда, B — лжец. Согласованно. Пусть A — лжец, тогда его слова ложь, B — рыцарь. Тоже согласованно.

Ответ:

\[ \text{один рыцарь, один лжец} \]

Задача 1.2

Двое жителей. A говорит: «Мы оба лжецы». Кем являются A и B?

Скелет решения: если A — рыцарь, его слова правда, значит он лжец — противоречие. Значит A — лжец. Тогда «оба лжецы» — ложь, значит хотя бы один не лжец. Им может быть только B.

Ответ:

\[ A\text{ — лжец},\ B\text{ — рыцарь} \]

Задача 1.3

Трое: A, B, C. A говорит: «B — рыцарь». B говорит: «C — лжец». C говорит: «A и B — оба лжецы». Найдите всех.

Скелет решения: пусть A — рыцарь, тогда B — рыцарь, тогда C — лжец, тогда «A и B оба лжецы» — ложь, что согласовано (они оба рыцари). Проверка: всё сходится.

Ответ:

\[ A,B\text{ — рыцари},\ C\text{ — лжец} \]

Задача 1.4

Реальный сюжет (2014/2015, школьный, №3/№2). Следователь допрашивает Джона, Сэма и Боба. Джон уверяет, что все показания Сэма — ложь. Сэм уверяет, что Боб лжёт. Боб уговаривает «не верить ни Джону, ни Сэму». Кто из них рыцарь?

Скелет решения: формализовать: \(J\Rightarrow\neg S\), \(S\Rightarrow\neg B\), \(B\Rightarrow(\neg J\wedge\neg S)\). Перебор: если Боб — рыцарь, то Джон и Сэм оба лжецы. Тогда Джон лжёт «Сэм всегда лжёт», значит Сэм иногда говорит правду — противоречие, если считать строгих лжецов. Аккуратный разбор даёт согласованное распределение, но реальный текст из таблицы OCR-фрагментарен, поэтому полное решение не выдаём.

Ответ для курса:

\[ \text{первый ход — записать импликации и сначала проверить случай «Боб — рыцарь».} \]

Семейство 2. Утверждения «среди нас рыцарей ровно k»

Сигнал: герои сами говорят, сколько в их компании рыцарей. Решается через анализ возможных значений \(k\).

Главный ход: рыцарь всегда называет настоящее число рыцарей, лжец — любое неверное.

Задача 2.1

Пять жителей. Каждый сказал: «Среди нас ровно один рыцарь». Сколько рыцарей среди них?

Скелет решения: если бы было \(\ge 2\) рыцарей, у них одинаковое истинное утверждение, но они сказали «ровно один» — ложь для них. Значит рыцарей не больше одного. Если рыцарь один, его слова «ровно один рыцарь» правда, всё согласовано.

Ответ:

\[ 1 \]

Задача 2.2

Пять жителей. Один сказал: «Среди нас ровно один рыцарь». Второй: «Ровно два». Третий: «Ровно три». Четвёртый: «Ровно четыре». Пятый: «Ровно пять». Сколько рыцарей?

Скелет решения: все утверждения разные, поэтому правдиво ровно одно. Значит ровно один рыцарь, и это тот, кто сказал «ровно один».

Ответ:

\[ 1 \]

Задача 2.3

Десять жителей в комнате. Каждый из них сказал: «В этой комнате больше лжецов, чем рыцарей». Сколько рыцарей в комнате?

Скелет решения: пусть рыцарей \(r\), лжецов \(10-r\). Их утверждение истинно \(\Leftrightarrow 10-r>r\Leftrightarrow r<5\). Если \(r<5\), все рыцари сказали правду — согласовано, но лжецы должны лгать, а их утверждение тоже истинно — противоречие. Значит \(r\ge5\). Тогда утверждение ложно для всех, и рыцарей среди говорящих быть не может: \(r=0\). Но это противоречит \(r\ge5\). Значит таких жителей нет — задача показывает, что иногда B1 даёт «невозможность». Аккуратно: \(r=0\) не противоречит, потому что нет рыцарей, которым нужно говорить правду. Все 10 — лжецы.

Ответ:

\[ 0\ \text{рыцарей} \]

Задача 2.4

Реальный сюжет (2020, школьный, №3). У 30 пальм прибиты таблички. На 15 написано «Ровно под 15 табличками клад». На 8 — «Ровно под 8 табличками клад». И так далее. Только под одной табличкой клад, и эта табличка не врёт. Какой принцип решения?

Скелет решения: одна табличка-рыцарь говорит правду про общее число кладов, остальные — лжецы. Значит надо найти то число, с которым согласовано «ровно одна табличка с этим числом». Это даст единственный ответ. Реальный сюжет — OCR-фрагмент с потерянными деталями.

Ответ для курса:

\[ \text{ход — выбрать число табличек, согласованное с условием «правды ровно одна».} \]

Семейство 3. Подсчёт ответов «да/нет», «рыцарь/лжец»

Сигнал: каждого спросили один и тот же вопрос, дано общее число конкретных ответов.

Главный ход: формула \(\text{ответы «да»} = \text{рыцари с правдой «да»} + \text{лжецы с правдой «нет»}\).

Задача 3.1

На острове 100 жителей. Каждому задали вопрос: «Ты рыцарь?» Сколько ответов «да»?

Скелет решения: рыцарь ответит «да» (правда), лжец тоже ответит «да» (отрицая своё лжецство). Значит все 100 ответов — «да».

Ответ:

\[ 100 \]

Задача 3.2

На острове 7 жителей. Каждому задали вопрос «ты лжец?». Сколько ответов «нет»?

Скелет решения: рыцарь скажет «нет» (он не лжец, говорит правду), лжец скажет «нет» (он лжец, врёт). Все 7 ответят «нет».

Ответ:

\[ 7 \]

Задача 3.3

Реальный сюжет (2010, муниципальный, №4). На острове рыцарей и лжецов каждого жителя спросили про каждого из остальных, лжец тот или рыцарь. Получено 26 ответов «рыцарь» и 30 ответов «лжец». Сколько рыцарей могло быть?

Скелет решения: пусть всего \(n\) жителей, рыцарей \(r\), лжецов \(\ell=n-r\). Всего ответов \(n(n-1)=26+30=56\). Значит \(n(n-1)=56\), и единственное натуральное решение \(n=8\). Каждый рыцарь правдиво называет других рыцарями/лжецами, каждый лжец — наоборот. Считаем число пар «рыцарь говорит про рыцаря» — все скажут «рыцарь». Число пар «лжец говорит про рыцаря» — скажет «лжец». И так далее. Получаем: ответов «рыцарь» равно \(r(r-1)+\ell(\ell-1)\) (пары одного типа дают «рыцарь» от рыцаря и «рыцарь» от лжеца — стоп, нужен аккуратный разбор).

Аккуратно: упорядоченная пара «A говорит про B»:

• A рыцарь, B рыцарь — ответ «рыцарь»;
• A рыцарь, B лжец — ответ «лжец»;
• A лжец, B рыцарь — ответ «лжец» (лжёт про рыцаря);
• A лжец, B лжец — ответ «рыцарь».

Ответов «рыцарь» = \(r(r-1)+\ell(\ell-1)\). Ответов «лжец» = \(r\ell+\ell r=2r\ell\).

При \(n=8\): \(2r(8-r)=30\), значит \(r(8-r)=15\), откуда \(r=3\) или \(r=5\). Проверка: \(r(r-1)+\ell(\ell-1)\) при \(r=3,\ell=5\): \(6+20=26\). Совпадает.

Ответ:

\[ 3\text{ или }5 \]

Задача 3.4

Реальный сюжет (2016, школьный, №1–№3). Гномам задают серию из четырёх вопросов: «Ты предпочитаешь красный кафтан?», «Ты предпочитаешь зелёный?», «Ты предпочитаешь синий?», «На предыдущие вопросы ты отвечал честно?». На первый «да» ответили 40, на второй 50, на третий 70, на четвёртый 100. Сколько честных гномов?

Скелет решения: реальный сюжет ВсОШ 2016 школьного этапа. Идея — последний вопрос делит гномов: рыцарь ответит «да» только если все предыдущие ответы были правдой, лжец ответит «да» только если хотя бы один из предыдущих был неправдой (с его точки зрения). Через перебор по сочетаниям и инвариантам выходит конкретный ответ. Текст OCR-фрагментарный, поэтому полное решение не приводим.

Ответ для курса:

\[ \text{ход — ввести переменные для гномов каждого цвета и каждого типа, посчитать ответы «да» для каждого вопроса.} \]

Семейство 4. Круг жителей и соседи

Сигнал: жители сидят по кругу или в ряду, говорят про соседей.

Главный ход: использовать чередование «рыцарь–лжец» и анализ согласованности по циклу.

Задача 4.1

За круглым столом сидят 10 человек. Каждый сказал про правого соседа: «Он рыцарь». Сколько рыцарей за столом?

Скелет решения: если кто-то рыцарь, то его правый сосед — рыцарь. Значит, если есть один рыцарь, то и весь круг — рыцари. Если все 10 рыцари — согласовано. Если все 10 лжецы — каждый врёт «он рыцарь», т.е. правый сосед лжец. Тоже согласовано.

Ответ:

\[ \text{все 10 рыцари, либо все 10 лжецы} \]

Задача 4.2

За круглым столом сидят 10 человек. Каждый сказал про правого соседа: «Он лжец». Сколько рыцарей за столом?

Скелет решения: если \(i\)-й — рыцарь, то \((i+1)\)-й — лжец. Значит \((i+2)\)-й — рыцарь (потому что лжец врёт). Чередование «рыцарь–лжец» по кругу возможно только при чётной длине цикла. \(10\) чётно, значит ровно 5 рыцарей и 5 лжецов.

Ответ:

\[ 5 \]

Задача 4.3

Реальный сюжет (2015, региональный, №1). За круглым столом сидят 2015 человек. Им раздали по одной карточке с номером. Дальше идут утверждения про соседей. Какой принцип решает задачу?

Скелет решения: реальный сюжет регионального этапа 2015. Главная идея — нечётность числа 2015. Если жители «чередуются», то цикл нечётной длины невозможен. Значит появляется одна несогласованная вершина, и через неё проходит вся структура.

Ответ для курса:

\[ \text{первый ход — использовать нечётность 2015 для невозможности «строгого чередования» по кругу.} \]

Задача 4.4

Реальный сюжет (2012, региональный, №3). За круглым столом сидят 30 человек, у каждого ровно один друг среди оставшихся, и каждый сказал что-то про дружбу. Какой основной приём?

Скелет решения: пары друзей разбивают 30 человек на 15 пар. Внутри каждой пары работает классическое правило «оба рыцари / оба лжецы / разные». Дальше число рыцарей выводится из суммы ответов. Текст в таблице фрагментарный, поэтому полного решения не выдаём.

Ответ для курса:

\[ \text{ход — пары друзей и согласованность каждой пары.} \]

Семейство 5. Группы по признакам (футболки, мороженое, цвета)

Сигнал: жители разбиты на группы по признаку, говорят про группы.

Главный ход: ввести переменные «сколько рыцарей в каждой группе» и решить систему.

Задача 5.1

Среди 10 гномов 4 любят шоколадное мороженое, 3 — клубничное, 3 — ванильное. Каждый сказал: «Среди любителей моего сорта рыцарей больше, чем лжецов». Сколько среди гномов рыцарей?

Скелет решения: в каждой группе разберём. Группа из 4: рыцарей \(r\), лжецов \(4-r\). Утверждение «рыцарей больше лжецов» истинно \(\Leftrightarrow r>2\). Если истина, то все 4 рыцари (по предыдущему семейству) — но в условии говорят все 4. Если \(r=4\), всё согласовано. Если \(r\le 2\), всё ложно, и должно быть \(4-r=4\), то есть \(r=0\). Аналогично для троек: либо все рыцари, либо все лжецы. Перебор даёт несколько ответов. Эта задача — учебная вариация реального сюжета 2013.

Ответ:

\[ 0,\ 3,\ 4,\ 6,\ 7,\ 10\ \text{в зависимости от групп} \]

Задача 5.2

Реальный сюжет (2013, школьный, №6). 10 гномов, каждый любит ровно один сорт из трёх: сливочное, шоколадное, клубничное (точные сорта могут меняться). Каждый делает утверждения про сорт другого гнома. Какой ход?

Скелет решения: реальный сюжет 2013 школьного. Главный приём — табличка \(10\times 10\), где для каждого гнома хранится «любит шоколадное?», «любит клубничное?» и «рыцарь или лжец?». Каждое утверждение даёт логическую связь между парой клеток. Согласованность сводится к проверке системы. Текст OCR-фрагментарный.

Ответ для курса:

\[ \text{ход — таблица + перебор согласованных конфигураций.} \]

Задача 5.3

Реальный сюжет (2022, школьный, №5). 80 жителей острова, каждый надел футболку с номером от 1 до 8. Известно, что номеров каждого вида ровно по 10. Каждый житель сделал утверждение о номерах своих соседей. Какой ход?

Скелет решения: реальный сюжет ВсОШ 2022. Главный ход — рассмотреть, какие группы по номеру дают согласованную конфигурацию: либо в группе все рыцари, либо все лжецы. Это резко сокращает перебор. Реальный текст фрагментарный.

Ответ для курса:

\[ \text{ход — для каждой группы из 10 одинаковых номеров решить независимую B1-задачу.} \]

Задача 5.4

Среди \(n\) жителей \(k\) сказали «я рыцарь», остальные сказали «я лжец». Сколько рыцарей?

Скелет решения: первое утверждение скажут все, второе — никто (см. семейство 3.1, 3.2). Значит \(k=n\) и второй вариант невозможен. Если в задаче «никто не сказал я лжец», ответ не определяется и нужно дополнительное условие.

Ответ:

\[ k=n,\ \text{рыцарей определить нельзя без дополнительных данных} \]

Семейство 6. Универсальные утверждения

Сигнал: житель делает утверждение, которое должно быть истинно одновременно для всех чисел/комбинаций (например, «в произведении нет цифры 6»).

Главный ход: рыцарь говорит правду для всех случаев, значит универсально; лжец говорит ложь хотя бы в одном случае.

Задача 6.1

Саша заявил: «Какое бы число от 1 до 10 ты ни задумал, в произведении наших чисел нет цифры 6». Юра задумал число 7. Может ли Саша быть рыцарём, если он сам задумал 8?

Скелет решения: проверим произведение \(7\cdot 8=56\). В числе 56 есть цифра 6, значит утверждение Саши ложно. Значит, если Юра задумал 7, Саша — лжец.

Ответ:

\[ \text{нет, Саша лжец} \]

Задача 6.2

Реальный сюжет (2024, школьный, №5). Саша и Юра задумали по числу от 1 до 10. Саша сказал: «Неважно, какое число ты задумал, в произведении наших чисел нет цифры 6». Найдите числа.

Скелет решения: пусть Саша задумал \(s\). Если Саша — рыцарь, для всех \(y\in\{1,\ldots,10\}\) в десятичной записи \(sy\) нет цифры 6. Перебор: \(s=1\): \(\{1,2,3,4,5,6,7,8,9,10\}\) содержит 6 — провал. \(s=2\): среди 2,4,6,...,20 есть 16 — содержит 6. \(s=3\): 3,6,...— 6, 18, 36 — нет. \(s=4\): 4,8,...,40 — есть 16, 24, 36. \(s=5\): 5,10,...,50 — есть 15? нет 15 — нет 6. Но 25? нет. 58=40, 59=45, 5*10=50 — без 6. Получили \(s=5\) подходит! Проверка всех: 5, 10, 15, 20, 25, 30, 35, 40, 45, 50 — все без цифры 6. И \(s=7\): 7,14,21,28,35,42,49,56 — есть 56 (содержит 6). Только \(s=5\) подходит, тогда Саша рыцарь, Юра — любое.

Если Саша лжец, утверждение ложно, значит существует \(y\), что \(s y\) содержит 6. Сашино число — любое из 1,2,3,4,7,9, и Юрино число такое, что \(sy\) содержит 6 (но это не обязано быть Юриным реальным числом). Подробный разбор требует уточнения условия.

Ответ:

\[ \text{если Саша рыцарь, то его число } 5;\text{ если лжец, то любое из } 1,2,3,4,6,7,8,9,10 \]

Задача 6.3

Житель сказал: «Сумма цифр любого моего числа делится на 9». Может ли он быть рыцарем?

Скелет решения: «любого моего числа» подразумевает все натуральные числа. Сумма цифр числа 1 равна 1 и на 9 не делится. Значит утверждение ложно. Житель — лжец.

Ответ:

\[ \text{лжец} \]

Задача 6.4

Житель сказал: «Все жители этого острова — лжецы». Кем он является?

Скелет решения: если он рыцарь, то он сам — лжец, что противоречит. Значит он лжец. Тогда утверждение «все лжецы» ложно, значит хотя бы один рыцарь существует, но это не он. Задача показывает, что лжец-самоописатель невозможен только при определённых формулировках.

Ответ:

\[ \text{лжец, но на острове есть и рыцари} \]

Семейство 7. Совмещённые задачи: B1 + другой метод

Сигнал: задача про рыцарей, но дополнительно требует подсчёт, оценку, чётность или комбинаторное рассуждение.

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

Задача 7.1

На острове сделали утверждения про чётность числа рыцарей. Каждый сказал: «Число рыцарей чётно». Сколько может быть рыцарей среди 11 жителей?

Скелет решения: пусть рыцарей \(r\). Если \(r\) чётно, все рыцари правы; лжецы должны соврать, но утверждение истинно, значит лжецов нет. Тогда \(r=11\) и нечётно — противоречие. Значит \(r\) нечётно, утверждение ложно, лжецов всего \(11-r\), все они лгут — ок, рыцари должны говорить правду, но утверждение ложно — противоречие, поэтому \(r=0\).

Ответ:

\[ 0 \]

Задача 7.2

Реальный сюжет (2017, школьный, №4). Три школьника сделали по два утверждения про натуральные числа \(a, b, c\): Антон: «\(a+b+c=34\)», «\(abc=56\)». Борис: «\(ab+bc+ac=311\)», «наименьшее из чисел равно \(\ldots\)». Один школьник — рыцарь, остальные — лжецы. Что тренировать?

Скелет решения: реальный сюжет — гибрид $B1 + C5a ($Виета). Считаем многочлен с корнями \(a,b,c\): \(x^3-(a+b+c)x^2+(ab+bc+ac)x-abc\). Подставляем «правдивые» и «лживые» комбинации и проверяем существование натуральных корней. Это уровень муниципального/регионального.

Ответ для курса:

\[ \text{ход — связать утверждения с симметрическими функциями и Виета.} \]

Задача 7.3

Реальный сюжет (2023, школьный, №8). Собралось несколько жителей острова, и каждый из них про каждого другого сделал какое-то утверждение. Какой ход?

Скелет решения: реальный сюжет 2023. Идея — для каждого жителя посчитать число его «рыцарь»-ответов и «лжец»-ответов. Сумма по острову даёт инвариант. Текст OCR-фрагментарный.

Ответ для курса:

\[ \text{ход — двойной подсчёт ответов по парам жителей, как в задаче 3.3.} \]

Задача 7.4

На круглом столе сидят 30 человек, среди них есть рыцари и лжецы. Каждый сказал про обоих соседей, причём ровно у 19 человек один из ответов — «рыцарь». Возможно ли это, если за столом 12 рыцарей?

Скелет решения: учебная задача в стиле реального сюжета 2023 муниципального. Каждый рыцарь видит правильно: если оба соседа — рыцари, у него 2 ответа «рыцарь»; если один — 1 ответ; если ни одного — 0. Лжец видит наоборот. Считаем общее число пар (упорядоченные пары «житель — сосед»): \(30\cdot 2=60\). Пар (рыцарь, рыцарь) даст 2 ответа «рыцарь» от каждого из них. Полный подсчёт привязан к графу соседства. Эта задача показывает, как B1 переходит в E10 (двойной подсчёт).

Ответ для курса:

\[ \text{ход — двойной подсчёт пар «житель–сосед» с разбиением по типам пар.} \]

• Ошибка: «я рыцарь» — информативное высказывание → И рыцарь, и лжец скажут «я рыцарь». Эта фраза не несёт информации о статусе. → Как избежать: помни, что самохарактеристика всегда «я рыцарь» — это аксиома задачи.
• Ошибка: «лжец иногда говорит правду» → По условию лжец лжёт всегда — каждое его высказывание является противоположностью истины. → Как избежать: это не жизненный «лжец», а логический — строгое «всегда лжёт».
• Ошибка: не проверить все комбинации → Нашёл одно непротиворечивое решение и остановился, не убедившись, что оно единственное. → Как избежать: всегда проверяй все $2^n$ комбинаций (для малого $n$) или докажи, что остальные дают противоречие.
• Ошибка: анализировать высказывания изолированно → Статус каждого жителя влияет на интерпретацию высказываний других. → Как избежать: вывести статусы последовательно, начиная с наиболее «ограниченного» персонажа.
• Ошибка: переносить бытовую логику → «Лжец не может не знать, что он лжец» или «лжец может ошибиться» — в задаче все знают свой статус и действуют строго по правилу. → Как избежать: работай только с формальными правилами условия.