Загадка Эйнштейна (по легенде): всё по пять

Во многих книгах, на сайтах и форумах встречается такая логическая задача (созданная, по легенде, самим Альбертом Эйнштейном), известная как «Загадка Эйнштейна» (Einstein's Puzzle, Einstein's Riddle), или как «Головоломка о зебре» (Zebra Puzzle).

Перечислим утверждения об этой задаче, которые никак не подтверждены документально, так как сам Эйнштейн не утверждал подобное когда-либо:

• задачу придумал Эйнштейн в детстве;
• автором этой головоломки является Льюис Кэрролл;
• она использовалась Эйнштейном для проверки кандидатов в ассистенты на способность к логическому мышлению;
• Эйнштейн утверждал, что только 2% населения Земли в состоянии её решить;
• головоломка может быть решена в уме, без использования бумаги и записей.

Оригинальный текст задачи

Приведём первый известный опубликованный вариант головоломки, который появился в журнале Life International Magazine в номере от 17 декабря 1962 года.

1. На улице стоят пять домов.
2. Англичанин живёт в красном доме.
3. У испанца есть собака.
4. В зелёном доме пьют кофе.
5. Украинец пьёт чай.
6. Зелёный дом стоит сразу справа от белого дома.
7. Тот, кто курит Old Gold, разводит улиток.
8. В жёлтом доме курят Kool.
9. В центральном доме пьют молоко.
10. Норвежец живёт в первом доме.
11. Сосед того, кто курит Chesterfield, держит лису.
12. В доме по соседству с тем, в котором держат лошадь, курят Kool.
13. Тот, кто курит Lucky Strike, пьёт апельсиновый сок.
14. Японец курит Parliament.
15. Норвежец живёт рядом с синим домом.

Кто пьёт воду? Кто держит зебру?

В целях ясности следует добавить, что каждый из пяти домов окрашен в свой цвет, а их жители — разных национальностей — владеют разными животными, пьют разные напитки и курят разные марки американских сигарет. Ещё одно замечание: в утверждении 6 справа означает справа относительно вас.

Эту логическую задачу мы предлагаем решить и вам. (Ответ и один из вариантов решения ищите в комментариях в ТГ-канале «Математика с Мансур-абый»).

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

Исходное условие опускает некоторые детали, в частности то, что дома расположены подряд. Не имеет значения откуда — слева или справа — но ведётся их последовательная нумерация.

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

В таком варианте задача дана для решения в уме, без использования каких-либо записей или средств сохранения информации. Без этих ограничений головоломка заметно теряет в сложности.

Тем не менее, любое решение этой задачи имеет право на существование. Оно доставит вам удовольствие в преодолении таких запутанных ситуаций, связанных сразу с пятью признаками.