стояли звери около двери: задачка

[avva]

Красивая логическая задачка от Константина Кнопа. Я храбро бросился решать ее в уме и уже представлял, как напишу: "вот, красивая задачка, на бумаге легко, но интереснее ее в уме решить". А вот и фиг, не решилась она ни фига в уме. Но с ручкой и бумагой решилась.

Известно, что Крокодил всегда лжёт, Слон всегда говорит правду, Обезьяна просто повторяет чей угодно последний ответ, сказанный перед ней (а если ей задать самый первый из всех вопросов, ответит как попало), а Черепаха даёт честный ответ, но на предыдущий заданный ей вопрос (а на первый вопрос к ней отвечает как попало). Мудрый Крот наткнулся на Крокодила, Слона, Обезьяну и Черепаху, которые стояли друг за другом, и решил выяснить, в каком порядке они стоят.

Спросив их всех в порядке, в каком они стояли "Ты Крокодил?", он смог определить только где стоит Черепаха. Спросив всех в том же порядке: "Ты Черепаха?", он смог ещё понять, где стоит Крокодил, но полной ясности так и не наступило. И лишь после того, как на вопрос "Ты Обезьяна?" первый ответил "Да", Кроту наконец стало ясно, в каком порядке стояли животные. Так в каком же?

Comments

[rsokolov.livejournal.com]

"Sir, what is the practical application of this?" (c)

[levtsn.livejournal.com]

Неужели по голосу не понять кто крокодил, кто черепаха. )

[drhoenikker.livejournal.com]

Из последнего видно, что обезьяна первая (Слон не может врать, про остальных уже известно, так что их да не давало бы новой информации). Значит, предыдущий ответ был "Да". Так мог ответить только Крокодил, тк и Слон и Черепаха сказали нет.

В первом раунде должно быть ровно одно ДА, потому что если их нет, то вообще ничего не понять, а если два и понятно, где Черепаха, то понятно и где Обезьяна. Если бы Черепаха была бы на втором месте, то к концу второго раунда мы бы тоже знали, где Обезьяна. Значит, ОСЧК, и бумага не нужна. :)

[ger04ka.livejournal.com]

> В первом раунде должно быть ровно одно ДА, потому что если их нет, то вообще ничего не понять

Это неверное утверждение.
Наоборот, если в первом раунде 2 ДА, то в нем же однозначно определяется обезьяна (и второе ДА обязательно идет после первого).

[tyomitch.livejournal.com]

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

Откуда бы мы это знали?
Либо она первая, и собезьянничала за Крокодилом из прошлого раунда; либо она третья, и собезьянничала за Черепахой.

[ger04ka.livejournal.com]

Вроде получилось в уме)
Обезьяна Крокодил Черепаха Слон.
Так?

[avva.livejournal.com]

Нет :)

[(Anonymous)]

Мне кажется, что вместо
"...Черепаха даёт честный ответ, но на предыдущий..."
следует написать
"...Черепаха даёт честный ответ, но на последующий..."

[avva.livejournal.com]

Не могу понять: вы полагаете, что условие неправильное, и нужно было так (это неверно), или предлагаете изменить условие на такое, и тогда такой же ответ/другой ответ и тоже интересно (не думал об этом)?

[dims12.livejournal.com]

Решал около часа, старался в уме. Несколько раз менял ход рассуждений, но всё время только писал в этой клеточке словесный текст, без формул и других вспомогательных надписей.

В конце концов, пришёл к выводу, что фишка в том, что не надо пытаться повторять рассуждения Крота на первом этапе. Они возможны (Крот-то их проделал), но для нас они слишком сложны, так как мы не знаем ответов. Нам нужно перебрать множество ответов и вычислить, в каких случаях Черепаха раскрывает себя, а это без бумажки не получится.

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

***

Общее свойство: если в цепочке ответов нет повторов, то Обезьяна стоит первая, так как она обязательно даёт повтор. Поскольку на всех этапах положение Обезьяны было неизвестно, то в ответах были повторы, которые давали основание предполагать, что их даёт Обезьяна.

На этапе последнего вопроса, Крот знает, где Крокодил и Черепаха, так же, он он знает, какие ответы поступят из их местоположений: Крокодил всегда лжёт и ответит "нет", а Черепаха отвечает с запаздыванием, но Крот знает, какие вопросы он задавал раньше (мы ответ не знаем, Крот знает).

