Загадка Эйнштейна ({gig;tg |wuomywug)
Загадка Эйнштейна (англ. Einstein's Puzzle, Einstein's Riddle), также известная как головоломка о зебре (англ. Zebra Puzzle) — известная логическая задача, по легенде созданная Альбертом Эйнштейном в годы его детства[1]. Также бытует мнение, что она использовалась Эйнштейном для проверки кандидатов в ассистенты на способность к логическому мышлению. Иногда автором головоломки называют Льюиса Кэрролла[2]. Тем не менее, нет никаких доказательств того, что задачу придумал Эйнштейн или Кэрролл. Более того, в приведённом ниже условии задачи упоминаются марки сигарет, например Kool[англ.], которые не существовали при жизни Кэрролла и во времена детства Эйнштейна.
Некоторые приписывают Эйнштейну рассуждение, в котором тот утверждает, что лишь два процента населения земного шара способны оперировать в уме закономерностями, связанными сразу с пятью признаками[3]. Как частное следствие этого, приведённая головоломка может быть решена без использования бумаги лишь теми, кто принадлежит к этим двум процентам. Однако не существует никаких документальных свидетельств того, что Эйнштейн когда-либо утверждал подобное.
В своём самом сложном варианте задача предполагает решение в уме, без использования каких-либо записей или средств сохранения информации. Без этих ограничений головоломка заметно теряет в сложности, поскольку может быть решена простым составлением таблицы с исключением заведомо противоречивых вариантов, и, следовательно, мало что говорит о способностях испытуемого.
Оригинальный текст задачи
[править | править код]Здесь приведён первый известный опубликованный вариант головоломки, который появился в журнале Life в номере от 17 декабря 1962 года[4]. Выпуск от 25 марта 1963 года содержал нижеприведённый ответ и список из нескольких сотен фамилий читателей, правильно решивших задачу.
- На улице стоят пять домов.
- Англичанин живёт в красном доме.
- У испанца есть собака.
- В зелёном доме пьют кофе.
- Украинец пьёт чай.
- Зелёный дом стоит сразу справа от белого дома.
- Тот, кто курит Old Gold, разводит улиток.
- В жёлтом доме курят Kool.
- В центральном доме пьют молоко.
- Норвежец живёт в первом доме.
- Сосед того, кто курит Chesterfield, держит лису.
- В доме по соседству с тем, в котором держат лошадь, курят Kool.
- Тот, кто курит Lucky Strike, пьёт апельсиновый сок.
- Японец курит Parliament.
- Норвежец живёт рядом с синим домом.
Кто пьёт воду? Кто держит зебру?
В целях ясности следует добавить, что каждый из пяти домов окрашен в свой цвет, а их жители — разных национальностей, владеют разными животными, пьют разные напитки и курят разные марки американских сигарет. Ещё одно замечание: в утверждении 6 справа означает справа относительно вас.
Оригинальный текст (англ.)
- There are five houses.
- The Englishman lives in the red house.
- The Spaniard owns the dog.
- Coffee is drunk in the green house.
- The Ukrainian drinks tea.
- The green house is immediately to the right of the ivory house.
- The Old Gold smoker owns snails.
- Kools are smoked in the yellow house.
- Milk is drunk in the middle house.
- The Norwegian lives in the first house.
- The man who smokes Chesterfields lives in the house next to the man with the fox.
- Kools are smoked in the house next to the house where the horse is kept.
- The Lucky Strike smoker drinks orange juice.
- The Japanese smokes Parliaments.
- The Norwegian lives next to the blue house.
Now, who drinks water? Who owns the zebra?
In the interest of clarity, it must be added that each of the five houses is painted a different color, and their inhabitants are of different national extractions, own different pets, drink different beverages and smoke different brands of American cigarets. One other thing: in statement 6, right means your right.
— Life International, 17 декабря 1962 года
Исходное условие опускает некоторые существенные детали, в частности то, что дома расположены подряд.
Так как в условии не сказано о том, что кто-либо вообще пьёт воду или держит зебру, то эти утверждения полагаются неявными посылками, как это принято в подобных логических задачах. В противном случае ответом будет «Не хватает данных».
Посылка 12 в оригинале сформулирована не совсем корректно. Она должна гласить «Kools are smoked in a house next to the house where the horse is kept», а не «the house», так как в таком случае «the» подразумевает, что рядом с домом, в котором держат лошадь, находится только один дом, из чего, в свою очередь, следует, что дом с лошадью — либо крайний левый, либо крайний правый. А это в результате приводит к противоречию.
Решение
[править | править код]Здесь приведены дедуктивные шаги, следуя которым можно получить решение. Суть метода заключается в том, чтобы попытаться вписать известные соотношения в таблицу, последовательно исключая невозможные варианты. Ключевые умозаключения выделены курсивом.
Шаг 1
[править | править код]По условию норвежец живёт в первом доме (10). Не имеет значения откуда — слева или справа — ведётся нумерация. Нас интересует только порядок домов, а не направление, в котором они нумеруются.
Из (10) и (15) следует, что второй дом синий. Какого цвета первый дом? Не зелёный и не белый, потому что они должны стоять рядом (это следует из 6-й посылки и того, что 2-й дом синий). Не красный, потому что там живёт англичанин (2). Поэтому первый дом жёлтый.
Из этого следует, что в первом доме курят Kool (8), а во втором доме держат лошадь (12).
Что пьёт норвежец, который живёт в первом, жёлтом доме и курит Kool? Это не чай, поскольку чай пьёт украинец (5). И не кофе, потому что кофе пьют в зелёном доме (4). И не молоко, которое пьют в третьем доме (9). И не апельсиновый сок, потому что человек, который пьёт сок, курит Lucky Strike (13). Следовательно, норвежец пьёт воду, и это ответ на первый вопрос загадки.
дом | 1 | 2 | 3 | 4 | 5 |
---|---|---|---|---|---|
цвет | жёлтый | синий | ? | ? | ? |
национальность | норвежец | ? | ? | ? | ? |
напиток | вода | ? | молоко | ? | ? |
сигареты | Kool | ? | ? | ? | ? |
животное | ? | лошадь | ? | ? | ? |
Шаг 2
[править | править код]Тогда что же курят во втором, синем доме, где, как мы знаем, держат лошадь?
Это не Kool, который курят в первом доме (8). И не Old Gold, поскольку тот, кто их курит, разводит улиток (7).
Предположим, что в нём курят Lucky Strike, что означает, что здесь же пьют апельсиновый сок (13). В таком случае, кто может здесь жить? Это не норвежец — он живёт в первом доме (10). Не англичанин — его дом красный (2). Не испанец, поскольку испанец держит собаку (3). Не украинец, потому что украинец пьёт чай (5). И не японец, который курит Parliament (14). Так как данная ситуация невозможна, то во втором доме курят не Lucky Strike.
Предположим, что во втором доме курят Parliament, из чего следует, что здесь живёт японец (14). В таком случае, что он пьёт? Не чай, поскольку чай пьёт украинец (5). Не кофе — кофе пьют в зелёном доме (4). Не молоко — молоко пьют в третьем доме (9). И не сок, потому что сок пьёт человек, который курит Lucky Strike (13). Итак, данная ситуация также невозможна, и во втором доме курят не Parliament.
Следовательно, во втором доме курят Chesterfield.
Какой национальности человек, живущий во втором, синем доме, предпочитающий Chesterfield и держащий лошадь? Это не норвежец — он в первом доме (10). Не англичанин — он в красном доме (2). Не испанец — у испанца собака (3). Не японец — японец курит Parliament (14). Значит, во втором доме живёт украинец и, как следует из (5), пьёт чай!
дом | 1 | 2 | 3 | 4 | 5 |
---|---|---|---|---|---|
цвет | жёлтый | синий | ? | ? | ? |
национальность | норвежец | украинец | ? | ? | ? |
напиток | вода | чай | молоко | ? | ? |
сигареты | Kool | Chesterfield | ? | ? | ? |
животное | ? | лошадь | ? | ? | ? |
Шаг 3
[править | править код]Так как Chesterfield курят во втором доме, то из (11) нам становится известно, что лису держат либо в первом, либо в третьем доме.
Давайте сначала предположим, что лиса в третьем доме. В таком случае, что пьёт человек, который курит Old Gold и разводит улиток (7)? Мы уже исключили воду и чай на предыдущих шагах. Он также не может пить сок, поскольку сок пьёт человек, который курит Lucky Strike (13). Молоко тоже не подходит — его пьют в третьем доме (9), где, как мы предположили, держат лису. Остаётся кофе, который, по условию, пьют в зелёном доме (4).
Итак, если в третьем доме держат лису, то в зелёном доме живёт человек, который курит Old Gold, разводит улиток и пьёт кофе. Кто этот человек? Он не норвежец — норвежец в первом доме (10). Не украинец — тот пьёт чай (5). Не англичанин — тот живёт в красном доме (2). Не японец — он курит Parliament (14). И не испанец — у испанца собака (3).
Такая ситуация невозможна. Из чего следует, что лису держат в первом доме, а не в третьем.
дом | 1 | 2 | 3 | 4 | 5 |
---|---|---|---|---|---|
цвет | жёлтый | синий | ? | ? | ? |
национальность | норвежец | украинец | ? | ? | ? |
напиток | вода | чай | молоко | ? | ? |
сигареты | Kool | Chesterfield | ? | ? | ? |
животное | лиса | лошадь | ? | ? | ? |
Шаг 4
[править | править код]Из всего вышеизложенного следует, что кофе и апельсиновый сок пьют в четвёртом и пятом доме. Не имеет значения, какой из напитков — в каком доме; будем просто называть их «дом, где пьют сок» и «дом, где пьют кофе».
Итак, где живёт человек, который курит Old Gold и разводит улиток? Не в доме, где пьют сок, потому что там курят Lucky Strike (13).
Предположим, что он живёт в доме, где пьют кофе. Тогда человек, который курит Old Gold, разводит улиток и пьёт кофе, живёт в зелёном (4) доме. Опять же, по тем же соображениям, что и в шаге 3, это невозможно.
Значит, человек, который курит Old Gold и разводит улиток, живёт в третьем доме.
дом | 1 | 2 | 3 | 4 | 5 |
---|---|---|---|---|---|
цвет | жёлтый | синий | ? | ? | ? |
национальность | норвежец | украинец | ? | ? | ? |
напиток | вода | чай | молоко | ? | ? |
сигареты | Kool | Chesterfield | Old Gold | ? | ? |
животное | лиса | лошадь | улитки | ? | ? |
Отсюда следует, что Parliament курят в зелёном доме, где пьют кофе, а живёт там японец (14). Тогда испанец живет в белом доме, потому что в красном — англичанин. Итак, в белом доме живет испанец с собакой, поэтому белый дом не может быть третьим, потому что там разводят улиток. Поскольку белый дом должен быть слева от зеленого — значит эти дома — четвертый и пятый соответственно. Поэтому красный дом — третий и там живет англичанин.
дом | 1 | 2 | 3 | 4 | 5 |
---|---|---|---|---|---|
цвет | жёлтый | синий | красный | белый | зелёный |
национальность | норвежец | украинец | англичанин | испанец | японец |
напиток | вода | чай | молоко | сок | кофе |
сигареты | Kool | Chesterfield | Old Gold | Lucky Strike | Parliament |
животное | лиса | лошадь | улитки | собака | ? |
Теперь мы заполнили все пробелы, кроме одного, и, очевидно, что зебру держит японец.
Ответ
[править | править код]дом | 1 | 2 | 3 | 4 | 5 |
---|---|---|---|---|---|
цвет | жёлтый | синий | красный | белый | зелёный |
национальность | норвежец | украинец | англичанин | испанец | японец |
напиток | вода | чай | молоко | сок | кофе |
сигареты | Kool | Chesterfield | Old Gold | Lucky Strike | Parliament |
животное | лиса | лошадь | улитки | собака | зебра |
Замечание
[править | править код]В вышеизложенном решении неявно предполагалось, что первый дом — крайний слева. Если предположить, что первый дом — крайний справа, получим немного другую ситуацию, но тот же ответ. Норвежец всё так же пьёт воду, а японец держит зебру.
дом | 5 | 4 | 3 | 2 | 1 |
---|---|---|---|---|---|
цвет | белый | зелёный | красный | синий | жёлтый |
национальность | испанец | японец | англичанин | украинец | норвежец |
напиток | сок | кофе | молоко | чай | вода |
сигареты | Lucky Strike | Parliament | Old Gold | Chesterfield | Kool |
животное | собака | зебра | улитки | лошадь | лиса |
Другие формулировки условия задачи
[править | править код]Существует множество различных вариантов условий задачи. В некоторых из них первая посылка оригинального условия оговаривается отдельно или подразумевается неявно, а вместо неё вводится другая, зачастую облегчающая решение задачи. Вместо двух вопросов нередко оставляют один, например, «Кто разводит рыбок?». Иногда вместо марок сигарет указывают средства передвижения или названия растений. Меняются и национальности пяти упоминающихся людей[1]. Например, весьма распространённым в Интернете вариантом является следующий:
На одной улице подряд стоят пять домов, каждый — своего цвета. В каждом живёт человек, все пять — разных национальностей. Каждый человек предпочитает уникальную марку сигарет, напиток и домашнее животное. Кроме того:
- Норвежец живёт в первом доме.
- Англичанин живёт в красном доме.
- Зелёный дом находится слева от белого, рядом с ним.
- Датчанин пьёт чай.
- Тот, кто курит Marlboro, живёт рядом с тем, кто выращивает кошек.
- Тот, кто живёт в жёлтом доме, курит Dunhill.
- Немец курит Rothmans.
- Тот, кто живёт в центре, пьёт молоко.
- Сосед того, кто курит Marlboro, пьёт воду.
- Тот, кто курит Pall Mall, выращивает птиц.
- Швед выращивает собак.
- Норвежец живёт рядом с синим домом.
- Тот, кто выращивает лошадей, живёт в синем доме.
- Тот, кто курит Winfield, пьет пиво.
- В зелёном доме пьют кофе.
Вопрос:
- Кто разводит рыбок?
В сети также встречаются толкования условий задачи, в которых зелёный и белый дом стоят левее или правее друг друга, но необязательно рядом. Подобное условие имеет смысл лишь при указании каких-то дополнительных данных, например, при явно заданном направлении нумерации домов. В противном случае однозначное решение получить не удастся.
Примечания
[править | править код]- ↑ 1 2 История загадки в Сети. Дата обращения: 13 ноября 2009. Архивировано из оригинала 19 февраля 2020 года.
- ↑ James Little, Cormac Gebruers, Derek Bridge, & Eugene Freuder. Capturing Constraint Programming Experience: A Case-Based Approach (PDF). Cork Constraint Computation Centre, University College, Cork, Ireland. Дата обращения: 21 октября 2011. Архивировано 4 февраля 2012 года.
- ↑ Jeremy Stangroom. Einstein's Riddle: Riddles, Paradoxes, and Conundrums to Stretch Your Mind. — Bloomsbury USA, 2009. — P. 10–11. — ISBN 978-1-59691-665-4.
- ↑ Life International, December 17, 1962, P. 95.