Задача Эйнштейна
На улице стоят пять домов.
Англичанин живёт в красном доме.
У испанца есть собака.
В зелёном доме пьют кофе.
Украинец пьёт чай.
Зелёный дом стоит сразу справа от белого дома.
Тот, кто курит Old Gold, разводит улиток.
В жёлтом доме курят Kool.
В центральном доме пьют молоко.
Норвежец живёт в первом доме.
Сосед того, кто курит Chesterfield, держит лису.
В доме по соседству с тем, в котором держат лошадь, курят Kool.
Тот, кто курит Lucky Strike, пьёт апельсиновый сок.
Японец курит Parliament.
Норвежец живёт рядом с синим домом.
Кто пьёт воду? Кто держит зебру?
Решение:
[показать решение]Норвежец живёт в первом доме - следовательно, второй дом синий.
Зелёный дом может быть только четвёртым или пятым.
Белый дом может быть только третьим или четвёртым.
Норвежец не может жить в красном доме.
Значит, дом норвежца - жёлтый, и норвежец курит Kool.
В жёлтом доме не пьют кофе, норвежец не пьёт чай, в первом доме не пьют молоко, а тот, кто курит Kool, не пьёт апельсиновый сок.
Значит, норвежец пьёт воду (ответ I получен).
Дом, в котором держат лошадь - второй, синий.
Испанец, норвежец и англичанин не живут во втором синем доме.
Значит, во втором синем доме могут жить японец или украинец.
Во втором доме не курят Old Gold.
Значит, там могут курить Parliament, Lucky Strike или Chesterfield, но украинец не может курить Lucky Strike, поскольку пьёт чай.
Значит, украинец курит Chesterfield.
Украинец не может жить в третьем доме, где пьют молоко, красном доме, где живёт англичанин, первом жёлтом доме, где живёт норвежец, и зелёном доме, где пьют кофе.
Значит, он живёт во втором синем доме, где держат лошадь, или в белом доме.
Если третий дом - белый, то четвёртый дом - зелёный, и там живёт испанец, держащий собаку, или японец, курящий Parliament. В зелёном доме пьют кофе, значит, там не курят Lucky Strike. Тогда там курят Parliament или Old Gold. Но курящий Old Gold разводит улиток, и это не может быть испанец.
Следовательно, если третий дом - белый, то в четвёртом зелёном доме может жить японец, курящий Parliament и пьющий кофе.
Испанец не может жить во втором синем доме, красном доме и зелёном доме. Значит, он живёт в белом доме, стоящем третьим, пьёт молоко и держит собаку. Украинец живёт во втором синем доме, где держат лошадь. Он курит Chesterfield и пьёт чай.
Англичанин живёт в пятом красном доме и пьёт апельсиновый сок. Пьющий апельсиновый сок курит Lucky Strike.
Следовательно, испанец курит Old Gold. Противоречие.
Если третий дом не белый, то он красный и в нём живёт англичанин. Тогда четвёртый дом белый, а пятый - зелёный.
Англичанин не курит Chesterfield, Lucky Strike, Kool и Parliament, значит, он курит Old Gold, пьёт молоко и разводит улиток.
Испанец курит Lucky Strike и пьёт апельсиновый сок. Значит, японец пьёт кофе и живёт в пятом зелёном доме.
Украинец не может жить в пятом доме.Значит, он живёт во втором синем или четвёртом белом.
Если в третьем доме живёт англичанин, а в пятом японец, то испанец живёт в четвёртом белом доме, а украинец во втором синем.
Сосед украинца держит лису, но это не англичанин.
Следовательно, лису держит норвежец из первого жёлтого дома.
Зебра принадлежит японцу (ответ II получен).
***
Мне почему-то кажется, что методом Малыша - т.е. перекладкой комбинаций из листьев, каждый из которых обозначает один из параметров (нация, цвет и порядок дома, марка сигарет, напиток, питомец) в состояниях известно/неизвестно (сторона листа) - задача решается быстрее. Стоило бы попробовать, прописать примерный алгоритм хотя бы.
В этом случае каждый объект будет описываться набором из шести двузначных чисел - первая цифра в каждом числе будет указывать на тип параметра, вторая - на его содержание. Переход к другому варианту делать изменением второй цифры на единицу "вверх" или "вниз", ЕСЛИ неизвестно, какова она.
Необходимо помнить, что часть параметров - связанные, т.е., к примеру, положение белого и зелёного дома относительно остальных меняется только одновременно. Квантовая запутанность, хуле.
***
А вот интересно, можно ли решить эту задачу, если располагать дома не в ряд, а в виде квадрата с центральным домом? В этом случае каждый из домов, кроме центрального, имеет трёх соседей (у центрального их четыре). Но придётся как-то указать на положение точки отсчёта, да. Например, поселив норвежца в центральном доме.
Надо попробовать.
***
А я тут На Озоне пару книжек Кэрролла по логике заказала. Вот!!!
(невыносимо важничает и хвастается)
Англичанин живёт в красном доме.
У испанца есть собака.
В зелёном доме пьют кофе.
Украинец пьёт чай.
Зелёный дом стоит сразу справа от белого дома.
Тот, кто курит Old Gold, разводит улиток.
В жёлтом доме курят Kool.
В центральном доме пьют молоко.
Норвежец живёт в первом доме.
Сосед того, кто курит Chesterfield, держит лису.
В доме по соседству с тем, в котором держат лошадь, курят Kool.
Тот, кто курит Lucky Strike, пьёт апельсиновый сок.
Японец курит Parliament.
Норвежец живёт рядом с синим домом.
Кто пьёт воду? Кто держит зебру?
Решение:
[показать решение]Норвежец живёт в первом доме - следовательно, второй дом синий.
Зелёный дом может быть только четвёртым или пятым.
Белый дом может быть только третьим или четвёртым.
Норвежец не может жить в красном доме.
Значит, дом норвежца - жёлтый, и норвежец курит Kool.
В жёлтом доме не пьют кофе, норвежец не пьёт чай, в первом доме не пьют молоко, а тот, кто курит Kool, не пьёт апельсиновый сок.
Значит, норвежец пьёт воду (ответ I получен).
Дом, в котором держат лошадь - второй, синий.
Испанец, норвежец и англичанин не живут во втором синем доме.
Значит, во втором синем доме могут жить японец или украинец.
Во втором доме не курят Old Gold.
Значит, там могут курить Parliament, Lucky Strike или Chesterfield, но украинец не может курить Lucky Strike, поскольку пьёт чай.
Значит, украинец курит Chesterfield.
Украинец не может жить в третьем доме, где пьют молоко, красном доме, где живёт англичанин, первом жёлтом доме, где живёт норвежец, и зелёном доме, где пьют кофе.
Значит, он живёт во втором синем доме, где держат лошадь, или в белом доме.
Если третий дом - белый, то четвёртый дом - зелёный, и там живёт испанец, держащий собаку, или японец, курящий Parliament. В зелёном доме пьют кофе, значит, там не курят Lucky Strike. Тогда там курят Parliament или Old Gold. Но курящий Old Gold разводит улиток, и это не может быть испанец.
Следовательно, если третий дом - белый, то в четвёртом зелёном доме может жить японец, курящий Parliament и пьющий кофе.
Испанец не может жить во втором синем доме, красном доме и зелёном доме. Значит, он живёт в белом доме, стоящем третьим, пьёт молоко и держит собаку. Украинец живёт во втором синем доме, где держат лошадь. Он курит Chesterfield и пьёт чай.
Англичанин живёт в пятом красном доме и пьёт апельсиновый сок. Пьющий апельсиновый сок курит Lucky Strike.
Следовательно, испанец курит Old Gold. Противоречие.
Если третий дом не белый, то он красный и в нём живёт англичанин. Тогда четвёртый дом белый, а пятый - зелёный.
Англичанин не курит Chesterfield, Lucky Strike, Kool и Parliament, значит, он курит Old Gold, пьёт молоко и разводит улиток.
Испанец курит Lucky Strike и пьёт апельсиновый сок. Значит, японец пьёт кофе и живёт в пятом зелёном доме.
Украинец не может жить в пятом доме.Значит, он живёт во втором синем или четвёртом белом.
Если в третьем доме живёт англичанин, а в пятом японец, то испанец живёт в четвёртом белом доме, а украинец во втором синем.
Сосед украинца держит лису, но это не англичанин.
Следовательно, лису держит норвежец из первого жёлтого дома.
Зебра принадлежит японцу (ответ II получен).
***
Мне почему-то кажется, что методом Малыша - т.е. перекладкой комбинаций из листьев, каждый из которых обозначает один из параметров (нация, цвет и порядок дома, марка сигарет, напиток, питомец) в состояниях известно/неизвестно (сторона листа) - задача решается быстрее. Стоило бы попробовать, прописать примерный алгоритм хотя бы.
В этом случае каждый объект будет описываться набором из шести двузначных чисел - первая цифра в каждом числе будет указывать на тип параметра, вторая - на его содержание. Переход к другому варианту делать изменением второй цифры на единицу "вверх" или "вниз", ЕСЛИ неизвестно, какова она.
Необходимо помнить, что часть параметров - связанные, т.е., к примеру, положение белого и зелёного дома относительно остальных меняется только одновременно. Квантовая запутанность, хуле.
***
А вот интересно, можно ли решить эту задачу, если располагать дома не в ряд, а в виде квадрата с центральным домом? В этом случае каждый из домов, кроме центрального, имеет трёх соседей (у центрального их четыре). Но придётся как-то указать на положение точки отсчёта, да. Например, поселив норвежца в центральном доме.
Надо попробовать.
***
А я тут На Озоне пару книжек Кэрролла по логике заказала. Вот!!!
(невыносимо важничает и хвастается)