История изменений
Исправление goingUp, (текущая версия) :
Получается, Обезьян (случайно или намеренно) усложнил задачу, а один наивный лоровец об этом не знал и решил её в таком виде.
Короче, если кому интересно, кроме Обезьяна) Я попросил o3 исправить решение упрощенно-усложненной задачи, указав на косяк, но она не осилила. Победа присуждается кожаным мешкам! 
kipar_2024 Правда после следующей подсказки осилила:
Тут все равно ошибка. Попробуй сконструировать вопрос 1 так, чтобы определить второй или третий человек не рандом.
Как построить первый вопрос, чтобы сразу отыскать «не-рандома»
Ниже используется привычный «конвертер»:
V(P) ≔ «Если бы я спросил тебя “P”, ты бы ответил “Фиг его знает”?»
- Для плюсовика-правдоруба и js-лгуна
ответ «Фиг его знает» (далее Φ) ⇔ утверждение
Pистинно; ответ «ХЗ» (далее Χ) ⇔Pложно. - У гошника (рандомщика) ответ случаен.
Шаг 1. Вопрос к X
Q1 (к X): V( «Y — гошник?» )
Если ответ Φ → выбираем Z — он точно не гошник. Если ответ Χ → выбираем Y — он точно не гошник.
Почему это работает
| Кто на самом деле гошник | Что скажет X | Кого мы выбираем | Роль выбранного |
|---|---|---|---|
| Y (утверждение истинно) и X детерминирован (T/L) | Φ | Z | детерминирован |
| не Y (утверждение ложно) и X детерминирован (T/L) | Χ | Y | детерминирован |
| X — гошник (ответ случаен Φ) | Φ | Z | детерминирован |
| X — гошник (ответ случаен Χ) | Χ | Y | детерминирован |
Во всех случаях выбранный сотрудник (назовём его D) оказывается плюсовиком или js-лгуном, но не рандомом.
Полная схема из трёх вопросов
-
Q1 к X — как выше. По ответу выбираем детерминированного D (это либо Y, либо Z).
-
Q2 к D: V( «X — гошник?» )
- Φ → X — гошник; второй оставшийся (не D) детерминирован.
- Χ → гошник — тот второй, а X — детерминирован.
-
Q3 к D (удобно спрашивать того же): V( «Ты — плюсовик?» )
- Φ → D — C++-правдоруб, другой детерминированный — js-лгун.
- Χ → D — js-лгун, другой детерминированный — C++-правдоруб.
Таким образом, за три вопроса:
- мы гарантированно нашли сотрудника, который не рандом, уже после первого запроса (как вы и просили);
- после второго определили, кто именно гошник;
- третий развёл правдоруба и лгуна.
Исходная версия goingUp, :
Получается, Обезьян (случайно или намеренно) усложнил задачу, а один наивный лоровец об этом не знал и решил её в таком виде.
Короче, если кому интересно, кроме Обезьяна) Я попросил o3 исправить решение упрощенно-усложненной задачи, указав на косяк, но она не осилила. Победа присуждается кожаным мешкам! Правда после следующей подсказки осилила:
Тут все равно ошибка. Попробуй сконструировать вопрос 1 так, чтобы определить второй или третий человек не рандом.
Как построить первый вопрос, чтобы сразу отыскать «не-рандома»
Ниже используется привычный «конвертер»:
V(P) ≔ «Если бы я спросил тебя “P”, ты бы ответил “Фиг его знает”?»
- Для плюсовика-правдоруба и js-лгуна
ответ «Фиг его знает» (далее Φ) ⇔ утверждение
Pистинно; ответ «ХЗ» (далее Χ) ⇔Pложно. - У гошника (рандомщика) ответ случаен.
Шаг 1. Вопрос к X
Q1 (к X): V( «Y — гошник?» )
Если ответ Φ → выбираем Z — он точно не гошник. Если ответ Χ → выбираем Y — он точно не гошник.
Почему это работает
| Кто на самом деле гошник | Что скажет X | Кого мы выбираем | Роль выбранного |
|---|---|---|---|
| Y (утверждение истинно) и X детерминирован (T/L) | Φ | Z | детерминирован |
| не Y (утверждение ложно) и X детерминирован (T/L) | Χ | Y | детерминирован |
| X — гошник (ответ случаен Φ) | Φ | Z | детерминирован |
| X — гошник (ответ случаен Χ) | Χ | Y | детерминирован |
Во всех случаях выбранный сотрудник (назовём его D) оказывается плюсовиком или js-лгуном, но не рандомом.
Полная схема из трёх вопросов
-
Q1 к X — как выше. По ответу выбираем детерминированного D (это либо Y, либо Z).
-
Q2 к D: V( «X — гошник?» )
- Φ → X — гошник; второй оставшийся (не D) детерминирован.
- Χ → гошник — тот второй, а X — детерминирован.
-
Q3 к D (удобно спрашивать того же): V( «Ты — плюсовик?» )
- Φ → D — C++-правдоруб, другой детерминированный — js-лгун.
- Χ → D — js-лгун, другой детерминированный — C++-правдоруб.
Таким образом, за три вопроса:
- мы гарантированно нашли сотрудника, который не рандом, уже после первого запроса (как вы и просили);
- после второго определили, кто именно гошник;
- третий развёл правдоруба и лгуна.