Здравствуйте!
Есть известная хохма, которую Энштейн якобы решил в уме
Предлагают ее как задачу на логику
А меня интересует наоборот, как ее можно решить с помощью формул, аналитически.
Какую систему уравнений из чего составить
Ну предположим каждая совокупность - это вектор. Цвета домов, национальность напиток итп это ортогональные компоненты векторов
Каким уравнением описать такое условие
тот кто живет в желтом доме сосед того кто курит мальборо
Поделитесь мыслями если не лень
Интересует не решение задачи, а аппарат для решения таких задач



PS текст задачи
С одной стороны улицы подряд стоят пять домов, каждый — своего цвета. В каждом живёт человек, все пять — разных национальностей. Каждый человек предпочитает уникальную марку сигарет, напиток и домашнее животное. Кроме того:
Норвежец живет в первом доме.
Англичанин живет в красном доме.
Зеленый дом находится сразу слева от белого.
Датчанин пьет чай.
Тот, кто курит Marlboro, живет рядом с тем, кто выращивает кошек.
Тот, кто живет в желтом доме, курит Dunhill.
Немец курит Rothmans.
Тот, кто живет в центре, пьет молоко.
Сосед того, кто курит Marlboro, пьет воду.
Тот, кто курит Pall Mall, выращивает птиц.
Швед выращивает собак.
Норвежец живет рядом с синим домом.
Тот, кто выращивает лошадей, живет в синем доме.
Тот, кто курит Winfield, пьет пиво.
В зеленом доме пьют кофе.
Вопрос: кто разводит рыбок?

Вот ссылка. Здесь ответы на все вопросы.

Аналитически не пробовал, а сами задачи такого класса стали неинтересны когда решил с помощью таблицы.
швед выращивает собак? тогда все остальные не собачатники. и т.д.
Нужно просто внимательно вычеркивать строки и столбцы. Оставшееся и будет ответом.

Там нет того что я ищу. Там показано решение на основе таблиц, рассуждений итп


Но мне нужно решение на основе формул. Такой задачи или подобной, проще

где логические условия сочетаются с позиционными (тот кто курит мальборо живет за два дома от датчанина)

Ну например, есть Даша, Маша и Параша

Есть три этажа 1,2,3

и три типа сигарет беломор,мальборо,винстон

Даша курит беломор

Параша живет на 3эт

тот кто курит винстон живет этажом выше того кто курит мальборо







Я уже не помню когда я уперся в такое и в связи с чем.


Это было связано по-моему с планированием каких-то характеристик или работ.

Когда единственного решения нет, их много, но есть условия, которые должны быть выполнены

Те есть множество решений, и запись в виде уравнений позволила бы их описать в общем виде.

Или быстро проверить то что предлагают - укладывается в условие или нет, если нет то в какие

Бог дал людям единицу… И норвежца с N-штейном, если хотите.

Ноль, карты, множества, матрицы, дизъюнкции и т. д. оне придумали сами.

В www.kodges.ru есть такое старинное, но очень полезное, издание
Калужнин Л.А., Что такое математическая логика?, М., Наука, 1964
Первой главы должно хватить для формального решения. (Вторая и третья - это просто высший класс. Третья для решения точно не нужна.)

Перечитал тему дважды. Очень познавательно. К сожалению, так и не понял, кто такой этот Энштейн.. :-о

Ну, попробуйте посмотреть в сторону Prolog.