以数织图Nonogram

第二章：定理扩展与模糊位
————————————————
2.1概论
和第一章一样，我们本章先提出一条简单的定理。该定理是定理（1.1.1）的延伸，但是却是负格推演中最基础的公式。
若一排中存在一个场地格不是任何数字的位，则该场地格为负格。(2.1.1)
这个定理决定了负格的分布，也是除反证法及其得出的定理外唯一确定负格的方式。然而，其在实际运用中用处不大。本章我们将侧重于用反证法证明几个定理，

《以数织图Nonogram》自上线以来，一直有一种声音：来自Nonogram数织高手的鄙视：你这游戏最大才10*10（盲盒也就11*11），太简单，有没有20*20,30*30或是50*50的？
没有推出更大规模的数织有多种原因，一方面是目前功能还不太支持（这个游戏是我一个人开发，目前功能还比较简陋，没有地图缩放或者模拟手柄）；另一方面则是，谁说一定是越大越难呢？10*10就不能出难题了吗？


大家好，我是以数织图Nonogram的开发者。上次关卡更到152关，当天就有人通关了，之后通关的人越来越多，每天都有人催更，亚历山大啊！
这次游戏推出了盲盒模式，每次的题型和题目都是随机的。也就是说，再也不愁关卡不够玩的情况了！
盲盒模式规则：
1.题型：每次随机5种题型，题型分为普通题型和隐藏题型，普通题型为5x5、6x6、7x7、8x8、9x9、10x10；隐藏题型目前只有11x11。

每次更新完都有人当天就通关，而且还会说我的关卡太简单，不给力。（除了上次更新的158关稍有难度）
这次我绞尽脑汁配到了200关，最后压箱底的两关用尽我毕生功力，话不多说，先睹为快（这两关经反复验证只有唯一解，有不明白的可以进官方交流群交流解题技巧，里面高手如云）：
另外，这次更新还做了很多功能新增和优化：
1.新增关卡到200关
2.新增撤消功能：再也不用担心总是点错了
3.优化操作：滑动操作时，