Quod erat demonstrandum
Другая версия истории о голубоглазых и кареглазых дикарях, которую когда-то выкладывал Тротил. Из книги Гамова и Стерна «Математические головоломки».
Великий султан ибн-аль-Каз был очень обеспокоен большим количеством неверных жен среди жительниц столицы его государства. Сорок женщин открыто изменяли своим мужьям, но, как это часто бывает, хотя об их неверности знали все, их мужья оставались в полном неведении относительно поведения своих жен. Дабы наказать падших женщин, султан издал указ, разрешавший мужьям неверных жен убивать их, разумеется, если мужья вполне уверены в измене нечестивиц. В указе султана ничего не говорилось о числе неверных жен и не назывались их имена. Говорилось только, что такие случаи в главном городе Квазиабабии известны, и предлагалось мужьям предпринять что-нибудь для неповторения супружеских измен впредь. Но к великому удивлению законопослушных подданных султана и всей городской полиции ни в день объявления указа, ни в последующие дни не стало известно ни об одном случае убийства неверной жены мужем. Прошел целый месяц — никаких результатов. Стало создаваться впечатление, что обманутые мужья не очень-то заботятся о том, чтобы спасти свою поруганную честь.
— О великий султан, не объявить ли нам имена сорока неверных жен, — предложил однажды визирь ибн-аль-Казу, — коль скоро мужья слишком ленивы, чтобы самим справиться со своими проблемами?
— Нет, — возразил султан, — подождем. Мои подданные ленивы, но они, несомненно, весьма хитроумны и очень мудры. Я совершенно уверен, что очень скоро последуют действия.
И действительно, на сороковой день после оглашения указа действия внезапно последовали. В одну ночь были убиты сорок женщин. Как показало незамедлительно проведенное расследование, это были те самые сорок распутниц, которые, как всем было известно, изменяли своим мужьям.
— Не понимаю, — воскликнул пораженный случившимся визирь, — почему сорока обманутым мужьям потребовалось так много времени, чтобы предпринять решительные действия, и почему они предприняли, наконец, действия в один и тот же день?
— Все очень просто, мой дорогой Ватсон, — засмеялся султан. — Должен признаться, я ожидал, что добрая весть придет именно в тот день, когда она пришла. Мои подданные, как я уже говорил, может быть, очень ленивы, чтобы организовывать слежку за женами и устанавливать их верность или неверность, но они показали, что достаточно умны, чтобы разрешить возникшую проблему путем чисто логического анализа.
— Боюсь, что не понимаю тебя, о великий султан, — промолвил визирь.
(продолжение в комментариях)
Великий султан ибн-аль-Каз был очень обеспокоен большим количеством неверных жен среди жительниц столицы его государства. Сорок женщин открыто изменяли своим мужьям, но, как это часто бывает, хотя об их неверности знали все, их мужья оставались в полном неведении относительно поведения своих жен. Дабы наказать падших женщин, султан издал указ, разрешавший мужьям неверных жен убивать их, разумеется, если мужья вполне уверены в измене нечестивиц. В указе султана ничего не говорилось о числе неверных жен и не назывались их имена. Говорилось только, что такие случаи в главном городе Квазиабабии известны, и предлагалось мужьям предпринять что-нибудь для неповторения супружеских измен впредь. Но к великому удивлению законопослушных подданных султана и всей городской полиции ни в день объявления указа, ни в последующие дни не стало известно ни об одном случае убийства неверной жены мужем. Прошел целый месяц — никаких результатов. Стало создаваться впечатление, что обманутые мужья не очень-то заботятся о том, чтобы спасти свою поруганную честь.
— О великий султан, не объявить ли нам имена сорока неверных жен, — предложил однажды визирь ибн-аль-Казу, — коль скоро мужья слишком ленивы, чтобы самим справиться со своими проблемами?
— Нет, — возразил султан, — подождем. Мои подданные ленивы, но они, несомненно, весьма хитроумны и очень мудры. Я совершенно уверен, что очень скоро последуют действия.
И действительно, на сороковой день после оглашения указа действия внезапно последовали. В одну ночь были убиты сорок женщин. Как показало незамедлительно проведенное расследование, это были те самые сорок распутниц, которые, как всем было известно, изменяли своим мужьям.
— Не понимаю, — воскликнул пораженный случившимся визирь, — почему сорока обманутым мужьям потребовалось так много времени, чтобы предпринять решительные действия, и почему они предприняли, наконец, действия в один и тот же день?
— Все очень просто, мой дорогой Ватсон, — засмеялся султан. — Должен признаться, я ожидал, что добрая весть придет именно в тот день, когда она пришла. Мои подданные, как я уже говорил, может быть, очень ленивы, чтобы организовывать слежку за женами и устанавливать их верность или неверность, но они показали, что достаточно умны, чтобы разрешить возникшую проблему путем чисто логического анализа.
— Боюсь, что не понимаю тебя, о великий султан, — промолвил визирь.
(продолжение в комментариях)
Почему?
Но предположим, что теперь неверные жены у трех моих подданных, назовем их Абдулой, Хаджибабой и Фаруком. Фарук, разумеется, знает, что жены Абдулы и Хаджибабы неверны своим мужьям, и ожидает, что Абдула и Хаджибаба убьют своих жен на вторую ночь. Но те почему-то этого не делают. Почему? Разумеется, потому, что его, Фарука, жена изменяет ему.
Добавим к этой компании Джурабаю, у которого верная жена. Он так же знает, что жены Хаджибабы и Абдулы + еще кого-то третьего изменяют им. По логике, на первое утро, когда никто не умер, он должен придти к выводу, что его жена ему изменяет?
Спасибо!
Вот сколько знаю об этих задачах, все равно читаю их как в первый раз и все равно меня ставят в тупик те же вопросы, что и -Inori- ))
Это как старые добрые книги, которые можно перечитывать вечно
Спасибо!
Полностью согласна с Sensile!
Каждый раз как впервые.
Это же как должны быть у людей мозги устроены для придумывания такого!
Но на вопросы -Inori- таки есть ответы.
1. Представь всё мужское население города. Все мужчины, кроме одного, знают про одну неверную жену. А один считает, что их 0. Тут всем одновременно говорят, что неверных жен больше нуля. Все, кроме обманутого мужа, не удивлены. Удивлен он один.
2. Чем отличается Джурабай от Хаджибабы, Абдулы и Фарука?
Он знает, что неверных жен три.
А те трое думают, что их две.
Вот если бы они на третий день не убили своих жен, то тогда ему стало бы известно, что их четыре (а он знает только трех, и значит, четвертая — его собственная).
Отличные вопросы! Думаю, лучше, чем Amicus Plato, я не смогу объяснить
Sensile
Amicus Plato
У меня в первый раз, про островитян, было настоящее потрясение — а сейчас я уже почти привыкла)))
мне кажется, что с женами задача легче.
Не знаю, объективно ли это, или только личное восприятие.
Сейчас поясню.
Дикари должны судить сами о себе, а мужья о женах. Т.е. в первом случае мы имеем рекурсивную функцию, а их я страсть как боюсь. А во втором — нужно судить о чем-то внешнем. Тут не происходит самоприменимости.
На мой взгляд, это проще.
Т.е. вот с женами я могу закрыть это объяснение и повторить его сама. А с дикарями я начинаю дымиться. Мне кажется, что где-то там всё-таки сидит парадокс, и объяснения неправильные.
Хотя... Надо про дикарей перечитать.
Мне тоже эта задача показалась легче, но, думаю, это потому, что я ее читала после той. А так они абсолютно изоморфны: мужья судят о женах, а дикари о глазах...
всё равно про жен мне понимается легче)))))
После того, как ты объяснила -Inori-, все как-то сразу стало ясно))
Но если через год мне встретится та же задача, я не гарантирую, что снова не встану в тупик)
О, кстати, я поняла, почему эта задача для меня легче. Здесь в условии дается понять, что неверных жен убивают только по ночам, то есть четко вводится дискретность времени. А дикари? Почему они самоубьются на сотый день, а не в сотый час, например?
А самый известный вариант про колпаки, когда методом индукции самый умный догадывается, что у него тот же колпак, что и у остальных, потому что в противном случае они бы догадались быстрее про свои колпаки — это вообще мрак!
У Тротила четко написано, что они должны самоубиваться ровно в ближайший полдень.
Т.е. всё то же самое. Такты времени присутствуют.
Но всё же с женами легче.
Я тоже который день думаю, почему!
Sensile
Но если через год мне встретится та же задача, я не гарантирую, что снова не встану в тупик)
Угу.
===
ААААА!!!!
Ребята, так в этом-то и ответ!)))
Задача про дикарей была без решения, а задача про жен с литературно написанным и логически выверенным решением
Наверное, поэтому. ))
У Тротила четко написано, что они должны самоубиваться ровно в ближайший полдень. Т.е. всё то же самое. Такты времени присутствуют.
Да, тут я дала маху)))
Визирь, получается — самый тупой мужчина в столице
в той задаче, что по ссылке задала вопрос, может, опытные посмотрят?
www.diary.ru/~Organon/p41451264.htm
Надо подумать!
Я уже рискнула ответить))