[已解决]关于 sfqxx 数独算法的证明

歌者文明清理员

歌者文明清理员 发表于 2023-7-22 15:21
很抱歉，作为AI机器人，我无法点击链接并查看具体的帖子内容。不过，我可以给你提供有关数独算法的一般信息 ...

gpt谁让你回复的

zhangjinxuan

陈尚涵 发表于 2023-7-22 15:22
scratch这个图本来就不清晰，而且我还没学过，根本看不懂，lz你能转换成c++我看看嘛

那么你让 sfqxx 向您解释一下，我原本就是想要让你来辩护 sfqxx 的。（呵呵

tommyyu

sfqxx 发表于 2023-7-22 15:22
你可以查一查资料，我记得数独很少有第2解

可是按你的算法，生成解了之后挖空，说一个极端情况，就是挖掉了 80 个空，那肯定解不是唯一的

你需要证明，通过你的挖空之后，这个数独有唯一解。

关于数独问题，建议去学学 dfs（我感觉应该需要用到）

sfqxx

歌者文明清理员 发表于 2023-7-22 15:21
很抱歉，作为AI机器人，我无法点击链接并查看具体的帖子内容。不过，我可以给你提供有关数独算法的一般信息 ...

为什么要设置最佳答案呢？点屏蔽

zhangjinxuan

tommyyu 发表于 2023-7-22 15:23
如果是按照生成解后挖空的算法肯定是可以的

但是生成解需不需要 dfs 又是一个问题

啊是的

歌者文明清理员

歌者文明清理员 发表于 2023-7-22 15:24
gpt谁让你回复的

很抱歉，作为SBI机器人，我听说是“歌者文明清理员”让我回复的。谢谢您的包容与理解。

sfqxx

zhangjinxuan 发表于 2023-7-22 15:19
“大脑飞速运转”

肯定是随机生成的啊，你怎么判断有没有重复，若重复了是怎么处理的呢 ...

这个很简单，重复了就重新生成

zhangjinxuan

歌者文明清理员 发表于 2023-7-22 15:24
gpt谁让你回复的

歌者文明清理员

zhangjinxuan 发表于 2023-7-22 15:26

26#

tommyyu

zhangjinxuan 发表于 2023-7-22 15:25
啊是的

感觉他写的就很迷，完全就不知道以这个逻辑是怎么运行起来的

但是

既然已经能运行了，就不要再改了，也不要问它的运行原理。       ——沃兹基·硕德

zhangjinxuan

sfqxx 发表于 2023-7-22 15:26
这个很简单，重复了就重新生成

那么你的效率又是如何保障的呢？

就是如果下一个空填不下去了就重新开始对吧

sfqxx

tommyyu 发表于 2023-7-22 15:25
可是按你的算法，生成解了之后挖空，说一个极端情况，就是挖掉了 80 个空，那肯定解不是唯一的

你需要 ...

特判，一般不能让用户挖45以上空

sfqxx

zhangjinxuan 发表于 2023-7-22 15:27
那么你的效率又是如何保障的呢？

就是如果下一个空填不下去了就重新开始对吧

算了，说下去没意思，理解不了就算了

临时列表是一个好东西

zhangjinxuan

歌者文明清理员 发表于 2023-7-22 15:26
26#

很抱歉，但是您给出的信息"26#"并没有提供足够的上下文，我无法理解您的意图。请您提供更详细的信息或者提出具体的问题，这样我才能更好地为您提供帮助。谢谢！

为什么不给我设置一个最佳答案呢？点它 ->

                               
登录/注册后可看大图

tommyyu

sfqxx 发表于 2023-7-22 15:27
特判，一般不能让用户挖45以上空

那如何证明不挖 45 以上空就一定有唯一解？？？
万一刚好把后半段（后面四行）挖走了，那能保证有唯一解么？？？
我们想要一个严谨的证明，而不是依靠直觉判断

陈尚涵

zhangjinxuan 发表于 2023-7-22 15:24
那么你让 sfqxx 向您解释一下，我原本就是想要让你来辩护 sfqxx 的。（呵呵

我对这个问题有点含糊啊，这个是生成数独的每一个数包含题目和答案嘛？

zhangjinxuan

sfqxx 发表于 2023-7-22 15:28
算了，说下去没意思，理解不了就算了

临时列表是一个好东西

我差不多理解了，就是你也像我一样创建一个类似于 row, col, gong 的列表是吧，然后从 (1,1) 开始填充到 (9,9)，如果重建遇到无论如何都填不下去的情况，就重新生成对吧。

tommyyu

zhangjinxuan 发表于 2023-7-22 15:29
我差不多理解了，就是你也像我一样创建一个类似于 row, col, gong 的列表是吧，然后从 (1, ...

那效率呢？

zhangjinxuan

陈尚涵 发表于 2023-7-22 15:28
我对这个问题有点含糊啊，这个是生成数独的每一个数包含题目和答案嘛？

是这样的，这是挖洞法生成题目，因此，需要一个完整的数独作为参考，然后“挖洞”，这样“挖”出来的数独一定是有解的。

现在的问题就是 sfqxx 生成完整数独的算法是怎样的，为什么是对的。

因为我和 sfqxx 在打赌，必须问仔细。

zhangjinxuan

tommyyu 发表于 2023-7-22 15:30
那效率呢？

这就得不到保证了，就像你在 这篇帖子 的回复一样，充满了随机性，可能跑的很慢，也可能一下子就跑出来了。