При этом, ответ первого животного в цепочке был Кроту неизвестен, иначе он не мог быть ключом к разгадке. Значит, это не Крокодил и не Черепаха (их ответы известны и ключом быть не могут). То есть, на первом месте могли быть Слон или Обезьяна. Но Слон честен и он бы ответил "нет", а прозвучал ответ "да". Стало быть, на первом месте была Обезьяна и это выяснилось только на последнем ответе.

Теперь отходим на один вопрос назад. Крот знает, что должны ответить Крокодил ("да"), Слон ("нет") и Черепаха ("нет"). Если бы стоящая впереди Обезьяна ответила бы "да", то Крокодила нельзя было бы найти, где бы он ни стоял. Но Крот его нашёл. Стало быть, он единственный ответил "да", а Обезьяна ответила "нет".

Эти 4 известные ответа надо расположить так, чтобы были повторы, потому что при отсутствии повторов, Крот сразу догадался бы, что Обезьяна стоит впереди. Стало быть, это "нет", "нет", "да", "нет", то есть, Крокодил находится на третьем месте.

Наконец, переходим к первому вопросу. Ответы Крокодила и Слона известны и это "нет" у обоих, причём Слон расположен на втором или четвёртом месте и поэтому обязательно составляет повтор с Крокодилом. Если бы в цепочке был всего один этот повтор, то его нельзя было бы списать на обезьяну и нужен ещё. То есть, должно быть либо три "нет" в начале и одно "да" в конце, либо три "нет" подряд в конце, либо два "да" в начале и два "нет" в конце.

Но в последних двух случаях нельзя было бы вычислить Черепаху, а Крот её вычислил. Стало быть, первые ответы были "нет", "нет", "нет", "да", Черепаха выдала себя случайным ответом.

Слон, стало быть, на втором месте.

[mtyukanov.livejournal.com]

При ответах на второй вопрос "нет, нет, да, нет", обезьяна должна была бы на третий вопрос ответить "нет".

[(Anonymous)]

На первый вопрос крокодил и слон ответят нет, черепаха ответит либо да либо нет, обезьяна, если стоит первой - либо да либо нет, если за слоном или крокодилом, то нет, если за черепахой - то повторит ее ответ.

По условию задачи, кот смог узнать только черепаху, и он мог её узнать только если она сказала да. Если бы да было сказано два раза подряд, то он узнал бы еще и обезьяну, а если бы эти да были первыми, то он не смог бы определить, кто стоит первым - черепаха или обезьяна.

Таким образом мы узнаем что черепаха не стоит за обезьяной

[(Anonymous)]

На второй вопрос крокодил скажет да, слон скажет нет. Черепаха скажет нет, отвечая на первый вопрос. Обезьяна, если стоит первой, скажет либо да либо нет. Если за крокодилом - то да. Если за слоном или черепахой - то нет.

Кот смог найти крокодила, который сказал да. Он не смог найти обезьяну, значит обезьяна не стоит за крокодилом тоже.

Обезьяна стоит либо первой либо за слоном.

[etot-samyi.livejournal.com]

Нашел аналогичную задачу в задачнике для олимпиады для 6-7х классов :)
http://mathus.ru/math/matholymp67.pdf
Номер 4.3.31

[spamsink.livejournal.com]

Вот именно. С ёжиком в тумане и жирафом куда как красивее, а это выглядит как жалкий плагиат.

[(Anonymous)]

обезьяна первая, за ней слон, черепаха, крокодил
На первый вопрос может быть только одно да - от черепахи, если у нас два да - от черепахи и обезьяны, то мы либо однозначно определяем обоих, либо не можем определить ни одну из них.
На второй вопрос крокодил отвечает да, черепаха и слон - нет. Если обезьяна отвечает да, то аналогично, мы либо можем однозначно определить где стоит обезьяна, либо не можем определить где стоит крокодил.
При этом точно известно, что обезьяна не стоит за черепахой (и не стоит на первом месте, если черепаха на последнем) и не стоит за крокодилом.
Т.е. черепаха и крокодил стоят последними, а слон с обезьяной первыми.
На третий раз поскольку первый отвечает да - то это обезьяна, за ней идёт слон, потом черепаха (которая на предыдущем вопросе сказала нет) и крокодил (который сказал да, которое повторила обезьяна)

