以数织图Nonogram

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

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

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

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

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


因为开发者的不当人行为，3月5日谜题（当然很多15*15都是的）解法过于复杂，建议大家不要再去点什么视频提示了，做出来也没有意义