ВСЕ СТАТЬИ
[Перевод] Решение головоломки NYTimes Pips с помощью решателя ограничений.
habr.comхобби
•
habr.com•хобби
[Перевод] Решение головоломки NYTimes Pips с помощью решателя ограничений. Кажется, что головоломка NYT Pips — это просто игра с домино и цветными клетками. Но если взглянуть на неё как на задачу удовлетворения ограничений, она превращается в удобный полигон для современных решателей вроде MiniZinc. В статье автор показывает, как описать Pips не в виде алгоритма перебора, а в виде системы ограничений: сетка, домино, суммы по областям, симметрии и «мусорные» решения. По ходу дела выясняется, что войти в мир constraint solving можно буквально за пару часов, а заодно на п...