[winnie-olga.livejournal.com]

Решала в уме.
Получилось так: Обезьяна, (Слон, Черепаха), Крокодил.
Слон и Черепаха могут быть в любом порядке, все зависит от их ответов на первый вопрос.

Рассуждаем с конца:
1) На вопрос «Ты обезьяна?» 1 ответил Да. Так могли ответить Обезьяна (номер 4 до этого на вопрос «Ты черепаха?» ответил Да), крокодил (всегда лжет) или черепаха (потому что она в этом случае отвечает на пред. вопрос «Ты черепаха?») . Итак, обезьяна, крокодил или черепаха. И после этого ответа кроту все стало понятно. Но к этому времени он уже знал, где стоят черепаха крокодил. Делаем вывод, что по этому вопросу-ответу крот узнал обезьяну.
Итак, обезьяна — 1.

2) Обезьяна стоит на 1 месте и отвечает Да на вопрос «Ты обезьяна?» . Следовательно на 4 месте до этого на вопрос «Ты черепаха?» ответили Да. Кто мог так ответить? Слон — не мог. Крокодил — мог. Черепаха не могла, потому что в этом случае она бы отвечала на вопрос «Ты крокодил?» и сказала бы Нет. Вывод: на 4 месте стоит крокодил.
Итак, крокодил — 4.

обезьяна X Y крокодил

3) Как по вопросу «Ты Черепаха?» крот смог определить крокодила? Слон ответит Нет, крокодил ответит Да, черепаха ответит Нет. Что ответит обезьяна? Она повторит ответ крокодила на вопрос «Ты Крокодил?», т. е. тоже Нет. Значит, только крокодил ответит Да.

4) Думаем, как по первому вопросу «Ты крокодил?» он смог определить черепаху? Слон и крокодил на этот вопрос точно ответят Нет, т. е. в ответах будет два Нет. Если бы все ответили Нет, то определить ничего не выйдет.
Есть вариант Да Да Нет Нет, но тогда непонятно, кто из Да есть черепаха, а кто обезьяна.
Определить кого-то можно, только если ответы идут в порядке Нет, Да. Если после Нет появляется Да, то это может быть только черепаха, потому что обезьяна тоже ответила бы Нет.
Крокодил — 4, так что это Нет отпадает. Варианты: обезьяна сказала Нет и получилось
Нет (обезьяна) Да (черепаха) Нет (слон) Нет (крокодил)
или слон сказал Нет и получилось
Нет/Да (обезьяна) Нет (слон) Да (черепаха) Нет (крокодил)

Но при варианте ответов Да Нет Да Нет крот мог бы вычислить за первый вопрос сразу обезьяну и черепаху. Следовательно, в этом случае обезьяна ответила Нет.

обезьяна черепаха слон крокодил
нет да нет нет → черепаха = 2 "Ты Крокодил?"
нет нет нет да → крокодил = 4 "Ты Черепаха?"
да → обезьяна = 1 "Ты Обезьяна?"

обезьяна слон черепаха крокодил
нет нет да нет → черепаха = 3 "Ты Крокодил?"
нет нет нет да → крокодил = 4 "Ты Черепаха?"
да → обезьяна = 1 "Ты Обезьяна?"

[(Anonymous)]

обезьяна черепаха слон крокодил не проходит.
После ответа на первый вопрос уже ясно, что обезьяна не третья (она бы тоже ответила "да"). Тогда после второго вопроса порядок становится однозначным (или очск, или счок, но, опять же, второй вариант не подходит), и третий вопрос не нужен.

Пока не решил

[son-0f-morning.livejournal.com]

В уме действительно интересно!

На бумажке просто выписать 24 варианта расстановок животных и механически проверить.

RE: Пока не решил

[psilogic.livejournal.com]

По правилам подходит сразу несколько, как минимум: ОЧСК, ОCЧК и СОЧК.
Поэтому не обойтись без рассуждений типа "Крот мог узнать/Крот не мог узнать"

[(Anonymous)]

