最后更新于2年前
因为
对于单元格Cell1、Cell2:
Cell1
Cell2
Cell1的候选为X[1,i]
X[1,i]
Cell2的候选为Y[1,j]
Y[1,j]
遍历Cell1、Cell2的不同组合,当Cell2 = Y[j]时,盘面都存在矛盾
Cell2 = Y[j]
所以
Cell2必不填入数字Y[j]
Y[j]
[[多分支匹配法]]:枚举删除结论的单元格和多分支匹配的起始分析单元格的情况出发分析
删除结论的单元格
多分支匹配的起始分析单元格