Итак,
мы заполнили все пробелы, кроме одного. Очевидно, что рыбку держит немец. Есть и другие алгоритмы решения, например, вот решение, сформулированное Алексеем aka WVr, 8 декабря 2007го, имеющие лишь два предположения, причём оба имеют лишь два варианта, один из которых - ложный, а второй - истинный:
Условия: 1. Англичанин живет в красном доме. 2. Швед держит собаку. 3. Датчанин пьет чай. 4. Зеленый дом налево от белого и... 5. ...его жилец пьет кофе. 6. Курильщик Pall Mall держит птичку. 7. Жилец дома, находящегося в середине пьет молоко. 8. Жилец желтого дома курит Dunhill. 9. Норвежец живет в первом доме. 10. Курильщик Marlboro живет рядом с владельцем кота. 11. Владелец лошади живет рядом с курильщиком Dunhill. 12. Курильщик Winfield пьет пиво. 13. Дом Норвежца - рядом с синим домом. 14. Немец курит Rothmans. 15. Курильщик Marlboro живет рядом с тем, кто пьет воду. Вопрос: кто держит рыбок?
Решение:
Дома нумеруем слева направо.
(9) + (13) дают: второй дом = синий. С учётом этого, и с учётом (4), ясно, что зелёный дом или №3, или №4. Однако, с учётом ещё и (7) + (5), ясно, что зелёный - это №4. Тогда, согласно (4), белый - это дом №5. Теперь, или дом №1 красный, или он жёлтый. Третьего не дано.
Предположим, что он красный. Согласно (1), в красном доме (как мы предположили, это дом №1) - живёт англичанин. Однако, осгласно (9), в первом доме живёт вовсене англичанин, а норвежец! Значит, наше преположение неверно, и на самом деле:
Дом №1 - жёлтый, ну и, наконец, дом №3 - красный.
Таким образом, мы выяснили геометрическое расположение домов, и можем теперь использовать имеющиеся условия типа "живёт рядом".
Первым делом используем (13) + (9), откуда однозначно следует, что во втором доме держат лошадь. Далее, в первом доме, согласно (8), курят Dunhill.
Затем, глядя на (3), и уже зная, что в доме №3 пьют молоко, в доме №4 - кофе (из (5) ), а в доме №1 - НЕ датчанин (согласно (9) ), предположим, что датчанин с чаем живёт в пятом доме. Тогда выйдет, что в домах с третьего по пятый пьют, соответственно: молоко, кофе, чай. А потому, пиво и вода остаются, в любом порядке, домам №1 и №2. Согласно (12) и (15), получаем, что в домах №1 и №2 курят, в любом порядке, Winfield и Marlboro. Однако, как мы установили ранее, дом №1 - жёлтый, а согласно (8), в жёлтом доме курят Dunhill. Получается, что наше предположение про датчанина с чаем, живущего в пятом доме, - неверно, так как оно ведёт к непреемлемому результату: три марки сигарет на два дома (вариант, когда воду пьют во втором доме, а курильщик мальборо живёт в третьем - невозможен, так как вода во втором значит пиво в первом, а пиво в первом, согласно (12), означает Winfield в первом, но, как мы уже знаем, в первом курят Dunhill, а вовсе не Winfield).
Раз предположение про датчанина неверно, значит, датчанину с чаем остаётся только дом №2. Напитки, таким образом, не установлены только в доме №1 и №5, эти напитки - вода и пиво. Зная, что в первом доме курят Dunhill, получаем любителя пива и Winfield - в доме №5. Значит, тот, кто курит Rohtmans, не живёт ни в доме №1, ни в доме №5. А согласно (14), Rohtmans курит немец - вот его-то в этих домах и нету. Однако, как мы установили ранее, дома с первого по третий занимают, соответственно, норвежец, датчанин, и англичанин - явно не немцы. Отсюда, немцу остаётся дом №4, где он и прописан вместе со своими Rohtmans. А значит, шведу остаётся дом №5, согласно (2), в этом же доме №5 живёт собака.
