专题 染色问题与染色方法

竞赛讲座14

-染色问题与染色方法

1．小方格染色问题

最简单的染色问题是从一种民间游戏中发展起来的方格盘上的染色问题.解决这类问题的方法后来又发展成为解决方格盘铺盖问题的重要技巧.

例1 如图29-1(a),3行7列小方格每一个染上红色或蓝色.试证:存在一个矩形,它的四个角上的小方格颜色相同.

证明由抽屉原则,第1行的7个小方格至少有4个不同色,不妨设为红色(带阴影)并在1、2、3、4列（如图29-1（b））.

在第1、2、3、4列（以下不必再考虑第5，6，7列）中，如第2行或第3行出现两个红色小方格，则这个问题已经得证；如第2行和第3行每行最多只有一个红色小方格（如图29-1（c）），那么在这两行中必出现四角同为蓝色的矩形，问题也得到证明.

说明：（1）在上面证明过程中除了运用抽屉原则外，还要用到一种思考问题的有效方法，就是逐步缩小所要讨论的对象的范围，把复杂问题逐步化为简单问题进行处理的方法.

（2）此例的行和列都不能再减少了.显然只有两行的方格盘染两色后是不一定存在顶点同色的矩形的.下面我们举出一个3行6列染两色不存在顶点同色矩形的例子如图29-2.这说明3行7列是染两色存在顶点同色的矩形的最小方格盘了.至今,染k 色而存在顶点同色的矩形的最小方格盘是什么还不得而知.

例2 (第2届全国部分省市初中数学通讯赛题)证明:用15块大小是4×1的矩形瓷砖和1块大小是2×2的矩形瓷砖，不能恰好铺盖8×8矩形的地面.

分析将8×8矩形地面的一半染上一种颜色，另一半染上另一种颜色，再用4×1和2×2的矩形瓷砖去盖，如果盖住的两种颜色的小矩形不是一样多，则说明在给定条件不完满铺盖不可能.

证明如图29-3，用间隔为两格且与副对角线平行的斜格同色的染色方式，以黑白两种颜色将整个地面的方格染色.显然，地面上黑、白格各有32个.

每块4×1的矩形砖不论是横放还是竖盖，且不论盖在何处，总是占据地面上的两个白格、两个黑格，故15块4×1的矩形砖铺盖后还剩两个黑格和两个白格.但由于与副对角线平行的斜格总是同色，而与主对角线平行的相邻格总是异色，所以，不论怎样放置，一块2×2的矩形砖，总是盖住三黑一白或一黑三白.这说明剩下的一块2×2矩形砖无论如何盖不住剩下的二黑二白的地面.从而问题得证.

例3 （1986年北京初二数学竞赛题）如图29-4（1）是4个1×1的正方形组成的“L”形，用若干个这种“L”形硬纸片无重迭拼成一个m×n（长为m个单位，宽为n个单位）的矩形如图29-4（2）.试证明mn必是8的倍数.

证明∵m×n矩形由“L”形拼成，∴m×n是4的倍数，∴m、n中必有一个是偶数，不妨设为m.把m×n矩形中的m列按一列黑、一列白间隔染色（如图29-4（2）），则不论“L”形在这矩形中的放置位置如何（“L”形的放置，共有8种可能），“L”形或占有3白一黑四个单位正方形（第一种），或占有3黑一白四个单位正方形（第二种）.

设第一种“L”形共有p个，第二种“L”形共q个，则m×n矩形中的白格单位正方形数为3p+q，而它的黑格单位正方形数为p+3q.

∵m为偶数，∴m×n矩形中黑、白条数相同，黑、白单位正方形总数也必相等.故有3p+q=p+3q，从而p=q.所以“L”形的总数为2p个，即“L”形总数为偶数，所以m×n 一定是8的倍数.

2．线段染色和点染色

下面介绍两类重要的染色问题.

(1) 线段染色.较常见的一类染色问题是发样子组合数学中图论知识的所谓“边染色”（或称“线段染色”），主要借助抽屉原则求解.

例4 （1947年匈牙利数学奥林匹克试题）世界上任何六个人中，一定有3个人或者互相认识或者互相都不认识.

我们不直接证明这个命题，而来看与之等价的下述命题

例5 （1953年美国普特南数学竞赛题）空间六点，任三点不共线，任四点不共面，成对地连接它们得十五条线段，用红色或蓝色染这些线段（一条线段只染一种颜色）.求证:无论怎样染,总存在同色三角形.

证明设A、B、C、D、E、F是所给六点.考虑以A为端点的线段AB、AC、AD、AE、AF，由抽屉原则这五条线段中至少有三条颜色相同，不妨设就是AB、AC、AD，且它们都染成红色.再来看△BCD的三边，如其中有一条边例如BC是红色的，则同色三

角形已出现（红色△ABC）；如△BCD三边都不是红色的，则它就是蓝色的三角形，同色三角形也现了.总之,不论在哪种情况下,都存在同色三角形.

如果将例4中的六个人看成例5中六点,两人认识的连红线,不认识的连蓝线,则例4就变成了例5.例5的证明实际上用染色方法给出了例4的证明.

例6 (第6届国际数学奥林匹克试题)有17位科学家,其中每一个人和其他所有人的人通信,他们的通信中只讨论三个题目.求证:至少有三个科学家

相互之间讨论同一个题目.

证明用平面上无三点共线的17个点A1,A2,…，A17分别表示17位科学家.设他们讨论的题目为x,y,z,两位科学家讨论x连红线,讨论y连蓝线,讨论z连黄线.于是只须证明以这17个点为顶点的三角形中有一同色三角形.

考虑以A1为端点的线段A1A2,A1A3,…，A1A17，由抽屉原则这16条线段中至少有6条同色，不妨设A1A2，A1A3，…，A1A7为红色.现考查连结六点A2，A3，…，A7的15条线段，如其中至少有一条红色线段，则同色（红色）三角形已出现；如没有红色线段，则这15条线段只有蓝色和黄色，由例5知一定存在以这15条线段中某三条为边的同色三角形（蓝色或黄色）.问题得证.

上述三例同属图论中的接姆赛问题.在图论中,将n点中每两点都用线段相连所得的图形叫做n点完全图,记作k n.这些点叫做“顶点”，这些线段叫做“边”.现在我们分别用图论的语言来叙述例5、例6.

定理1 若在k6中，任染红、蓝两色，则必有一只同色三角形.

定理2 在k17中,任染红、蓝、黄三角，则必有一只同色三角形.

（2）点染色.先看离散的有限个点的情况.