染色问题
染色是分类的可视化:把对象涂上颜色,抽屉与奇偶就藏在了颜色里。
染色的两副面孔
染色问题分两类:
- 证明不可能:给对象规定一种染色(往往只有两种颜色),用奇偶或抽屉说明题目要求的状态碰不上这种染色,从而不可能;
- 构造可能:给出一种具体的染色方案或操作序列,展示可以达到。
黑白二染色是最常用的:国际象棋盘相邻格异色、坐标 按 奇偶染色,都是把几何问题翻译成奇偶问题的桥梁。
两个经典模型
- 棋盘去角: 棋盘去掉对角两格后,无法用 个 骨牌铺满——黑白染色后黑白格数不等,而每个骨牌恰盖一黑一白。
- 路径染色:相邻区域染不同色的可行性问题,与图的最短路奇偶相关。
不变量思想
操作与游戏类染色题的内核是不变量:染色后,每个操作对“黑格上棋子数减白格上棋子数”这类量的改变是固定的(比如不变、或变固定值),于是终点状态的该量被锁定,达不到就说明不可能。
例题
例1 骨牌铺棋盘
棋盘去掉左上、右下两个角格,能否用 个 骨牌完全覆盖?
解:按国际象棋盘方式染色,相邻格异色。左上角与右下角同色( 中 与 的 都是偶数)。
原棋盘黑白各 格,去掉两个同色格后,一色 格、另一色 格。
每个骨牌无论横放竖放都盖住一黑一白, 个骨牌只能盖黑白各 格,与 的分布不符,所以不可能。
例2 换角再问
棋盘去掉左上、右上两个角格,能否用 个 骨牌覆盖?
解: 与 的 一奇一偶,去掉的两格异色,剩下黑白各 格,染色障碍消失。
染色挡不住时回到构造:第一行去掉两角后剩 格,用 个横骨牌盖住;其余 行每行 格用 个横骨牌盖住,共 个,可以覆盖。
顺序值得记住:染色证不可能,构造证可能,两步走完整才算回答了覆盖问题。
例3 直线分平面加抽屉
平面上 个点,任意三点不共线。证明其中存在 个点构成凸四边形。
解:先看 点的凸包。若凸包至少有 个顶点,这 个顶点就是凸四边形,结论成立。
剩下凸包为三角形的情形:设三角形为 ,另外两点 、 在其内部。直线 把平面分成两个半平面,、、 三点落入两侧,由抽屉原理必有两点在同一侧,设为 、。
于是线段 与线段 分居直线两侧、互不相交,端点错开,四点 、、、 构成凸四边形。
这道题与二染色同属一个思想:先用一个二元划分(直线的两侧)把配置切成两类,再用抽屉逼出想要的组合。
- 染色只挡了一种方案:染色证“不可能”必须对所有方案都挡住;只验证自己的摆法失败不算证明。
- 去掉的格子颜色没核对:对角格同色还是异色,直接决定结论,先算 奇偶。
- 构造与证明混淆:题目问“能否”,“不能”要证明、“能”要给摆法,只答一半丢一半分。
- 棋盘能否用 个 骨牌加 个 单格盖满?若能,单格应放在哪类位置?
- 圆周上 个点两两连线,每条线段染红蓝两色。证明存在三边同色的三角形。
- 棋盘去掉两个对角格,能否用 个 骨牌盖满?
看答案
1. 黑白染色后黑格 白格 ( 偶的格子:四角与中心)。 个骨牌盖黑白各 格,单格必须放在黑格位置(四角或中心),可以盖满。
2. 任取一点 ,它向其余 点连线 条,两色染色必有至少 条同色,设为红色,连向 、、。看 、、 之间的三条线:若有一条是红色,它与 的两条红线构成红色三角形;若三条全是蓝色,则 三边同蓝。两种情形都出现同色三角形,证毕。
3. 黑白各 格,对角两格同色,去掉后一色 格、另一色 格。每个骨牌盖一黑一白, 个骨牌需要黑白各 格,与 不符,不能盖满。
染色把图形变成奇偶账本:每个骨牌盖一黑一白,先对账再谈覆盖;证不能靠染色,证能靠构造。