以数织图Nonogram

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

两天前在这一关卡住了，当时它是这个样子！我不得不退出思考，闭上眼我的脑子都在模拟步骤，555~
时隔两日，我又来了，很好，我又开出了新的222难题，我不得不佩服我自己的一根筋精神！它让我跨在222的道路上一去不返！
最后，横竖都杠2，我真2，谢谢您嘞！

断断续续玩了快两个月，总算是通关了。
我基本遵循以下几个步骤：
1.开头先根据一些比较大的数确定基本盘面，比如在10X10的方格里出现6，就可以先把中间两块涂黑，因为这两块“一定有”。
（最左与最右的重叠部分为一定有）
（Tips:如果前面距离边框比较近的话，可以“往回顶”。比如横向要求5，而我们先前确定了当行第三列有一块，那么从那一行的边框往右数五个，确定的那一块右边的就也是一定有的）
（首先

从第一个格子开始尝试，每往后递归一个格子则校验行/列是否满足要求。
如不满足则直接返回上一个格子，若满足则递归尝试下一个格子。每个格子尝试空0和填1两种状态。
行列校验函数：
核心递归解题函数：

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

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

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


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

两天前在这一关卡住了，当时它是这个样子！我不得不退出思考，闭上眼我的脑子都在模拟步骤，555~
时隔两日，我又来了，很好，我又开出了新的222难题，我不得不佩服我自己的一根筋精神！它让我跨在222的道路上一去不返！
最后，横竖都杠2，我真2，谢谢您嘞！

断断续续玩了快两个月，总算是通关了。
我基本遵循以下几个步骤：
1.开头先根据一些比较大的数确定基本盘面，比如在10X10的方格里出现6，就可以先把中间两块涂黑，因为这两块“一定有”。
（最左与最右的重叠部分为一定有）
（Tips:如果前面距离边框比较近的话，可以“往回顶”。比如横向要求5，而我们先前确定了当行第三列有一块，那么从那一行的边框往右数五个，确定的那一块右边的就也是一定有的）
（首先

从第一个格子开始尝试，每往后递归一个格子则校验行/列是否满足要求。
如不满足则直接返回上一个格子，若满足则递归尝试下一个格子。每个格子尝试空0和填1两种状态。
行列校验函数：
核心递归解题函数：

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

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

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