Крокодил обезьяна слон черепаха

[(Anonymous)]

путин бомба героин кухня спички керосин

[p_govorun.livejournal.com]

...И лишь после того, как на вопрос "Ты Обезьяна?" первый ответил "Да", Кроту наконец стало ясно, в каком порядке стояли животные.

И тогда Майя Тойвовна Глумова закричала.

[dreamer-other.livejournal.com]

О, С, К, Ч
Рассуждение:
К 3му вопросу 1я буква была неизвестна, иначе вопрос бы не требовался. О не может быть после К и Ч, тк тогда О была бы известна после 2го и С соответственно тоже. Значит К и Ч могут занимать только 3 и 4 позиции. На 3й вопрос С ответил бы Нет, значит первая О. Теперь надо понять, КЧ или ЧК. Точного решения нет, однако, если ЧК, тогда после первого вопроса будет известно, что О на 1 или 2, тогда, наверно, 2м вопросом можно что-то спросить по другому и узнать решение сразу без 3го.

[dreamer-other.livejournal.com]

Прочитал комменты и понял, что упустил, что О рандомит только первый раз на первом месте, а потом всегда повторяет. Значит на 2й вопрос К должен быть на последнем месте и ответить Да, что бы обезьяна повторила это Да на 3м вопросе. Ну все равно не обидно, тк тут скорее неясность в условии :)

[psilogic.livejournal.com]

У меня получилось понять, как Крот "все понял", но не получилось понять, как все понять нам :)

Сокращаю Д(да),Н(нет), животных как ЧОСК.

На вопрос "ты крокодил?" животные должны ответить:
С = Н
К = Н
О = random в позиции 1, иначе как предыдущий
Ч = random

Количество Д = 0..2
- Допустим, количество Д = 0. Серия ответов НННН допускает расстановки ЧОСК и ОЧСК, что не позволит Кроту установить позицию Ч, значит количество Д не 0.
- Допустим, количество Д = 2. Если есть соседние НД, то Ч на месте Д (обезьяна не смогла бы не собезьянничать). Тогда второе Д, укажет на О. Но Крот не узнал после 1 вопроса, где О. Значит среди серий с 2Н и 2Д, допускаются только серии без соседних НД. Такая только одна: ДДНН. Но она допускает расстановки ЧОСК и ОЧСК, что не позволит Кроту установить позицию Ч, значит количество Д не 2.
- Значит, количество Д = 1. По единственному Д Крот нашел Ч.
- Серия ДННН допускает расстановки ЧСКО и ОКСЧ, что не позволит Кроту установить позицию Ч.
- Остаются серии:
НДНН, ННДН, НННД - т.е. Ч точно не первая.

На вопрос "ты черепаха?" животные должны ответить:
С = Н
К = Д
О = как предыдущий
Ч = Н (отвечая на предыдущий вопрос)

Что ответила О?
Если она ответила Д, тогда остается только два Н, одно принадлежит Ч, второе - С. Зная позицию Ч, Крот вычислит позицию С, а он на этом шаге не нашел С. Значит О ответила Н. Значит и во сторой серии будет только один ответ Д, и по нему Крот вычислил К(рокодила). Варианты серий ответов:

ДННН, НДНН, ННДН, НННД

На вопрос "ты обезъяна?" животные должны ответить:

С = Н
К = Д
О = как предыдущий
Ч = Д (отвечая на предыдущий вопрос)

Кроту хватило здесь только первого вопроса. Это не мог быть ответ К или Ч, поскольку их позиции уже были известны Кроту, их ответы тоже заранее известны и никакой новой инфы он из этого ответа не получил бы.

Далее, важен последний ответ предыдущей серии.

Если он был Н, тогда первый ответ третьей серии будет Н и для О, и для С. Значит опять - никакой инфы.

Допустим, последний ответ второй серии был Д. Теперь, если первый ответ третьей серии Н, то это однозначно С, а если первый ответ третьей серии Д, то это однозначно О. Действительно, в этом и только в этом случае из одного первого ответа можно вытащить достаточно инфы. А это значит, что из вариантов второй серии остается только НННД. Крокодил - последний.

Посмотрим, какие остались варианты:

