在数独中,遇到瓶颈时,尤其是不知道为什么卡住,这是最令人沮丧的时刻。 我为此开发了NumpleT——它指导你一步一步地移动。
**与众不同的点**
大多数应用程序都支持标准数独。 NumpleT支持:正常、超级、X、颜色、百分比——以及每种类型的zigzag变体。 难以在其他地方找到。
**实施的解决方案技巧**
X链、XY链、翅膀、AIC链(正常/组/ALS/SDC)、死亡花朵、独特的矩形、SDC和模板。
**最困难的部分:自动生成谜题**
以下是Template求解器的逻辑:
- 根据初始线索和数独规则生成每个数字1-9的所有有效放置模式
- 对于每个数字,存在于*所有*模式中的位置是确认的
- 跨验证模式,消除矛盾
- 直到收敛——一个模板每个数字意味着解决方案已经确定
为了生成一个解决方案的棋盘,我随机选择一个模式,消除冲突的模式,选择另一个模式,重复。
对于谜题生成:
- **级别1-2**: 随机掩盖单元格,验证可解性使用基本技巧,计算失败次数(3次L1,5次L2)
- **级别3-5**: 应用特定技巧的求解器直到取得进展,验证使用模板+UR
**最大的挑战**
如果任何求解器有BUG,它就可以产生无效的谜题。 模板+UR验证不足以解决问题——我还必须验证所有求解器。 我还捕捉到边缘情况,其中我的求解器无法解决谜题,但谜题本身是有效的。
通过在应用程序的求解器中运行并在解决方案数字被消除时显示toast通知来调试——慢但有效。
我不能声称它是100%的BUG-free,但它通过了我的所有测试,因此我决定发布它。
如果您发现了BUG,或遇到了一种特别有趣或棘手的谜题,应用程序有一个内置的分享功能——请随时使用它来发送它给我!
*(付费应用程序——¥150/\~\$1,仅一次购买。 无广告,无订阅。)
https://play.google.com/store/apps/details?id=com.takataka.numplet&hl=ja
评论 (0)