关于 Sudoked
理解每一步的数独
一个涵盖60 种命名技巧及变体的逻辑引擎持续分析下一步是什么、难度如何以及为何有效。这项分析驱动着 Sudoked 的提示、解题路径进度线,以及贯穿29,696 道逻辑验证谜题的六个基于技巧的难度等级。
- 60种技巧及变体
- 6个难度等级
- 29,696道独特谜题
- 0个广告或中断
解题路径分析
基于每一步所需技巧的进度线
大多数数独游戏只显示还剩多少空格。Sudoked 显示的是更有用的信息:剩余格子将需要什么样的思考。棋盘上方的进度线为每个非给定格子包含一个段。已完成的段记录了你的进度;即将到来的段则按到达该填入所需逻辑技巧的难度着色。
这不是一个通用的百分比条,也不是基于线索数量的。Sudoked 用驱动其提示的同一技巧感知求解器来分析当前棋盘。如果在填入某个数字之前需要诸如 X-Wing 或强制链之类的排除,那种复杂性会传递到它所解锁的格子。该段反映了沿途所需的最难逻辑步骤。
结果是一幅谜题结构的紧凑地图:绿色和黄色区段揭示容易入手的唯余解;橙色和红色警告即将到来的模式工作;深红色标记专家级结构;最深的段标识强制链领域。当你解题、擦除或走另一条有效路线时,分析会跟随当前棋盘。
示例解题路径
难度系统
按解题技巧分级的六个等级
线索更少的谜题并不自动更难。Sudoked 通过逻辑求解来为谜题分级,并衡量它们实际所需的最具挑战性的技巧。每个集合都经过筛选以创建刻意的学习曲线:熟悉的方法继续发挥作用,而新的模式则进入工具箱。
简单
以隐藏唯一为核心的清晰、令人满足的棋盘。非常适合学习规则、建立扫描节奏和无需猜测地解题。
中等
唯余解加入基础。候选数意识开始变得重要,但每一步仍然直接且易读。
困难
介绍利用交叉与数组关系消除候选数的宫行排除、行宫排除和隐性数对。
大师
对、三数组、X-翼、剑鱼和强链构造将候选数笔记变成真正的解题语言。
宗师
Wings、唯一性逻辑、四数组、Jellyfish、BUG 和其他稀有结构奖励经验丰富的模式猎手。
巅峰
最高难度:Nishio 和强制链,包括针对最难棋盘的多重、动态和嵌套推理。
谜题库
29,696 道已验证的数独谜题
Sudoked 目前包含跨越简单、中等、困难、大师、宗师和巅峰的 29,696 道谜题。每个等级都有数千道游戏,因此进阶并不意味着重复同一小包只是数字重新排列的谜题。
生成和验证系统创建唯一可解的棋盘,分析其完整逻辑路径,并仅当它们符合预期难度特征时才予以接受。这就是为什么各等级感觉不同的原因:每一次升级都要求新技巧,而不仅仅是更多耐心。
对称与多样
谜题生成器支持十一种线索布局模式:垂直、水平、对角线、反对角线、双对角线和正交对称;180° 和 90° 旋转对称;完整和扩展的 32 重对称;以及非对称布局。对称的给定数字使棋盘视觉上平衡,而多样的布局保持解题体验新鲜。
每个被接受的谜题仍然只有一个解。视觉优雅永远不能替代逻辑质量。
逻辑提示系统
提示支持的全部60种数独技巧与变体
提示按钮不会简单地揭示一个数字。它会搜索最简单的有效下一步方法,高亮相关的格子、候选数和关系,并解释其逻辑。下面的目录将求解器的技巧家族扩展为各自命名的变体,包括活动提示系统可以返回的每种唯一矩形、唯一环、BUG、环、强链、循环和强制链形式。
| # | 技巧 | 提示可识别的内容 |
|---|---|---|
| 基础 | ||
| 1 | Hidden Single | 区域内一个数字的八个位置被排除。解出幸存者及其8+12个推论。 |
| 2 | Naked Single | 八个数字被从一个单元格中排除。解出幸存者及其20个同行单元格排除。 |
| 3 | Pointing | 宫到行的候选数限制与排除。 |
| 4 | Claiming | 行到宫的候选数限制与排除。 |
| 锁定子集 | ||
| 5 | Hidden Pair | 两个数字被限制在同一个区域中的两个格子内。 |
| 6 | Naked Pair | 两个匹配的双候选数格子,排除同伴格子中的候选数。 |
| 7 | Naked Triple | 三个格子仅包含三个合并候选数。 |
| 8 | Hidden Triple | 三个数字被限制在同一个区域中的三个格子内。 |
| 9 | Naked Quad | 四个格子被限制为四个合并候选数。 |
| 10 | Hidden Quad | 四个数字被限制在同一个区域中的四个格子内。 |
| 鱼 | ||
| 11 | X-Wing | 两行或两列的鱼构造。 |
| 12 | Swordfish | 三行或三列的鱼构造。 |
| 13 | Jellyfish | 四行或四列的鱼构造。 |
| AIC 链 | ||
| 14 | Skyscraper | 平行行或列中带有强推理的双节点X链。 |
| 15 | 2-String Kite | 通过宫连接的行和列强推理双节点X链。 |
| 16 | Two-Node X-Chain | 通用同数签名(A=B)-(C=D)。 |
| 17 | Empty Rectangle | 带有空矩形(ERI)分组强链接的双节点 X 链。 |
| 18 | Three-Node X-Chain | 通用L(1)-翼签名(A=B)-(C=D)-(E=F)。 |
| 19 | Grouped Three-Node X-Chain | 具有一个或多个分组侧的通用L(1)-翼。 |
| 20 | Four+ Node X-Chain | 具有四个或更多强推论节点的开放单数字交替推理链(AIC)。 |
| 21 | XY-Chain | 经过双值单元格的开放交替推理链。 |
| 22 | Turbot Fish | 短单数字链的已退役历史名称——如今归类为 X 链。 |
| AIC 环 | ||
| 23 | Two-Node Same-Digit AIC Ring | 四格单数字 AIC 环——X-Wing 环路——带有已验证的闭合弱推论。 |
| 24 | Three-Node Same-Digit AIC Ring | 具有验证过的连续环闭合的三个单数字强节点。 |
| 25 | Grouped Three-Node Same-Digit AIC Ring | 包括分组命题的三个强节点,具有验证过的连续环闭合。 |
| 26 | Same-Digit AIC Ring | 交替强链接与弱链接闭合成连续环路的单数字 AIC 环。 |
| 27 | Bivalue AIC Ring | 所有强推论都经过双值单元格、由已验证的弱链接闭合的环。 |
| 28 | Mixed AIC Ring | 混合双位与双值强链接、由已验证的弱链接闭合的 AIC 环。 |
| ALS-XZ 翼 | ||
| 29 | XY-Wing | 使用三个不同数字的三个二值单元格形成具有等价AIC证明的ALS-XZ构造。 |
| 30 | XYZ-Wing | 一个三值单元格和两个二值单元格形成ALS-XZ构造,要消除的数字作为候选数存在于全部三个中。 |
| 31 | WXYZ-Wing | 跨四个不同单元格和四个不同候选数字的两个ALS,由一个RCC链接。 |
| 32 | WXYZ-Ring | 跨四个不同单元格和四个不同候选数字的两个ALS,由两个RCC链接。 |
| 33 | VWXYZ-Wing | 跨五个不同单元格和五个不同候选数字的两个ALS,由一个RCC链接。 |
| 34 | VWXYZ-Ring | 跨五个不同单元格和五个不同候选数字的两个ALS,由两个RCC链接。 |
| 35 | UVWXYZ-Wing | 跨六个不同单元格和六个不同候选数字的两个ALS,由一个RCC链接。 |
| 36 | UVWXYZ-Ring | 跨六个不同单元格和六个不同候选数字的两个ALS,由两个RCC链接。 |
| 37 | TUVWXYZ-Wing | 跨七个不同单元格和七个不同候选数字的两个ALS,由一个RCC链接。 |
| 38 | TUVWXYZ-Ring | 跨七个不同单元格和七个不同候选数字的两个ALS,由两个RCC链接。 |
| 唯一性 | ||
| 39 | Unique Rectangle Type 1 | 一个救援格子包含额外候选数;致命数对从中被移除。 |
| 40 | Unique Rectangle Type 2 | 矩形的救援格子共享一个可从其共同同伴中移除的额外候选数。 |
| 41 | Unique Rectangle Type 3 | 额外候选数与其他格子组合,在共享区域中形成裸集。 |
| 42 | Unique Rectangle Type 4 | 一个矩形数字被锁定在两个救援格子中,允许移除另一个矩形数字。 |
| 43 | Unique Loop Type 1 | 一个更长的唯一环有一个救援格子,可从中移除致命数对。 |
| 44 | Unique Loop Type 2 | 更长环中的救援格子共享一个额外候选数,可从共同同伴中排除。 |
| 45 | Unique Loop Type 3 | 额外环候选数与共享区域中的其他格子形成裸集。 |
| 46 | Unique Loop Type 4 | 一个环数字被锁定在救援格子中,因此另一个环数字可在那里被移除。 |
| 47 | BUG Type 1 | 一个守卫候选数阻止验证过的BUG状态,必须保留。 |
| 48 | BUG Type 2 | 多个BUG例外单元格共享守卫数字,可以从公共同行单元格中消除。 |
| 49 | BUG Type 3 | BUG 值与附近格子组合,在共享区域中形成裸集。 |
| 50 | BUG Type 4 | 两个 BUG 格子在共享区域中锁定一个额外候选数。 |
| 强制兜底 | ||
| 51 | Forcing Chain | 一条证明填入或排除的开放混合 X/Y 蕴含链。 |
| 52 | Nishio | 一个单值假设被矛盾所推翻。 |
| 53 | Cell Forcing Net | 一个源格子中的每个候选数都导致相同结论。 |
| 54 | Region Forcing Net | 某数字在一个区域中的每个可能位置都导致相同结论。 |
| 55 | Dynamic Forcing Chain | 链中发现候选数后果产生新的蕴含。 |
| 56 | Dynamic Forcing Chain Plus | 一条可使用额外一级子规则的动态链。 |
| 57 | Nested Forcing Chain | 强制链推理嵌套在另一条强制链中。 |
游戏体验
专注数独解题的功能
完全无广告
网格旁没有横幅,推理上方没有弹窗,下一局之前没有视频。Sudoked 是没有广告的数独,从棋盘到统计皆是如此。
有教学意义的提示
相关格子、候选数、排除和链以逻辑解释的形式展示,而非仅仅揭示答案。
每个屏幕都舒适
响应式控件、铅笔标记、撤销、错误反馈、主题和本地保存的进度在手机、平板和桌面端均可使用。
无需账户
打开网站即可游玩。你的游戏和个人统计保留在浏览器中;你和棋盘之间没有注册墙。
项目与开发者
关于 Sudoked
Sudoked.com 是由 Andrus Aasmäe 创建并开发的独立无广告在线数独项目。它将基于技巧的逻辑求解器与可解释的提示相结合,涵盖 60 种命名技巧和变体,提供独特的解题路径进度线,以及横跨 29,696 道已验证谜题的六个难度等级——全部在浏览器中免费游玩,无广告、无需注册。
游戏、提示系统和技巧指南中使用的所有技巧名称、分组和定义,均与 r/sudoku wiki 中由 strmckr 维护的现代 ALS–fish–AIC 记号体系保持一致,因此你在 Sudoked 学到的内容与当前社区术语相符。
欢迎在 Reddit 的 r/Sudoked 社区中提出反馈、功能建议和谜题讨论。
在 Sudoked 上玩数独
选择六个难度等级之一,在浏览器中开始解题。
立即玩 Sudoked