Elysia Tools
导航
Games
从种子确定性生成 8 个 Nikoli 家族谜题（同一种子必得同一盘）：Kakuro 稠密填数、Fillomino、Masyu 黑白珠、Yajilin 箭头+环、Hashiwokakero 架桥、Nurikabe 岛与海、Slitherlink 回路提示、Star Battle 双星；每种谜题由「先生成解再出题」流程产出线索，并经穷举回溯求解器数解验证——唯一性是证明出来的（最多数到 2 解），预算耗尽则诚实标注 unproven；附谜面与解答双 SVG 与按求解节点数评分的难度。
详情
求解器（全部为精确穷举，非启发式）：Kakuro 逐格回溯 + 行列和上下界剪枝；Fillomino 区域放置枚举（固定多联骨牌按扫描序锚定，每铺法恰数一次；棋盘格揭示保证完备性——任何 ≥2 格的区域必含已揭示的偶格线索）；Masyu/Yajilin 环枚举（锚点定边序去重，白珠直行/黑珠转弯即时剪枝）；Hashiwokakero 逐线 0/1/2 桥回溯（度数、交叉预计算、终局连通）；Nurikabe 区域放置（每岛恰含一线索且尺寸相等、海连通、无 2×2 水洼）；Slitherlink 按顶点分组的边回溯 + 并查集环闭合即时判定；Star Battle 逐行双星回溯。难度 = 求解节点数（<2k 易、<30k 中、其余难）。唯一性判定：数到 2 即止——count=1 且未耗尽即「已证明唯一」；预算耗尽则「unproven」。同一 family+seed 永远生成同一盘。
执行
填写表单、运行工具，并在同一页面查看结果。
案例
相关内容
工具使用指南
这是一个基于随机种子确定性生成 8 种 Nikoli 经典逻辑谜题（Kakuro、Fillomino、Masyu、Yajilin、Hashiwokakero、Nurikabe、Slitherlink、Star Battle）的专业工具。系统采用「解优先」生成流程，并内置精确穷举回溯求解器进行数解证明，确保谜题具备严格证明的唯一解，同时输出谜面与解答的双矢量 SVG 图形及基于搜索节点数的难度评分。
背景
教师准备在课后思维训练中引入数回谜题，需要确保题目线索精简且只有唯一一条闭合回路解。
问题
避免手工出题可能出现的断路、多解或死循环漏洞。
如何使用
在谜题家族下拉框选择「Slitherlink」，设置种子为 12345，勾选「显示解答 SVG」，点击生成。
family: slitherlink, seed: 12345, showSolution: true结果
生成带有 17 处提示数的 5×5 谜题 SVG，经 840 节点验证为唯一解（难度：简单），并获得标准蓝色闭合回路解答图。
背景
设计师需要为移动端逻辑游戏准备一套经过严格解法验证的双星谜题关卡素材。
问题
需要满足每行、每列、每区域恰有两颗互不接触的星，并确保规则无歧义。
如何使用
选择「Star Battle」家族，输入种子 777，开启显示解答选项并运行工具。
family: star-battle, seed: 777, showSolution: true结果
获得划分为 8 个区域且包含 16 颗星的 8×8 盘面，回溯求解器经 218 节点完成唯一解证明，输出结构清晰的谜题及标星解答 SVG。
求解器采用精确穷举回溯搜索解，当且仅当在计算预算内找到恰好 1 个解且穷尽搜索空间时判定为已证明唯一；若耗尽节点预算则诚实标记为 unproven。
是的，同一谜题家族搭配相同的种子数值，每次都将以确定性算法生成完全一致的盘面与解答。
难度基于回溯求解器的搜索节点总数划分：小于 2,000 节点为简单，2,000 至 30,000 节点为中等，超出则归类为困难。
支持 8 种 Nikoli 家族谜题：Kakuro（数和）、Fillomino（数区）、Masyu（珍珠）、Yajilin（黑白回路）、Hashiwokakero（数桥）、Nurikabe（数墙）、Slitherlink（数回）和 Star Battle（双星战役）。
可以，系统直接输出纯净的谜面 SVG 和解答 SVG，支持无损缩放和打印排版。