这是什么道理?
数独吧
全部回复
仅看楼主
level 8
蓝閃蝶 楼主
把r1c1里面的adf分别讨论真时,如果都可以得到r8c5里不填a,那么可以肯定删除r8c5里的a,这种情况我能懂。不懂是下面这种情况,不知道逻辑在哪里?大佬帮我分析一下。如果r1c1里面的adf里面的某一个数分别是真是假时,假设是那个a吧,假设r1c1里的a分别是真或假时,都可得到r8c5里的a假,为什么就可以删掉r8c5那个a了,里面的df不是都没讨论吗?
2022年02月24日 02点02分 1
吧务
level 11
因为a的真假两种情况已经表示这个格子里的所有情况了。
实际上,a为假的条件可以跟r8c5建立起连接的话,那么a为假本身就意味着d和f其中之一为真了,只不过我们并未对d和f哪一个为真进行讨论,因为我们这里只关心a的情况,而a的真假两种情况已经涵盖了r1c1的所有填数情况,你觉得呢?
2022年02月24日 04点02分 5
虽然a的真假两种情况看似是已经表示这个格子里的所有情况了,但是毕竟是把另两个数d和f打包在一起了,打包在一起,看成两个数,非此即彼,逻辑成立的。实际情况是三个数,情况不一样啊,严格来说还应该把df分别来看一下,我想也只有在df分别真时,都得到同a真时一样的结果这样是不是更严密一些
2022年02月24日 05点02分
看了你的教程,教程里说能改成普通链,如果改不成普通链应该就不能这样用吧,这个说法我觉得很有道理
2022年02月24日 05点02分
看懂你说的了[熊-怒赞]
2022年02月24日 05点02分
@蓝閃蝶 你没有说错,确实是可以合并为一条链,但我并不是用这个角度给你讲这个技巧的逻辑的,我打算让你把思路拓展一下。d和f打包为一种情况,是想告诉你a为假的客观对应情况,但我并不是让你实际上去分析d和f,而是让你仔细分析a的真假性。
2022年02月24日 05点02分
level 13
因为一个候选数a真假只有两种可能,要么为假,直接删去a,要么为真,意味着这格就填a(同时这格其余候选排除)
2022年02月24日 08点02分 7
我问的是讨论r1c1里的a真假,去删r8c5那个a,应该不是你说的这种
2022年02月24日 10点02分
@蓝閃蝶 不,就是一个问题,就是通过某个候选数的真假两种情况来寻找共同结论,在你这里就是通过r1c1的a的真假两种情况来删r8c5的a,由于r1c1的a只有两种可能,所以分类讨论就行了
2022年02月24日 15点02分
@清欢如梦 这个结论我是知道的,问的就是其中的逻辑是什么?怎么推理得到这个结论的
2022年02月26日 23点02分
@蓝閃蝶 就是分类讨论。对于一个不确定的候选,只要把它所有的可能情况都分析一遍,这些情况的共同结论就是必然的。因为对于一个唯一解数独来说,任意两个候选之间都有固定关系
2022年02月26日 23点02分
1