Le filotrame
Nov. 15th, 2011 05:41 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
green_frЕщё одну библиотечную книжку прочитал — «Enigmes & Jeux logiques (résolution & construction)» («Логические игры и загадки (решение и создание)» — как можно было мимо такого названия пройти?)
Жалко, что в школе не попалась, очень похожа на 7:1 в нашу пользу.
Из нового — увидел описание красивой формализации решения задач типа Загадки Эйнштейна (ссылка на старую версию, так как там как раз идёт очень оживлённое обсуждение о корректности перевода).
У меня был подход достаточно топорный, унаследованный от простых вариантов задачи. Если переменных две (номер дома и национальность), достаточно нарисовать квадрат и проставить крестики и нолики в соответствии с условиями задачи. Далее по очереди проставлять единственно возможные варианты, пока задача не решится. Если переменных три (добавим напиток), то можно нарисовать куб и проделать то же самое (куб рисовать удобно в виде нескольких параллельных разрезов, то есть серии квадратов — листики бумаги всё-таки двумерные). А если переменных больше — я писал программу, которая принимала условия, делала то же самое с n)мерным кубом и выдавала решение (сложные условия решались перебором с проверкой соответствия).
А тут авторы предлагают изящный инструмент — filotrame. Суть в том, чтобы выбрать одну «основную» переменную (например, номер дома в классическом варианте) и нарисовать прямоугольник с количеством колонок равным количеству человек (+1 для заголовка), а количество строк соответствует количеству переменных:
Затем какие-то варианты наносятся прямо в таблицу, а какие-то варианты рисуются справа отдельными детальками. И задача сводится к тому, чтобы разместить эти детали в нарисованном прямоугольника на манер puzzle без перекрытий. Далее есть ещё кое-какие упрощения, но они скорее для компьютера (если мы хотим научить его решать подобные задачи), человек справляется с puzzle тривиально.
В случае с классической задачей, рисунок будет следующим:
Как только мы нарисовали эти фигурки (авторы их советуют даже вырезать из бумаги), осталось только уложить их в формочку единственно возможным образом.
Сложность составляет только последняя фигура с вопросительными знаками — мы не знаем, какие из веточек останутся на самом деле. Но это уже такие детали...
Мне понравился, собственно, переход от претендующей на высоколобость задачи (каждый раз упоминание Эйнштейна, 2% самых умных людей, способных решить и т.п.) к банальному puzzle.
Жалко, что в школе не попалась, очень похожа на 7:1 в нашу пользу.
Из нового — увидел описание красивой формализации решения задач типа Загадки Эйнштейна (ссылка на старую версию, так как там как раз идёт очень оживлённое обсуждение о корректности перевода).
У меня был подход достаточно топорный, унаследованный от простых вариантов задачи. Если переменных две (номер дома и национальность), достаточно нарисовать квадрат и проставить крестики и нолики в соответствии с условиями задачи. Далее по очереди проставлять единственно возможные варианты, пока задача не решится. Если переменных три (добавим напиток), то можно нарисовать куб и проделать то же самое (куб рисовать удобно в виде нескольких параллельных разрезов, то есть серии квадратов — листики бумаги всё-таки двумерные). А если переменных больше — я писал программу, которая принимала условия, делала то же самое с n)мерным кубом и выдавала решение (сложные условия решались перебором с проверкой соответствия).
А тут авторы предлагают изящный инструмент — filotrame. Суть в том, чтобы выбрать одну «основную» переменную (например, номер дома в классическом варианте) и нарисовать прямоугольник с количеством колонок равным количеству человек (+1 для заголовка), а количество строк соответствует количеству переменных:
| Номер | 1 | 2 | 3 | 4 | 5 |
| Страна | |||||
| Цвет | |||||
| Напиток | |||||
| Сигареты | |||||
| Жтвотное |
Затем какие-то варианты наносятся прямо в таблицу, а какие-то варианты рисуются справа отдельными детальками. И задача сводится к тому, чтобы разместить эти детали в нарисованном прямоугольника на манер puzzle без перекрытий. Далее есть ещё кое-какие упрощения, но они скорее для компьютера (если мы хотим научить его решать подобные задачи), человек справляется с puzzle тривиально.
В случае с классической задачей, рисунок будет следующим:
|
|
|
|
|
|
|
|
|
|
|
Как только мы нарисовали эти фигурки (авторы их советуют даже вырезать из бумаги), осталось только уложить их в формочку единственно возможным образом.
Сложность составляет только последняя фигура с вопросительными знаками — мы не знаем, какие из веточек останутся на самом деле. Но это уже такие детали...
Мне понравился, собственно, переход от претендующей на высоколобость задачи (каждый раз упоминание Эйнштейна, 2% самых умных людей, способных решить и т.п.) к банальному puzzle.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2011-11-16 09:37 am (UTC)