染色问题(科学家讨论问题)

染色问题（科学家讨论问题）

问题：
在66个科学家中，每个科学家和其他科学家通信。在他们的通信中仅仅讨论四个题目，而任何两个科学家直之间仅仅讨论一个题目。那么至少有几个科学家，他们互相之间讨论同一个题目？（这个问题的答案是3。）

这个问题的相似问题是：
在17个科学家中，每两名科学家和其他科学家通信。在他们的通信中仅仅讨论三个题目，而任何两个科学家直之间仅仅讨论一个题目。那么至少有几个科学家，他们互相之间讨论同一个题目？（同样，这个问题答案也是3.）

以上问题都可看做染色问题，或者说抽屉原理，或者说鸽巢原理。
对于66点染4色问题可归结为17点染3色问题，又可归结为6点染2色问题，又可归结为3点染一色问题。而且，这存在一个规律：
$6=(3-1)\times 2+2，17=(6-1)\times 3+2，66=(17-1)\times 4+2$
同理可得$(66-1)\times 5+2=327，(327-1)\times 6+2=1958$
记$r_1=3$，$r_2=6$，$r_3=17$，$r_4=66$，$r_5=327$，$r_6=1958$，可以得到递推关系式：$r_n=n(r_{n-1}-1)+2，n=2,3,4$。这样就可以构造出327染5色问题，1958点染6色问题，都必出现一个同色三角形。

6点染2色

下面首先证明6点染2色问题。
六个点分别为$A,B,C,D,E,F$，考虑A，它要与另外的5个点相连，从A出发引出5条线段，将他们染成2中颜色，而$5=2\times 2+1$，因为必有3=2+1条同色。不妨记为$AB,AC,AD$同红色。若$B,C,D$之间有红线，则出现红色三角形，命题成立；否则，$B,C,D$之间的连线只能染蓝色，也会出现蓝色三角形，命题成立。

17点染3色

下面证明17点染3色问题，即17个科学家的问题。
17个科学家为17个点。每两个点之间连一条线表示在讨论同一个问题。三个问题分别记为红色，黄色与蓝色。三个科学家讨论同一个问题就转化为找到一个三边同颜色的三角形。
考虑科学家A，他要与另外的16个科学家每人讨论一个问题，相应于从A出发引出16条线段，将他们染成3种颜色。而$16=3\times 5+1$，因而必有$6=5+1$条同色，不妨记为$A{B}_1,A{B}_2,A{B}_3,A{B}_4,A{B}_5,A{B}_6$同红色，若$B_i(i=1,2,...,6)$之间有红线，则出现红色三角形，命题成立；否则，$B_i(i=1,2,...,6)$之间的连线只染有黄色和蓝色。
接下来由6点染2色问题可知，命题成立。

66点染4色问题就不再证明了。类似抽屉原理题目见https://wenku.baidu.com/view/6858598c83c4bb4cf6ecd1b3.html