用提示引擎检验世界最难的数独
没有官方认定的最难数独,答案取决于衡量方式。我们使用数独应用的提示引擎,按照玩家解题的方式衡量:一步步推进,每次使用当前可用的最简单技巧。
简明解答
芬兰数学家 Arto Inkala 创作的两道题,AI Escargot(2006)和他在 2012 年发布的题目,都曾被世界各地的媒体报道为有史以来最难的数独。我们的应用提示引擎无法讲解其中任何一道题的全部步骤:两道题都需要强制链,也就是先试一个数字,再沿着推下去;两道题也都有应用已知的所有技巧都无法解释的步骤。应用中的 60,000 道题,没有一道需要强制链或无法讲解的步骤。
我们如何衡量
提示引擎使用的代码与我们应用中的提示相同。它会找到能填入数字的最简单技巧,填入数字,再继续寻找,直到盘面填满。强制链是它最后尝试的技巧;如果连强制链也不适用,引擎仍然知道该填什么数字,却没有能用来讲解这一步的技巧。你可以在数独解题器中查看每一步。