全民数独

ok找到了。10行6列是x

先推第四列，第十一行必然不能是2的一部分，不然13后面塞不下，因此第十一行必定为否，接着可推黄圈必然是十一行7的一部分，必定为是

第九列，红圈格子必为2的一部分，如果是1往上推会填不下，因此12行16行都为是。

破局点有两个，第一个是十二列，红圈格子必然是十二列的2或是第二个1，无论是哪个第九行都为否，然后就可以推第九行了。

被圈出来的格子要么是三行的1要么是三行的第二个2的第一个格子，因此三行五列必定是假。

第八行第十列那格，从上往下看，不可能是第一个数，也不可能是第三个数，只能是第二个数3，所以三行十列那格是真

应该算是假设法吧，第二行第三行的4｜5，和第三四列的3｜1。确定第二行前三个X。后面就容易了。如果卡了，就找一下挨着的两行（列）的长数字，一般都能确定X，然后就能推了。

十二行已标的格子无法组成2，第七列十行的格子不能为是，否则第七列将无法成立。

最开始可以推出必定黑的格子如图1，数图不像数独有那么多的逻辑技巧，所以感觉无法用基本技巧推进时就可以假定某一格为黑继续往下推进，如果遇到矛盾那说明这个格子应该是空的（其实这种试错本身就是数图的技巧之一）。所以我假定4 6列的第一格为黑往下推遇到了矛盾，则这一格必定为空，然后就可以比较顺利地往下推了。