Subject: Who has a fish?
From: korlyukov (korlyukov@grsu.grodno.by)
Date: Sun Apr 07 2002 - 09:03:28 MSD
Объявление
По адресу
http://www.refal.net/~korlukov/pearls/ryba/
(имеется выход со страницы http://www.refal.net/~korlukov/pearls/ )
размещен еще один пример применения суперкомпилятора Scp4.
Суперкомпилятор решает задачу, которую (по непроверенным данным) предложил А.Эйнштейн (см. ниже в этом письме).
Время решения задачи суперкомпилятором - полтора часа, что примерно соответствует времени решения этой задачи человеком.
Пример относится к тем неожиданным примерам, когда время суперкомпиляции меньше времени непосредственного исполнения программы (здесь наблюдается огромная разница в несколько порядков - я даже затрудняюсь ее оценить, а тем более проверить экспериментально).
ЧИСТАЯ ЛОГИКА
А. Эйнштейн придумал эту загадку в прошлом веке и полагал, что 98 процентов жителей Земли будут не в состоянии ее решить.
Принадлежите ли вы к 2 процентам самых умных людей планеты?
1. Есть 5 домов каждый разного цвета.
2. В каждом доме живет один человек, отличающийся от соседнего по национальности: немец, англичанин, швед, датчанин, норвежец.
3. Каждый пьет только один определенный напиток, курит определенную марку сигарет и держит определенное животное.
4. Никто из 5 человек не пьет одинаковые с другими напитки, не курит одинаковые сигареты и не держит одинаковое животное.
Вопрос: кому принадлежит рыба?
Подсказки:
1. Англичанин живет в красном доме.
2. Швед держит собаку.
3. Датчанин пьет чай.
4. Зеленый дом стоит слева от белого.
5. Жилец зеленого дома пьет кофе.
6. Человек, который курит Pall Mall, держит птицу.
7. Жилец из среднего дома пьет молоко.
8. Жилец из желтого дома курит Dunhill.
9. Норвежец живет в первом доме.
10. Курильщик Marlboro живет около того, кто держит кошку.
11. Человек, который держит лошадь, живет около того, кто курит Dunhill.
12. Курильщик сигарет Winfield пьет пиво.
13. Норвежец живет около голубого дома.
14. Немец курит Rothmans.
15. Курильщик Marlboro живет по соседству с человеком, который пьет воду.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD