从约束模型到可玩的谜题游戏：用 MiniZinc 生成题库
来源：zayenz.se — 2026-08-07
📋 概述
作者基于为论文《Scaling Sudoku as a Constraint Problem》生成的 434,201 个 Sudoku 实例的仓库，把这个小愿望"横着长"成了一整套可玩的网页谜题游戏，包括 Sudoku、Nonogram、Queens、Zip、Loopy、Tents、Patches、Wend 及其瑞典版 Swend。每个游戏都提供一段用 MiniZinc 编写的约束模型，并解释生成器的一部分。共同的方法论是：从一个解或源图像出发，通过增删移信息直到答案唯一，或者丢弃无法干净修复的候选。生成与唯一性检查都在离线完成，浏览器只收到静态谜题与存储的解，难度标签由传播、搜索或确定性推导度量机械地给出。
🔑 核心要点
- 九个游戏的共同套路是从解或源图像出发，增删移信息直到答案唯一，或丢弃无法干净修复的候选。
- 生成与唯一性检查在离线完成，浏览器只接收静态谜题与存储解，不运行求解器。
- Sudoku 模型用数据驱动的盒尺寸，同一模型同时处理 6×6（2×3 盒）与常规 9×9（3×3 盒）。
- 难度标签由传播、搜索或确定性推导度量得出，提供包内的相对排序，不估计玩家实际难度。
- Sudoku 语料库基于 32,000 个唯一可解基础谜题，生成器先建完整网格，再在保持唯一性下删提示，并用 Gecode 分类。
- 针对已生成谜题还做离线对称化处理，让视觉上更像出版过的 Sudoku。
💡 金句
那个小小的愿望向旁边疯长——我现在有了可玩的 Sudoku、Nonogram、Queens、Zip、Loopy、Tents、Patches、Wend 以及它瑞典版的 Swend。
👍 0
👎 0
← 返回 Lobsters 首页