以数织图Nonogram进阶攻略

在数织，从入门到精通（二）中，我们将深入探讨定理扩展与模糊位的逻辑推演，揭示负格判定的核心规律，并引入反证法与新解题思路，助你迈向数织高手之路。

第二章：定理延伸与模糊定位

————————————————

2.1概论

本章如同第一章，首先引入一个简单定理，它是定理（1.1.1）的推广，也是负格推理中最基本的公式。

若某排中存在一个格子未被任何数字占据，则该格子称为负格。

该定理用于确定负格的分布，是除反证法及相关结论外唯一可确定负格的方法，但在实际解题中应用有限。本章重点将放在运用反证法证明若干定理，并介绍两种新的解题思路，有助于提升数织解题能力。希望读者在练习过程中能够形成自己的思考方式，灵活运用所学方法解决实际问题。

负数定理的第二部分

图2.2.1

2.2.1所示，第4至第9行的第一个数字均为2。假设第一行为正格，根据定理（1.3.2），第二行也必为正格，进而与第三行的正格相连，导致该位置数值不等于2，产生矛盾。因此，第一格必须为负格。

从两个角度对该例进行推广，可得出两个定理。若考察正格之间的连接关系，通过计算格点数量，即可获得如下结论。

若某排首数为n且n不小于m，则从第m行至第(m+n)行的格子无法全部为正格。

当m等于1时，第一行格与第n加一行格无法同时为正格，此结论主要适用于m为1的情形，其他情况应用较少，此处不再详述。

由定理（1.3.2）及本例假设可推导出如下结论。

若某行首数为n，且从第n+1至n+m行的格子皆为正格，当n不小于m时，则第m个格子为负格。

当m=1时，该定理可视为定理（2.1.2）在相同条件下的弱化形式。

当n等于1时，定理（2.2.1）和（2.2.2）显然成立，无需证明，意义不大。

图2.2.2

2.2.2所示，第9行第8列为负格。由于第9行已被标记为负，第8列底部仅剩一个格子，少于数字5所需的格数，因此第7列的数字5不可能位于第10行。结合定理（2.1.1）可得，第10行第8列也必为负格。

此类情形在解题中极为普遍，通过简明推导，可得出如下定理。

若首排首个数为m，当第n行格为负且m大于n时，则对任意正整数i，第i行格必为负。

正格与位置的关联分析

第一章曾指出，正格可减少分布的可能性。此前我们探讨了仅有一个数字的情形，但现实中单一数字的情况极为罕见。因此，有必要进一步分析当存在一个以上数字时，正格所产生的影响及其作用机制。

图2.3.1

2.3.1所示，观察第7列中的数字3，其位置明显分布在第7至第10列之间。虽然直观上可解释为它无法与数字1相邻共存，但这仍属于特例判断，缺乏普适性。要建立统一的推理依据，需引入更深层的规律。每个数字都有其对应的占据区域，即位，但这些位之间不具备相互作用的能力，它们可能重叠或交错穿过。关键在于，当考虑某一数字的正格时，该正格便具备了与位发生关联的属性。一个数字的正格始终归属于该数字本身，且绝不可能与其他数字的位相连接。基于此，可推导出一条普遍适用的定理。

每个数字占据的正格两侧相邻格子不能属于其他数字的位置。

这个定理看似简单，却蕴含着极为抽象的应用场景。即便在无法确认任何正格的情况下，即正格数量为零时，该定理依然有效，仿佛一种无形的幽灵规则，持续约束着其他数字的位置分布。为此，我们需要引入0格正格的概念。回顾前文提到的边缘法，它通过削减多个正格来调整图形结构。当使用边缘法后，若某图形中剩余的格子数恰好等于其对应数字，则从最后一个实际格子与其后一个空位之间的间隙，便被定义为0格正格。这种结构虽不具备传统正格的直观性，但功能上等同于正格，只是在应用上更为隐蔽且难以察觉。

图2.3.2

2.3.2所示，第6列中剩余的两个数字1无法直接通过边缘法确定位置。但第一个数字1通过边缘法推导出的0格位于第2行与第3行交界处，其相邻格不可能是第二个数字1的位置，同理也适用于第二个数字1。因此，这两个数字1的可能分布仅有三种情况，以列号表示分别为（2，4）、（2，5）和（3，5），其余位置均被排除。

2.4定理的等价推广

此前所述的各种方法均存在特定限制，例如限定首个数字或仅允许一个数字，这些条件削弱了其解题作用。虽然上一章引入了整体法，但仍未有效解决问题。本节将尝试突破这些限制，寻求更有效的解决途径。

图2.4.1

2.4.1所示，定理（2.2.3）无法直接判断第7行第9列是否为负格，但通过简单推导即可明确其性质。此情形与图2.2.2极为相似，推理过程也完全相同。若对每种类似情况都建立新定理，面对无限扩展的区域时，便需提出无穷多个定理，这在逻辑上显然不可行且不现实，因此应依靠已有规则进行合理推演而非不断增设新定理。

不妨换个角度思考，既然已确定部分成立，而本系列定理仅依赖数字间的相对排列而非绝对位置，那么可将剩余部分视作一个全新的整体来处理。

积分合并后等效为一个新的排名。

当一排中某个数字对应的所有格子都已确定时，只需在其后添加一个负格，便可将后续部分视为一个独立的新排。该新排与原始排具有相同性质，原有规则依然适用，等价于一个完整的排。

如此一来，前文诸多定理的应用范围得以拓展。

至此，我们已学习了诸多定理与方法，并拓展了它们的应用范围，能够有效应对大多数问题。然而，面对某些复杂难题，这些工具仍难以推导出明确的正格或负格结论。因此，必须引入一种最为强大但也最为复杂的方法——矛盾法，以突破这些推理困境。

矛盾法本质上是反证法与穷举法的融合，其核心思路简洁明了：先假设某种填色分布成立，依据规则逐步推理，若推导出矛盾，则说明原假设错误，需更换分布重新尝试；若顺利推进，则可能直接完成图形。特别地，当某一分布恰好占据一个格子时，若该分布不成立，则该格必为其相反状态。此方法理论上可解决所有数织难题，但由于过程冗长、效率低下，通常仅在其他方法失效时才被采用。

——————————————————————————

为何零格正格在实际中具有合理性？