Первая серия: НДНН, ННДН, НННД
Вторая серия: НННД
Третья серия: Н, Д

В первой серии позиция Д определяет положение Ч. Поскольку выяснилось, что К - последний, то третий вариант первой серии отпадает. Ч - либо вторая, либо третья. Остается:

Первая серия: НДНН, ННДН
Вторая серия: НННД
Третья серия: Н, Д

Остается всего 4 комбинации:
НДНН->НННД->Н
ННДН->НННД->Н
НДНН->НННД->Д
ННДН->НННД->Д
Первая серия определяет положение Ч, вторая положение К (всегда последний), третья, кто первый - С или О. То есть напротив каждой комбинации можно выписать расстановку:

НДНН->НННД->Н = CЧОК
ННДН->НННД->Н = СОЧК
НДНН->НННД->Д = ОЧСК
ННДН->НННД->Д = ОСЧК

С точки зрения правил, только первый вариант исключен (в нем О в первой серии отвечает Н после Д. Но все другие варианты (я перепроверил) с нашей точки зрения подходят.

Осталось исключить те варианты, где О не обезъянничает, т.е. не отвечает, как предыдущий.

То есть у меня получается, что, хотя Крот действительно однозначно все вычислил на третьем вопросе, но нам не хватает данных.

Аноним писал "Таким образом мы узнаем что черепаха не стоит за обезьяной" - это действительно оставит только один вариант, но непонятно, как он сделал тот вывод.

[dreamer-other.livejournal.com]

СОЧК: C не может быть первым, тк на 3й вопроc он ответил бы "Нет".
ОЧСК: Если после 2го вопроса расположение _Ч_К, то Крот догадался бы, что после Ч не О, так как был бы дубль "Да". А значит он бы уже знал решение и 3й вопрос не потребовался бы.

[migmit (from livejournal.com)]

Решил в уме. Комменты не читал.

Получается так: Обезьяна — Слон — Черепаха — Крокодил, но на самом деле ответа нет.

Поясняю.

Для начала, посмотрим на последний ответ. Слон на первом месте стоять не может — иначе, ответив «да», он бы соврал. Черепаха и Крокодил стоят на местах, которые Кроту уже известны; если бы одно из них было первым, то Крот мог бы предсказать ответ заранее (и это был бы ответ «да» — Крокодил соврал бы, а Черепаха отвечала бы на предыдущий вопрос, «ты Черепаха?»), и, таким образом, этот ответ не дал бы ему никакой информации. Значит, на первом месте стоит Обезьяна.

Таким образом, предыдущий ответ — последний во втором круге — тоже был «да», так как Обезьяна всегда обезьянничает. Но кто мог дать этот ответ? Не Обезьяна — потому что она стоит на первом месте, а не на четвёртом. Не Слон, потому что вопрос был «ты Черепаха?», а Слон не врёт. Не Черепаха — так как она отвечала бы на предыдущий вопрос, «ты Крокодил?», и она тоже не врёт. Значит, там Крокодил.

Как отвечали прочие звери во втором круге? Вопрос был «ты Черепаха?» — так что Слон честно сказал «нет». Обезьяна повторила предыдущий ответ — а это был ответ Крокодила на вопрос «ты Крокодил?», то есть, тоже «нет» (так как Крокодил всегда врёт). Черепаха честно ответила, но, опять-таки, на предыдущий вопрос «ты Крокодил?», то есть, тоже «нет». То есть, Крокодил был единственным, кто ответил «да» — тут-то его Крот и вычислил, так как на этот вопрос он обязан был ответить «да».

В первом круге, однако, Обезьяна отвечала как попало (к ней был обращён первый вопрос), Черепаха — тоже как попало (это первый вопрос к ней), а Слон и Крокодил оба ответили «нет» (Слон сказал правду, Крокодил соврал). Если бы Обезьяна и Черепаха обе ответили «нет», то Крот, получив четыре ответа «нет», не смог бы определить ничего — в любом варианте расстановки все четверо могли бы ответить «нет» (Обезьяна могла бы стоять первой и ответить от балды, а могла бы стоять не первой и собезьянничать). Если бы Черепаха и Обезьяна обе ответили «да», то Крот, который, как мы знаем, сумел вычислить Черепаху, сумел бы тут же определить и Обезьяну — как тот из ответивших «да», который не Черепаха. Значит, в первом круге был один ответ «да» — от Обезьяны или от Черепахи — и три «нет» (как и во втором, кстати).

Если бы ответы в первом круге были «да — нет — нет — нет», то Крот не смог бы исключить вариант «Черепаха — Слон — Крокодил — Обезьяна», и, значит, не смог бы правильно определить, где Черепаха. Значит, Обезьяна, стоящая первой, ответила «нет», а Черепаха — вторая или третья — ответила «да». Крот, действительно, заключил, что тот, кто ответил «да», не собезьянничал, а, значит, может быть только Черепахой.

Но если бы Черепаха была второй — то есть, в первом круге были бы ответы «нет — да — нет — нет», а во втором «нет — нет — нет — да», то Крот, к этому моменту уже знающий, что на втором месте стоит Черепаха, а на четвёртом — Крокодил, смог бы заключить, что на третьем месте не может быть Обезьяна, иначе в первом круге она ответила бы «да», повторив предыдущее «да» Черепахи. Таким образом, Черепаха может быть только третьей, и мы получаем расстановку «Обезьяна — Слон — Черепаха — Крокодил», и ответы «нет — нет — да — нет — нет — нет — нет — да — да».

[migmit (from livejournal.com)]

Проблема, однако, в том, что после первого круга Крот знал не ТОЛЬКО то, что Черепаха стоит на третьем месте. Он знал, с абсолютной точностью, что Обезьяна НЕ стоит на четвёртом месте! Что противоречит условию.

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

[kray-zemli.livejournal.com]

Вроде решается в уме. Правда, с трудом.

1. "Да" на третий вопрос могли ответить все, кроме Слона. Новую информацию это "да" даёт Кроту в случае, если он сомневается между Слоном и Обезьяной.
Следствие 1а. Первой стоит обезьяна, ответившая "нет нет да".
Следствие 1б. Ответы четвёртого были "нет да", и этот четвёртый -- Крокодил.

2. "Да" на первый вопрос могла ответить только Черепаха (обезьяну мы исключили). Благодаря тому, что это "да" было единственным и не первым, Крот её и опознал.

Количество информации, помещающееся в голове, достигает предела. Но остаётся выбрать из двух вариантов (ОЧСК и ОСЧК).

3. В случае ОЧСК, ответ "нет" после "да" Черепахи лишил бы Крота сомнений к третьему вопросу. Остаётся последовательность Обезьяна-Слон-Черепаха-Крокодил.

[migmit (from livejournal.com)]

Вы как-то лихо прыгнули к «нет нет да».

[airini.livejournal.com]

ответ: ОСЧК

==== (1)
На первый вопрос слон и крокодил всегда отвечают '-', следовательно может быть максимум 2 ответа '+'.

-++- и --++ невозможны, так как это обязательно последовательность хЧОх или ххЧО, и в таком случае мы знаем не только место черепахи, но и место обезьяны.
++-- невозможен, т.к. мы не знаем места черепахи (может быть ЧОхх или ОЧхх)
---- невозможен, т.к. мы опять же не знаем места черепахи. (может быть кто угодно где угодно)
+--- невозможен, т.к. мы не знаем места черепахи (это может быть Чххх или Оххх)

следовательно, на первый вопрос возможны три варианта возможных ситуаций:
(а) -+--: КЧСО, СЧКО, ОЧКС, ОЧСК
(б) --+-: КОЧС, СОЧК, ОКЧС, ОСЧК
(в) ---+: КСОЧ, КОСЧ, СКОЧ, СОКЧ, ОКСЧ, ОСКЧ

Крот знает, какая именно из трёх ситуаций, т.к. он знает ответы, но мы не знаем. Поэтому мы можем рассматривать каждую из трёх отдельно, пока не придём к противоречию, или к единственному возможному ответу.

==== (2)
На второй вопрос мы рассматриваем отдельно каждую из трёх ситуаций.
Черепаха и слон всегда отвечают '-', крокодил всегда '+'

(а) в порядке как выше, ответы были бы: +---, --++, --+-, ---+. Независимо от ответа крот точно знает расположение всех, следовательно этот вариант неверен

(б) в порядке как выше, ответы были бы: ++--, ---+, -+--, ---+. Второй и четвертый сохраняют неизвестность слона и обезъяны: СОЧК или ОСЧК.

(в) в порядке как выше, ответы были бы: +---, ++--, -++-, --+-, -+--, --+-. Четвертый и шестой сохраняют неизвестность слона и обезъяны: СОКЧ или ОСКЧ

следовательно остались варианты:
(б) СОЧК или ОСЧК
(в) СОКЧ или ОСКЧ

==== (3)
На третий вопрос слон всегда отвечает "нет", следовательно последовательности Cxxx неверны.

в (б) остаётся единственный возможный ответ: ОСЧК
в (в) ответ ОСКЧ тоже невозможен, т.к. последний ответ на предыдущий вопрос был '-' и обезъяна тоже ответила бы '-'.

[(Anonymous)]

Черепаха Крокодил Слон Обезьяна
1. Ч (да или нет) К (нет) С (нет) О (нет)
2. Ч (нет) К (да) С (нет) О (нет)
3. Ч (да) К (да) С (нет) О (нет)

[self_perfection_lj]

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

[dreamer-other.livejournal.com]

Я написал на Python: https://ideone.com/dk6FOQ. Думается, что на Prolog это будет красивей и естественней, но я с ним практически не знаком, к сожалению, поэтому применил, то что было под рукой.

[dreamer-other.livejournal.com]

Таки заморочился и написал программку для поиска решения: https://ideone.com/dk6FOQ. Принцип простой: перебираем все возможные интервью, каждый раунд отсеиваем по принципу "только одно не повторяющееся животное должно сказать ДА".
На удивление в итоге остаются всего два решения:
ОСЧК - NNYN;NNNY;YNYY
ОЧСК - NYNN;NNNY;YYNY
Для того, что бы отфильтровать последнее нужно более тонкое моделирование логики Крота :)

