logic-puzzles

Nonobench 是一个开源基准，评估 49 个 LLM 在不使用任何工具的情况下解数织（picross）谜题的能力；随着网格尺寸增大，求解率急剧下降，只有少数前沿模型能通过 15x15 及高难度 20x20 的题目。

一位开发者创建了 Puzzle Lair，一个免费的逻辑谜题网站，提供数独、数墙、数织等多种谜题，无广告，一次性解锁全部目录。

本文探讨了数独背后的数学原理，解释了如何将数独建模为图论中的顶点着色问题。文章详细阐述了如何利用贪心搜索和回溯等算法来解决这类结构。