# Kakuro / Fillomino / Masyu / Yajilin / Hashiwokakero / Nurikabe / Slitherlink / Star Battle 谜题生成器（含唯一性证明） 从种子确定性生成 8 个 Nikoli 家族谜题（同一种子必得同一盘）：Kakuro 稠密填数、Fillomino、Masyu 黑白珠、Yajilin 箭头+环、Hashiwokakero 架桥、Nurikabe 岛与海、Slitherlink 回路提示、Star Battle 双星；每种谜题由「先生成解再出题」流程产出线索，并经穷举回溯求解器数解验证——唯一性是证明出来的（最多数到 2 解），预算耗尽则诚实标注 unproven；附谜面与解答双 SVG 与按求解节点数评分的难度。 > 标准页面: https://elysiatools.com/zh/tools/kakuro-fillomino-masyu-yajilin-hashiwokakero-nurikabe-slitherlink-and-star-battle-puzzle-generator-with-uniqueness-prover - **分类:** Games - **关键词:** 谜题生成器, 数织, 逻辑谜题, 唯一解, Nikoli, Kakuro, 数回, 桥梁谜题 ## 概述 求解器（全部为精确穷举，非启发式）：Kakuro 逐格回溯 + 行列和上下界剪枝；Fillomino 区域放置枚举（固定多联骨牌按扫描序锚定，每铺法恰数一次；棋盘格揭示保证完备性——任何 ≥2 格的区域必含已揭示的偶格线索）；Masyu/Yajilin 环枚举（锚点定边序去重，白珠直行/黑珠转弯即时剪枝）；Hashiwokakero 逐线 0/1/2 桥回溯（度数、交叉预计算、终局连通）；Nurikabe 区域放置（每岛恰含一线索且尺寸相等、海连通、无 2×2 水洼）；Slitherlink 按顶点分组的边回溯 + 并查集环闭合即时判定；Star Battle 逐行双星回溯。难度 = 求解节点数（<2k 易、<30k 中、其余难）。唯一性判定：数到 2 即止——count=1 且未耗尽即「已证明唯一」；预算耗尽则「unproven」。同一 family+seed 永远生成同一盘。 ## 输入项 - **谜题家族** (select) - **种子（确定性）** (number): 12345 - **显示解答 SVG** (checkbox) ## 适用场景 - 需要为出版物、教育资料或纸质活动生成高质量且保证有唯一解的 Nikoli 经典逻辑谜题时。 - 逻辑谜题爱好者希望根据特定随机种子复现同一道盘面并获取配套的解答矢量图时。 - 谜题研究者需要量化的回溯节点数来评估不同谜题族（如数回、珍珠、数和）的客观难度时。 ## 工作原理 - 选择谜题家族（如 Slitherlink、Star Battle 等）并输入确定性数字种子。 - 系统首先构建满足拓扑与规则的完整解，随后反向提炼并最小化线索生成谜面。 - 内置精确回溯求解器枚举可能解（计数上限为 2），在搜索预算内严格证明唯一解并统计计算节点数以评定难度。 - 实时渲染包含谜面与解答的独立 SVG 矢量图形及判定报告。 ## 使用案例 - 谜题书籍排版：批量提取确定性种子生成的 SVG 矢量图，快速制作无歧义题目的印刷级数独与回路谜题册。 - 逻辑思维教学：为学生生成包含数桥、珍珠等不同规则的渐进难度谜题，并提供标准解答用于课后复盘。 - 竞赛与日常训练：通过调整种子生成高难度 Star Battle 或 Slitherlink 盘面，验证解题思路并核对标准路径。 ## 常见问题 ### 什么是「唯一性证明」？ 求解器采用精确穷举回溯搜索解，当且仅当在计算预算内找到恰好 1 个解且穷尽搜索空间时判定为已证明唯一；若耗尽节点预算则诚实标记为 unproven。 ### 输入相同的数字种子会得到完全一样的谜题吗？ 是的，同一谜题家族搭配相同的种子数值，每次都将以确定性算法生成完全一致的盘面与解答。 ### 难度等级是如何划分的？ 难度基于回溯求解器的搜索节点总数划分：小于 2,000 节点为简单，2,000 至 30,000 节点为中等，超出则归类为困难。 ### 支持生成哪些类型的逻辑谜题？ 支持 8 种 Nikoli 家族谜题：Kakuro（数和）、Fillomino（数区）、Masyu（珍珠）、Yajilin（黑白回路）、Hashiwokakero（数桥）、Nurikabe（数墙）、Slitherlink（数回）和 Star Battle（双星战役）。 ### 生成的谜题和答案可以导出为矢量图吗？ 可以，系统直接输出纯净的谜面 SVG 和解答 SVG，支持无损缩放和打印排版。 ## 相关工具 - [CSS 渐变网格生成器（角向 + 径向混合）](https://elysiatools.com/zh/tools/css-gradient-mesh-generator): 生成 2024 年以来 Dribbble/Behance 流行的“渐变网格”：多个径向渐变（色斑 → 同色透明衰减）叠加在底色（可选角向渐变底层）上，支持混合模式、SVG 胶片颗粒、种子化布局（四角 / 环形 / 散点 / 网格），实时预览 + 可复制 CSS + Tailwind 任意值类名导出。色斑用 #RRGGBB00 八位十六进制同色衰减，避免 transparent 关键字的灰圈问题。 - [CSV 直方图、散点图与箱线图图表工作台](https://elysiatools.com/zh/tools/csv-histogram-scatter-box-plot-chart-studio): 上传或粘贴 CSV 即刻出图：支持 Sturges / Freedman-Diaconis / Scott 分箱的直方图、带 Pearson r 与最小二乘拟合的散点图、Tukey 箱线图——每张图均可下载 PNG 与 SVG。 - [SVG Sprite Sheet 生成器](https://elysiatools.com/zh/tools/svg-sprite-generator): 上传最多 30 个 SVG 图标，合并为单个 sprite sheet： 模式用于页面内联 ， 模式用于外部文件片段引用。自动补全 viewBox（由 width/height 推导）、去除重复图标、可选剥离 fill/stroke 以配合 currentColor、始终清理 与 on\* 事件属性，并生成 HTML / React / Vue / CSS 使用代码片段与每个图标的实时预览。 - [SVG Favicon 生成器](https://elysiatools.com/zh/tools/svg-favicon-generator): 将 SVG 或位图 Logo 生成完整的 favicon 套件，包括 ICO、多个 PNG 尺寸、Apple Touch Icon 和 site.webmanifest - [OAuth 2.0 / OIDC 授权码 + PKCE 流程可视化](https://elysiatools.com/zh/tools/oauth-oidc-authorization-code-pkce-flow-visualizer): 端到端模拟带 PKCE 的授权码流程：verifier/challenge 生成、授权 URL、令牌交换、ID Token 校验清单与拦截攻击演示。 - [PKCE Code Verifier 与 Challenge 生成器](https://elysiatools.com/zh/tools/pkce-code-verifier-generator): 生成、校验与验证 OAuth2 / OIDC PKCE（RFC 7636）的 code_verifier 与 S256 code_challenge 配对。三种模式：(1) 从密码学安全随机字节（256/384/512/768 位熵）生成全新的 verifier + challenge；(2) 按 RFC 审计你已有的 verifier——长度（43–128）、字符集 \[A-Za-z0-9-._~\] 与 ≥256 位熵；(3) 通过重算 BASE64URL(SHA256(verifier)) 验证 verifier/challenge 配对。可选构建完整的授权请求 URL 与令牌交换体。补足通用的 nonce-generator（仅输出 verifier+challenge 配对）——增加 RFC 合规审计与配对验证。 - [TOTP / HOTP 离线动态密码生成器](https://elysiatools.com/zh/tools/totp-hotp-offline-generator): 从 base32 共享密钥生成 RFC 6238 TOTP（基于时间，6/8 位、30/60 秒步长）与 RFC 4226 HOTP（基于计数器）一次性密码，完全离线，支持 HMAC-SHA1/256/512，并导出 otpauth:// URI 以便导入 Google Authenticator / Authy - [Data URI 生成器](https://elysiatools.com/zh/tools/data-uri-generator): 将文件转换为 Data URI（Base64 或百分号编码），用于直接在 HTML、CSS 或 Markdown 中内联图片、字体等资源 ## 示例 - [SVG示例](https://elysiatools.com/zh/samples/svg-samples): 可缩放矢量图形（SVG）示例，展示各种SVG功能和技术 - [D3.js 数据可视化示例](https://elysiatools.com/zh/samples/d3js-data-visualization): 全面的D3.js数据可视化示例，包括图表、地图、动画和交互式可视化 - [SVG 查看器样本](https://elysiatools.com/zh/samples/svg-viewer-samples): 用于浏览器内 SVG 查看器的样本矢量图 - [XML 示例](https://elysiatools.com/zh/samples/xml-samples): XML（可扩展标记语言）格式示例，从简单到复杂结构