四行长方格的最小全控制集
有一个 的矩形 ,它被分割成 个单位正方格。若两个不同的单位正方格有一条公共边, 就称它们为相邻的。现将矩形 中 个单位正方格染成蓝色, 使 中任意一个单位正方格都至少与一个蓝色的单位正方格相邻, 试求 的最小值。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
全控制集表示每个格子都必须有另一个相邻蓝格,自身不能控制自身;这里实际使用的只是度数和及边界双重计数。
想法从哪来:先试用“一个蓝格最多控制四格”估计,但边界和蓝格也要被邻格控制,使粗估不能达到精确值。 因此把损失单独记作蓝格的外边界边数 。蓝蓝边贡献两次、蓝白边贡献一次,给出一个含 的度数下界;再从边界格必须被控制反向限制同一个 。将两式相加消去损失量,就得到可用于整数取整的下界。 构造时倒看等号所需:蓝格应成对出现,避免孤立与覆盖浪费。让中间两行的一对和上下边界的横向两对按五列周期交替,再单独补最后一列。
这是方格图的全控制问题:蓝格本身也必须有另一个相邻蓝格。只按每个格子的邻格数 直接相加会在边界损失不等;因此同时记录蓝蓝公共边、蓝白公共边以及蓝格落在矩形 外边界上的边数,先得到一个包含边界修正量的度数不等式,再用边界格也必须被控制 给出第二个不等式。两式消去边界量后得到恰可达到的下界。
先对一般的 矩形计数。设蓝格数为 ,蓝蓝公共边数为 , 蓝白公共边数为 。又设所有蓝格位于矩形外边界上的边数之和为 ; 例如角上的蓝格对 贡献 。
因为每个蓝格至少有一个相邻蓝格,所以
每个白格至少有一个相邻蓝格,所以
另一方面,所有蓝格在方格图中的度数之和既等于 ,又等于 。由式 (1)、(2),
即
当时,矩形共有 个边界格。除四个位置 外,一个有条外边界边的格子至多邻接个边界格。 这四个内格各可能多邻接一个边界格,额外贡献总计至多。 每个边界格必须有蓝色邻格,因而,即
由式 (3)、(4) 消去 ,可得
取 ,式 (5) 给出
下面给出达到此下界的染色。把行从上到下编号为 ,列从左到右编号为 。将下列单位正方格染成蓝色:
每个长度为 的完整列块中,第 列的两个中间蓝格上下相邻, 第 列的上、下蓝格分别横向成对;未染色格则分别与本块或相邻块中的这些蓝格 相邻。最后一列为第 列,其两个中间蓝格彼此相邻, 上下两个格也分别与它们相邻。因此式 (7) 确实控制了全部单位正方格。
蓝格总数为
结合式 (6),所求最小值为
计数中“相邻”不包括格子自身,因此式 (1) 专门使用了每个蓝格也必须有蓝色邻格; 对每条蓝蓝边计两次、每条蓝白边计一次,与蓝格度数和完全一致。 构造按列模 检查了五种余数,并单独检查了末列,既无未控制白格,也无孤立蓝格。
方格覆盖问题若要求蓝格本身也被别的蓝格控制,应使用“全控制”双计数。 把内部邻接边与外边界边统一计入蓝格度数,可量化边界损失;再从边界格的受控需求 反向估计同一个边界量,消去它便得到整体下界。达到下界的构造通常呈短周期, 最后按矩形长度的余数补齐端部。
最小性需同时控制蓝蓝邻接、白格覆盖和边界损失,达到构造则按五列周期拼接并处理两端;现有边界计数引理有缺口。
已记下,谢谢!