atamur Jun 18 2011 at 01:40

Решение загадки Эйнштейна на Haskell

7 min

7.6K

Haskell *

+41

Comments 39

VoidEx Jun 18 2011 at 02:19

Супер :)

dodarium Jun 18 2011 at 03:26

«Вероятно многие из вас решали эту задачку на листке бумаги и гордились тем, что входят в несколько процентов населения земли, способных на это.»
2% — это те люди котрые решают задачу без листка бумаги.

borsh Jun 18 2011 at 03:38

Как-то не вызывают особого уважения такие люди. Чистая механика же.
Вот те, кто сходу решают задачи типа продолжения ряда 1, 11, 21, 1211, 111221,? — вызывают гораздо больше уважения :)

-2

Zaharov Jun 18 2011 at 03:42

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

+10

borsh Jun 18 2011 at 03:51

Требуется найти самую простую подходящую формулу.

-5

Valery4 Jun 18 2011 at 13:11

А ворос «кошерности» — кто будет определять?

borsh Jun 18 2011 at 13:18

Вы не в состоянии определить, какая функция проще, f(n)=2n для ряда 2, 4, 8 или f(n)=2n^3-38? Но интересные задачи такого рода не такие механические.

-3

doremidon Jul 29 2011 at 16:41

Уважаемый borsh.
Я вот люблю суп больше чем борщЪ к примеру.
Хотя у них примерно одинаковые составляющие, но мы же говорим впринципе о еде и том чтобы съесть её.
Во время обеда, вопрос самого лучшего решения для индивидума в следующем:
1) дешевизна продукта в том же объёме;
2) большее получение удовольствия при одинаковых затратах на производство;
3) полезность съеденного и меньшими затратами на уборку.
4) свой вариант??

dodarium Jun 18 2011 at 03:53

Суть загадки в ddos твое мозга, потомучто сложно оперировать таким количеством переменных одновременно. На листке получается тупая механика. Попробу решить без листка…

borsh Jun 18 2011 at 04:03

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

VoidEx Jun 18 2011 at 20:25

Количество одновременно удерживаемых в быстрой памяти объектов крайне сильно влияют на интеллект. При превышении определённого числа становится доступна для понимания рекурсия.
Известен опыт над обезьянами, у которых в стае такой параметр у одних обезьян 2, у других 3 (он не меняется в течение жизни), так вот первые всю жизнь не могли научиться держать камень, удерживать на нем кокос и лупить сверху камнем.

kevindoth Jun 18 2011 at 08:56

Хорошая задачка. Утверждается, что её дети спокойно решают своим незамутнённым умом.

Mixailo Jun 18 2011 at 04:08

Наличие компьютера и понимание о чем вообще идет речь — уже делает вас одним из 10% :)

si14 Jun 18 2011 at 10:22

Аттрибуты в виде строк? Автор, у меня почему-то сильное ощущение, что до хаскеля вы писали на похапэ.

si14 Jun 18 2011 at 10:22

>Состоит в: Haskell PHP
Да, детектор не подвёл.

atamur Jun 19 2011 at 12:16

У меня был вариант с типизированными атрибутами, но набор разнотипных атрибутов сложнее хранить в списке :)
Я выбрал вариант, который дает большую простоту кода.

Neofant Jun 18 2011 at 12:11

Ждем топика: Captcha — Решите задачу Эйнштейна :)

agul Jun 18 2011 at 17:10

На этот случай уже есть взломщики капчи :)

Lakret Jun 18 2011 at 20:33

А зачем Вы пишите

"nationality" =: "Swede"

вместо простого кортежа?
А так весьма неплохое решение.

Lakret Jun 18 2011 at 20:45

И да, было бы неплохо ввести АТД типа:

data PossibleAttrs = Color | Nationanlity | Smokes | Drinks | Pet

и использовать кортежи со строками, отражающими значения. Или даже:

data PossibleAttrs = Color String | Nationanlity String ...

Тогда можно без кортежей.

Lakret Jun 18 2011 at 20:46

* Nationality, конечно.

atamur Jun 19 2011 at 12:20

Так набор атрибутов будет жестко закодирован, а мне хотелось решить задачу в более-менее общем виде.

Lakret Jun 19 2011 at 13:25

Ну, поменять варианты в АТД всегда можно быстро, но это дело вкуса, видимо :)

atamur Jun 19 2011 at 12:18

Мне кажется
exists ["smoke" =: "Winfield", "drink" =: "Beer"]
выглядит понятнее чем
exists [("smoke", "Winfield"), ("drink", "Beer")]
Синтаксический сахар :)

Denom Jun 21 2011 at 00:46

Исходник можете где-то выложить?

atamur Jun 21 2011 at 09:52

Посмотрите еще раз внимательнее в текст статьи.
Для красоты в коде была замена некоторых операторов на их юникод-аналоги (->, <-, /=)

Denom Jun 21 2011 at 15:31

Текст в статье я видел. Он не компилировался.
Как раз из-за стрелочек.
А на что заменено /=?

atamur Jun 21 2011 at 18:06

На юникод аналоги (←, →, ≠)

Denom Jun 21 2011 at 15:33

За сколько программа выполняется?

atamur Jun 21 2011 at 18:04

$ time ./einstein

Norwegian lives in Yellow house, owns Cat, drinks Water and smokes Dunhill
Dane lives in Blue house, owns Horse, drinks Tea and smokes Malboro
Englishman lives in Red house, owns Bird, drinks Milk and smokes Pallmall
German lives in Green house, owns Fish, drinks Coffee and smokes Rothmans
Swede lives in White house, owns Dog, drinks Beer and smokes Winfield

real 0m0.273s
user 0m0.232s
sys 0m0.004s

Intel Core2 Duo 2GHz, 2Gb RAM

Denom Jun 21 2011 at 20:09

прикольно — у меня на c# + linq 55 сек — портировал MySQL решение из поста про решение этой задачи на прологе

atamur Jun 22 2011 at 14:15

Мне кажется важную роль играет порядок применения правил, хотя я это и не проверял. А C# во взаимодействии с MySQL или отдельно?

Denom Jun 25 2011 at 13:19

Возможно… Все данные в памяти. Обрабатываются обычным Linq. без MySQL

atamur Jun 25 2011 at 14:02

Ха, думаю MySQL имеет какие-то оптимизации для этого случая.

Denom Jun 21 2011 at 01:12

Исходник можете где-то выложить?

Nakilon Jun 23 2011 at 04:47

На самом деле 5!^5 / 5! = 207 360 000.

Nakilon Jun 23 2011 at 13:37

(в смысле если одну из категорий закрепить, а двигать 4 остальные)

atamur Jun 24 2011 at 01:06

А зачем закреплять? Не глядя в ограничения нельзя ничего закрепить.

Nakilon Jun 24 2011 at 04:26

Ах, в число перечисленных в посте пяти категорий не входит номер дома… Я бы сказал, что категорий шесть. Недоразумение.
Тогда и правда будет 5!^6 / 5! = [столько, сколько и указано в посте].