[dreamer-other.livejournal.com]

И, кстати, в условиях задачи информация о том, кого именно определял Крот после каждого раунда лишняя, решение и так однозначно. Достаточно указать, что после каждого опроса Крот определял только одного зверя.

[http://users.livejournal.com/_sabiko/]

На бумаге действительно добольно тупым перебором решается, но скрасило полчаса в дороге, спасибо )

Если постфактум посмотреть, получается, что:
1. Мартышка первая
2. В первых двух вопросах по одному "да" черепахи и крокодила соответственно (второе "да" выдало бы обезьяну заранее, либо невозможно, либо не даёт достаточной информации) и не на первой позиции. Причём для обоих вероятность мартышки выходит одинаково:
M?M?M?1
M?M?1 0
M?1 0 M?

3. Итого 6 вариантов. При их наложении крокодил/черепаха на 2 позиции дали бы однозначную идентификацию мартышки заранее (первая), значит второй слон, а крокодил и черепаха 3-4. А почему черепаха третья, а крокодил четвертый, я со вчера ЗАБЫЛА. Эх.

[dreamer-other.livejournal.com]

>А почему черепаха третья, а крокодил четвертый, я со вчера ЗАБЫЛА. Эх.

Потому, что Обезьяна запомнила то, что последнее было сказано во 2м раунде, а это должно быть "Да", которое мог сказать только крокодил.

Всё-таки решил (без бумажки)

[bakabaka.livejournal.com]

Главная проблема была: найти достаточное время подряд, чтобы подумать. -_-'
(Ход решения -- "прямой".
(1) На первом кругу, чтобы ничего не пропустить, перебираем возможные наборы ответов как двоичные числа от 0000 до 1111, пропуская невозможные (меньше двух 0) --
получаем три варианта с одной 1 не на первом месте -- это черепаха.
(2) На втором кругу, для этих трёх вариантов начинаем перебирать возможные наборы не-черепашьих ответов как двоичные числа от 000 до 111, но понимаем, что вариантов ещё меньше:
крокодил -1
слон - 0
обезьяна - ?, но должна быть тоже 0, как слон, чтобы нельзя было её отличить от него, чтобы найти только крокодила,
так что для варианта 0010 получаем 001 (т.е 00_0_1),
получается ??ЧК.
(3) Слон не мог сказать 1, так что ОСЧК.
)