9 Sudoku 下载

iPhone 数独

一道不需要猜的数独

每一道题都先验证过只有唯一解,难度取的是「解题时真正用上的最难技巧」,而不是数一数挖空了几格。深呼吸,把格子填满。

在 App Store 下载

iPhone · 免费 · 无广告、无账号,飞行模式照常玩

这个 App 具体给你什么

难度是量出来的,不是标出来的

多数数独 App 按「挖了多少格」定难度,这个指标其实很不准:24 个已知数的盘面可能只用唯一余数就推完,32 个已知数的盘面反而要用到 X-Wing。这里的做法是——生成完题目后,再用纯人类技巧把它解一遍,记下用到的最难那一种,那一种就是难度。入门只需唯一余数,简单加上隐性唯一数,中等到区块摒除、区块宣告和显性数对,困难到隐性数对和显性三数组,专家才进入 X-Wing、Swordfish 和 XY-Wing 的范围。

唯一解,逐步验证过

题目是从一张完整终盘上一对一对地挖出来的:每挖掉一对格子,求解器就数一次解的个数,数到第二个解立刻停手;只要不是恰好一个解,这一对就原样填回去。所以每道题都能纯靠推理走完,你正确推出的每一步,都不可能是「走错了分支」。

提示是讲道理,不是报答案

每局三次提示。提示不是直接扔给你一个数字,而是跑一遍和人一样「从便宜到贵」的技巧级联,说出停在了哪一种技巧上,并把支撑这步推理的格子高亮出来。不想看理由,数字也在那儿。如果盘面上已经有填错的数,提示会直接告诉你,而不是假装局面还成立。

候选数会自己收拾干净

候选数在内部是每格九位的位掩码,所以一格里放任意组合都不需要额外记账。打开自动填充,整盘的合法候选数会一次标好。填进一个数字之后,同行、同列、同宫里所有格子的这个候选数会被自动划掉——这正是纸笔数独里最枯燥的那部分文书工作,也正是纸笔玩家最常出错的地方。

所有人玩同一道每日挑战

每日挑战是用日期哈希算出来的,不是从服务器取的。它是一个纯函数:你的手机和另一个时区某个陌生人的手机,谁都不用联网,算出来的是同一张盘。主页上有一张月历,记着你完成过哪些天。

值得一看的统计

总局数、完成数、完成率、当前连续天数、最长连续天数、总用时;再按难度分开看:局数、胜局、最快用时、平均用时,以及「零失误通关」的次数。所有数字都是从对局记录本身算出来的,不存第二份,所以不存在对不上的情况。

五套主题,其中一套是深色

纯白、森林绿、天空蓝、樱花粉、深空。每一套都是成组地定义页面、棋盘、宫线、选中格、同行同列提示、同数字提示和冲突色,所以换的是一整块可读的盘面,而不是给同一张图换个色调。

不挡路

错误提示、同数字高亮、触感反馈都可以关;有撤销,有会遮住盘面的暂停,计时器你不看也行。九种界面语言,也可以跟随系统。没有横幅、没有插屏、没有每日奖励弹窗、没有登录墙。

一道题的难度是怎么定出来的

难度是测出来的,不是拍脑袋写上去的。整个流程如下,在你手机上跑完只要几毫秒。

  1. 先填出一张完整终盘用带约束传播的随机回溯,生成一张合法的 9×9 完整解。种子来自一个小的确定性发生器,中途绝不去读系统时钟,所以同一个种子永远得到同一张盘。
  2. 成对地挖空格子是按中心对称(旋转 180°)成对拿掉的,这样最后的题面看起来像一道题,而不像随手泼上去的。如果还没挖到目标数量,再走一轮不对称的补挖。
  3. 每挖一次就数一次解求解器数解的个数,数到第二个就提前退出。只要不是恰好一个解,这一对立刻填回去。正是这一步让「猜」变得没有必要。
  4. 再用纯人类技巧解一遍级联从最便宜的技巧开始:唯一余数、隐性唯一数、区块摒除、区块宣告、显性数对、隐性数对、显性三数组、X-Wing、Swordfish、XY-Wing。用到的最难那一种,就是这道题的等级。
  5. 要么收下,要么扔掉如果算出来的等级和你选的档位对不上,这道题直接作废,换下一个种子重来。只有专家档允许需要试错,而即便在专家档,解依然是唯一的。

已知数的下限:入门 40,简单 34,中等 30,困难 26,专家 22,并有一条 17 的硬下限——那是「有唯一解的数独」已被证明的已知数最小值。

有什么东西离开你的手机

没有。这不是一句宣传语,而是这个包本身的性质:App 里没有 HTTP 客户端,没有统计 SDK,没有广告 SDK,也没有后端。

题目在本机生成,每日挑战是按日期算出来的而不是下载来的。你的对局、统计和设置存在本地数据库和本地钥匙串里,删掉 App 就一起没了。

不需要注册,不要邮箱,不采集设备标识,也没有任何追踪。App Store 隐私标签是「未收集数据」,随包发布的隐私清单里,已收集数据类型是一个空列表。

唯一会离开 App 的链接,是设置页里的隐私政策、用户协议和支持邮箱,而它们是交给 Safari 和邮件去打开的——App 自己一次请求都不发。

价格

免费。五档难度、每日挑战、提示、候选数、统计和五套主题,第一次打开就全都在。

没有订阅,没有消耗品,没有激励视频,没有体力条。游戏里没有任何东西是要你看广告或者付钱才能解锁的。

在 App Store 下载

大家最先问的几个问题

会不会出现无解的题?

不会。每道题在交到你手上之前都已验证过恰好只有一个解;除专家档外,还额外验证过能在该档位允许的技巧范围内推完。卡住了说明推理还在,只是你还没找到——提示会替你说出它叫什么。

需要联网吗?

任何时候都不需要,每日挑战也一样。生成和求解全在手机上跑。

每日挑战大家玩的是同一道吗?

是。它是本地日期的纯函数,任意两台日期相同的设备算出的是同一张盘。什么都不下载,自然也就没有不一样的余地。

填错了会不会直接结束?

不会。错误会被记下来,如果你开着高亮也会标红,但没有三振出局,也不会强制重开。全程零失误完成的一局,会在统计里记成一次「零失误通关」。

删了 App,我的记录还在吗?

不在了。所有东西都存在本地,也没有任何东西备份到服务器上——因为根本没有服务器。