网站地图
探索Sudojo上所有可用的页面和功能
语言
Sudojo支持多种语言。请选择您偏好的语言:
关卡
技巧
- 全屋全屋是最基本的数独解题技巧。当某个单元(行、列或宫)恰好有八个格子已填,只剩一个空格单元格时即可使用。缺失的数字就是该单元格的唯一可能。
- 隐藏单数隐藏单数是指某个数字在一个宫(行、列或区块)内只能填入一个单元格,即使该单元格可能还有其他候选数。该数字在其他可能性中"隐藏",但受其所在宫的约束而被迫确定。
- 裸单裸单是最简单的铅笔标记技巧。当一个单元格只剩下一个候选数时(经过其行、列和区块的所有排除后),该候选数必定是答案。
- 隐藏数对隐藏数对是指两个候选数恰好出现在同一宫的两个单元格中,即使这些单元格可能还含有其他候选数。由于这两个数字必须填入这两个单元格,因此可以从它们中排除所有其他候选数
- 裸双裸双由同一宫中的两个单元格组成,它们恰好含有相同的两个候选数,别无其他。由于这两个数字必须占据这两个单元格,因此可以从该宫的所有其他单元格中排除它们。
- 锁定候选锁定候选发生在某个宫内的候选数被限制在同一行或同一列时。这样就能从该宫之外的那一行或那一列中排除该候选数。
- 隐藏三数隐藏三数将隐藏数对的概念扩展到三个单元格和三个候选数。当三个候选数只出现在一个区域内的三个单元格中时,可以从这些单元格中排除所有其他候选数。
- 裸三数裸三数由同一区域内的三个单元格组成,它们合起来恰好包含三个候选数。这三个数字必须放在这三个单元格中,因此可以从该区域的其他位置排除它们。
- 隐藏四数隐藏四数是隐性数对和三数组的四单元格扩展。当四个候选数仅出现在一个宫中的四个单元格内时,可以从这些单元格中排除所有其他候选数。
- 裸四数裸四数由宫中的四个单元格组成,它们合起来恰好包含四个候选数。这四个数字必须占据这四个单元格,从而可以从其他单元格中排除。
- X翼X翼是一种使用两行两列的鱼形技巧。当某个候选数在两行中恰好各出现于两个单元格,且这四个单元格共用相同的两列时,就可以从这两列的其他单元格中排除该候选数。
- 剑鱼剑鱼将X翼扩展到三行三列。当某个候选数在三行中每行出现2-3次,且所有出现位置都落在相同的三列内时,就可以进行排除。
- 水母水母是鱼形模式的四行四列扩展。当四行中的某个候选数仅局限于相同的四列时,就可以从这些列的其他单元格中将其排除。
- XY翼XY翼使用三个双值单元格,其排列方式使每一对都共享一个候选数。枢轴单元格能看见两个翼单元格,而两翼的共同候选数可以从能看见两翼的单元格中排除。
- 鳍状X翼鳍状X翼是一种X翼,其某个基础行/列中带有额外候选数(即“鳍”)。鳍将排除范围限制在同时能看到鳍和常规排除区域的单元格。
- 斯奎姆巴格斯奎姆巴格(或称六链鱼)是一种五行五列的鱼模式。它极其罕见,只出现在非常困难的题目中。
- 鳍状剑鱼鳍状剑鱼是一种剑鱼模式,带有构成鳍的额外候选数。排除仅限于同时能看到鱼和鳍的单元格。
- 鳍状水母鳍状水母是带鳍的水母结构。删减仅限于同时看到鱼列和鳍的格。
- XYZ-WingXYZ-Wing通过让枢轴格单元格含有三个候选数来扩展XY翼。枢轴格有{X,Y,Z},而两翼有{X,Z}和{Y,Z}。可以从同时看到这三格的格中删减Z。
- WXYZ-WingWXYZ-Wing使用四个格,其候选数构成一种受限结构。配置得当时,可以从同时看到该结构所有格的格中删减一个共同候选数。
- 几乎锁定的集合几乎锁定集(ALS)是一组N个单元格,包含N+1个候选数。如果移除一个候选数,剩余的N个候选数就被锁定在这N个单元格中。
- 鳍状Squirmbag鳍状Squirmbag是一种斯奎姆巴格(5-fish)模式,带有形成鳍的额外候选数。这是数独解题中最罕见的模式之一。
- ALS链ALS链通过受限共同候选数连接多个ALS组。当ALS组以特定方式共享候选数时,就能实现强大的排除。
- 摩天楼摩天楼是一种使用两个共轭对的单候选数模式。当两行各恰好有两个含某候选数的单元格,且共享一列而不共享另一列时,就可以从能同时看到两个“楼顶”单元格的单元格中排除该
- 双线风筝双线风筝针对单个数字使用两个共轭对,一对在某行、一对在某列,并通过共享的宫相连。可以从能同时看到两个线端的单元格中排除该候选数。
- 空矩形空矩形利用某个候选数在宫内一个矩形区域中的缺失。当四个单元格为某个候选数构成一个空矩形时,结合强链,就可以进行排除。
- 简单着色简单着色(单链)使用两种颜色来追踪单个数字的共轭对。沿链交替着色,可以发现矛盾或进行排除。
- W翼W翼由两个相同的双值单元格组成,它们通过其中一个候选数上的强链相连。另一个候选数可以从同时看到这两个双值单元格的单元格中排除。
- 远程数对远程数对使用一条由双值单元格组成的链,这些单元格都含有相同的两个候选数。偶数长度链两端的单元格具有相反的值,从而可以进行排除。
- 唯一矩形类型1唯一矩形类型1可防止一种致命模式,即四个具有相同候选数对的单元格会造出多个解。当三个角只有该数对而一个角有额外候选数时,可以从第四个中排除该数对。
- 唯一矩形类型2唯一矩形类型2与类型1类似,但同一侧的两个单元格共享一个额外的候选数。该额外候选数必须填入其中之一,因此可以在其他地方将其排除。
- 错误+1BUG(双值通用坟墓)是一种所有单元格都恰好有两个候选数、且每个候选数在每个单元中出现两次的状态——从而产生多个解。错误+1有一个含三个候选数的单元格;该额外候
- 苏德科克苏德科克利用宫与线的交叉处的单元格,并结合线与宫中的伴随集合。当候选数正确划分时,就能进行多重删减。
- ALS-XZALS-XZ是最简单的ALS链技巧。两个几乎锁定的集合共享一个受限共同候选数(X),从而可以从能看见两组中所有Z的单元格中删减任何其他共同候选数(Z)。
- X-循环X-循环是单个数字的强链和弱链构成的环。根据链的排列方式,可以确定排除或填数。
- 强制链强制链探索当假设一个单元格为其每个候选数时会发生什么。如果所有假设都得出相同结论,该结论必为真。
- 美杜莎着色美杜莎着色(3D美杜莎)通过使用双值格内的强链将简单着色扩展到多个数字。这会构建更大的颜色簇,带来更多排除机会。
- 鹤鹤使用同一数字的两个共轭对:一个在宫中,一个在行中。这两个对通过一个共享的单元格连接,形成一种模式,其中两个尾格之一必须包含该数字。
- 唯一矩形类型3唯一矩形类型3有两个仅含致命数对的底格和两个含额外候选数的顶格。顶格中的额外候选数与其共享宫中的其他格构成伪锁定集,从而可以删数。
- 唯一矩形类型4当致命数对中的一个数字在顶格的共享宫中形成共轭对时,就会出现唯一矩形类型4。由于该数字被锁定在顶格中,另一个致命数对数字可以从两个顶格中删除。
- 唯一矩形类型5唯一矩形类型5出现在矩形的两个对角格除了致命数对外还共享一个额外候选数时。为避免致命模式,这两个对角格中必须有一个包含该额外候选数。
- X链X链是一种单数字链技巧,通过交替的强链和弱链连接各个格。当两个端点都位于强链上时,可以从能同时看到两个端点的格中删除该数字。
- XY链XY链通过共同候选数连接双值格(恰好有2个候选数的单元格)。每对相邻单元格共享一个候选数,形成强弱交替的推理,从而强制删减。
- VWXYZ翼VWXYZ翼使用五个单元格,其候选数合计恰好为五个数字。当正确配置枢轴和翼时,可以从看到所有模式成员的单元格中删减受限的共同候选数。
- UVWXYZ翼UVWXYZ翼是一种六单元格翼模式,具有六个合并候选数。它将翼家族扩展到更大的集合,使用类似ALS的逻辑进行排除。
- TUVWXYZ-WingTUVWXYZ-Wing是一种七单元格翼模式,进一步扩展了翼家族。七个单元格与七个合并候选数允许排除一个受限候选数。
- STUVWXYZ-WingSTUVWXYZ-Wing是最大的翼模式,使用八个单元格与八个合并候选数。这是9x9数独中翼家族的理论最大值。
- AIC交替推理链(AIC)是一种强大的链技巧,通过交替的强推理和弱推理连接候选数,可能跨越多个数字。当链形成环或回到起点时,便可进行排除或确定。
- 强制网ForcingNet通过同时追踪每个候选数的所有推论来扩展强制链,而不仅仅是单条链。这会创建一个分支推论网络,能够发现更深层的矛盾和共同结果。
- 可避免矩形可避免矩形类似于UniqueRectangle,但涉及已解出的单元格。当一个矩形的三个单元格已用两个交替的值解出时,第四个单元格必须避免完成致命模式。
- 神风X翼神风X翼是鳍状X翼的一种变体,其中缺少一个基础格。该模式仍可在同时看到鳍和预期排除区的格中进行排除。
- 三文鱼剑鱼三文鱼剑鱼是剑鱼的一种变体,其中缺少一个或多个基础格,由鳍格补偿。排除针对同时看到鳍和覆盖集的格。
- 三文鱼水母三文鱼水母是刺身鱼的四行变体。一个缺少基础格、由鳍补偿的水母模式可实现受限的排除。
- 隐藏唯一矩形隐藏唯一矩形识别出一种致命结构,其中UR数字“隐藏”在顶格共享的单元中。如果该数字在该单元中只出现在顶格里,就可以将其排除,以防止致命结构。
- 烟花烟花使用位于行与列交叉处的一个枢纽单元格,其中某个数字沿行和列都有强链。该结构迫使该数字进入特定的格,从而可以在其他地方进行排除。
- 死亡之花死亡之花使用一个茎单元格,通过受限共同候选数与多个几乎锁定的集合(花瓣)相连。茎中的每个候选数连接到不同的花瓣ALS,所有花瓣中的共同候选数都可以被排除。
- 弗兰肯X翼弗兰肯X翼扩展了基本的X翼,允许宫作为基础集或覆盖集,与行和列并列使用。这种混合使用宫的方式能形成仅靠标准行/列无法实现的鱼形结构。
- 弗兰肯剑鱼弗兰肯剑鱼是一种3宫Franken鱼,将宫与行和列混合。基础集和覆盖集各使用三个宫,其中至少包含一个宫。
- 弗兰肯水母弗兰肯水母是一种4宫Franken鱼,将宫与行和列结合。这是解题中使用的最罕见的鱼形结构之一。
- 分组X循环分组X循环通过允许成组节点扩展了X-循环——即宫与行/列交叉处多个格作为一个节点。这能形成更强的链和更多的排除机会。