man, what can i say

直接用wxyz-wing。如果想论证原理，你在r9c7上分别假设3，5，6。
1. 假设r9c7=3，则r8c7<>3，于是r8c7与r7c9形成46数对，所以r9c9<>6；
2.假设r9c7=5，则r9c4=6，所以r9c9<>6；
3.假设r9c7=6，则r9c9<>6；
r7c9必然是356中的一个，而每种假设都能得出r9c9<>6的结论，所以r9c9一定不为6。
可在“破解数独”app中学习更多技巧。

lz你用的是什么app