Le filotrame

Ещё одну библиотечную книжку прочитал — «Enigmes & Jeux logiques (résolution & construction)» («Логические игры и загадки (решение и создание)» — как можно было мимо такого названия пройти?)
Жалко, что в школе не попалась, очень похожа на 7:1 в нашу пользу.

Из нового — увидел описание красивой формализации решения задач типа Загадки Эйнштейна (ссылка на старую версию, так как там как раз идёт очень оживлённое обсуждение о корректности перевода).

У меня был подход достаточно топорный, унаследованный от простых вариантов задачи. Если переменных две (номер дома и национальность), достаточно нарисовать квадрат и проставить крестики и нолики в соответствии с условиями задачи. Далее по очереди проставлять единственно возможные варианты, пока задача не решится. Если переменных три (добавим напиток), то можно нарисовать куб и проделать то же самое (куб рисовать удобно в виде нескольких параллельных разрезов, то есть серии квадратов — листики бумаги всё-таки двумерные). А если переменных больше — я писал программу, которая принимала условия, делала то же самое с n)мерным кубом и выдавала решение (сложные условия решались перебором с проверкой соответствия).

А тут авторы предлагают изящный инструмент — filotrame. Суть в том, чтобы выбрать одну «основную» переменную (например, номер дома в классическом варианте) и нарисовать прямоугольник с количеством колонок равным количеству человек (+1 для заголовка), а количество строк соответствует количеству переменных:

Номер	1	2	3	4	5
Страна
Цвет
Напиток
Сигареты
Жтвотное

Затем какие-то варианты наносятся прямо в таблицу, а какие-то варианты рисуются справа отдельными детальками. И задача сводится к тому, чтобы разместить эти детали в нарисованном прямоугольника на манер puzzle без перекрытий. Далее есть ещё кое-какие упрощения, но они скорее для компьютера (если мы хотим научить его решать подобные задачи), человек справляется с puzzle тривиально.
( Надеюсь, у вас очень широкий монитор... )