✏️举例验证
例 1 g5-c29-p04
题:一个 $9\times9$ 九宫数独,已给出部分提示数,要求补全后读出第 $4$ 列从上到下组成的九位数。
按规律解:盯住第 $4$ 列。它已经有 $1,2,3,4,5$。看 $(6,4)$:第 $6$ 行已有 $6,7,9$,所以这格不能是它们,只能填 $8$。看 $(7,4)$:第 $3$ 行、第 $5$ 行都已经有 $8$,逼得 $(7,4)$ 只能填 $9$。看 $(3,4)$:它所在的正中小九宫已有 $8$,所以填 $7$。这时第 $4$ 列只剩 $(5,4)$ 一格,而这一列还差 $6$ 没填,于是 $(5,4)=6$。从上到下读出:$327468951$。
为什么对:每一步都是纯排除:用“同行、同列、同九宫已出现的数”把候选压到只剩一个。最后一格则是唯一余数法——一列只差一个数时,缺的数只能进唯一的空格。所以答案唯一可信。
例 2 g5-c29-p07
题:把 $1,2,3,4$ 填入 $4\times4$ 方格,每行每列各出现一次,且不等号相邻两数中“小数是大数的因数”,求主对角线四数之和。
按规律解:先利用不等号定出所有的 $1$:在 $\Box>\Box$ 链的最小端只能是 $1$。再用更强的“小数是大数的因数”约束:在 $\Box>\Box>\Box$ 这种连续大于的链上,数只能依次取 $4,2,1$(因为 $2$ 是 $4$ 的因数、$1$ 是 $2$ 的因数,而 $3$ 不整除 $4$)。顺着这两条规则把全表填满,主对角线从左上到右下依次是 $3,4,2,3$,和为 $3+4+2+3=12$,选 C。
为什么对:普通不等号只能说谁大谁小,而“因数”是更硬的限制:在长度为 $3$ 的递减链里,候选 $\{1,2,3,4\}$ 中只有 $4,2,1$ 两两满足整除关系,$3$ 被自动排除。这一步把可能性锁死,所以填法唯一,和必为 $12$。
例 3 g5-c29-p05
题:把 $9$ 个 $3\times3$ 小方格网拼成 $9\times9$,要求每行、每列、每条大对角线都不重复,问哪一个小块应放到中心区域。
按规律解:关键在于:$9\times9$ 的两条大对角线都会穿过中心小块的“正中心格”。对角线要求所有格不重复,所以中心块的中心数不能和别的块的中心数撞车——其实只要比较 $9$ 个小块的中心格数字即可。发现第 $1$ 个与第 $4$ 个中心数相同、第 $2$ 个与第 $8$ 个相同、第 $3$ 个与第 $7$ 个相同、第 $6$ 个与第 $9$ 个相同,只有第 $5$ 个的中心数独一无二,所以第 $5$ 个放中心。
为什么对:这是“抓主要矛盾”的典范:题目看似要拼整张大图,但对角线约束把焦点收窄到只剩“中心格”一个比较点。能放中心的块,其中心数必须能同时坐在两条对角线交点上而不冲突,于是只看中心数就够了。
例 4 g5-c29-p13
题:$5\times5$ 被分成 $5$ 块,填 $1\sim5$ 使每行、每列、每条对角线不重复,且每块数字和相等,已知两格为 $1$ 和 $2$,求第三行 $\overline{ABCDE}$。
按规律解:先算每块的和:$1\sim5$ 的总和是 $1+2+3+4+5=15$,分成 $5$ 块且各块和相等,那么每块和必为 $15\div... $ 不对——这里是每块都用到 $5$ 个格、各块和相等,由整盘总和 $15\times5=75$ 平均分给 $5$ 块得每块和 $15$。于是对最小的右下角块作整数分拆 $15=5+4+3+2+1$(其它如 $5+5+3+1+1$、$5+4+4+1+1$ 都会让同块出现重复数而矛盾),从而把 $a$ 处定为 $3$。再顺着对角线和行列约束推出 $C=5$、各个 $5$ 的位置,最终第三行依次为 $1,4,5,2,3$,即 $\overline{ABCDE}=14523$。
为什么对:“各块和相等”看似多余,其实是最强的钥匙:它先把每块的和锁成 $15$,再用整数分拆排除掉所有会重复的拆法,只留下 $5+4+3+2+1$。这一步把无从下手的填数题,变成了一道“拆数 + 排除”的确定性推理。