задача энштейна, можно перенести в раздел общение Опции

[sifadin]

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



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

[Fat Robot]

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

[sifadin]

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

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


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

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

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

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

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

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

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

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

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

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


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

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

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

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