单排方格图的无直角染色
给定整数 。由 条单位线段围成 行 列相连的单位正方形方格图,其中水平的单位线段称为“横线段”,竖直的单位线段称为“竖线段”。现将方格图中的部分单位线段染成红色,如果图中的红色横线段和红色竖线段没有公共点,则称这种染法为“无直角”的。在所有使得上述方格图“无直角”的染法中,恰有两条红色竖线段的染法种数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先选两条红色竖线段。
与它们端点相接的上下两条横线段都不能染红;所选竖线段在路径上的位置关系,只会使被禁止的“列边”数为 。按这三个数分类即可。
把 条竖线段依次编号为 。每个相邻编号对之间有上、下两条横线段。选定两条红色竖线段后,凡是至少有一个端点落在这两个编号上的横线段都不能染红,其余横线段可独立选择是否染红。
设被禁止的相邻编号对共有 个,则可自由选择的横线段有 条,对应 种染法。两条竖线段的位置分类如下:
其中 的三对为两个边界相邻对以及最左、最右竖线段组成的一对; 包括内部相邻对和“一个边界、一个不相邻内部位置”的点对; 对应两个不相邻的内部位置。
因此所求染法数为
三类竖线段对的总数为
正好覆盖所有选法。取最小值 时公式给出 ,与三类计数 一致。
先固定稀少的对象(这里是两条竖线段),再把冲突条件转成被禁边数;路径端点与内部点的度数不同,因此按相邻性和是否位于边界分类最自然。
需先固定两条红竖线并用它们覆盖的相邻间隔数计数;辨认边界与相邻造成的三种禁用数后,各类组合和自由横线选择均可常规完成。
已记下,谢谢!