X-wing法若第3列中的9只可能第1行或第8行,且第5列中的9只可能在第1行或第8行,则第1行和第8行的其余位置没有9。
这个结论可以用反证法证明
假设第1行其余位置有9,
则第3列和第5列中的9都在第8行,
同一行中出现了2个9,矛盾!
因此假设不成立,第1行其余位置没有9。
所谓数独游戏,就是将1到9的自然数填入一个9行9列的表格,根据已知的部分数字推理出所有剩余空格的数字,并满足每一行、每一列、每一个粗线宫(3*3)内的数字均含1-9,不重复。
水利万物而不争,
而万物莫能与之争。