Головоломка Эйнштейна

Загадка Эйнштейна — известная логическая задача, по легенде созданная Альбертом Эйнштейном в годы его детства. Также бытует мнение, что она использовалась Эйнштейном для проверки кандидатов в ассистенты на способность к логическому мышлению. Иногда автором головоломки называют Льюиса Кэрролла. Тем не менее, нет никаких доказательств того, что задачу придумал Эйнштейн или Кэрролл. Более того, в приведённом ниже условии задачи упоминаются марки сигарет, например Kool (англ.), которые не существовали при жизни Кэрролла и во времена детства Эйнштейна.

Некоторые приписывают Эйнштейну рассуждение, в котором тот утверждает, что лишь два процента населения земного шара способны оперировать в уме закономерностями, связанными сразу с пятью признаками. Как частное следствие этого, приведённая головоломка может быть решена без использования бумаги лишь теми, кто принадлежит к этим двум процентам. Однако не существует никаких документальных свидетельств того, что Эйнштейн когда-либо утверждал подобное.

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

Здесь приведён первый известный опубликованный вариант головоломки, который появился в журнале Life International (англ.) в номере от 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 справа означает справа относительно Вас."

Исходное условие опускает некоторые существенные детали, в частности то, что дома расположены подряд.

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