定理1 若有n+1只鸽子飞回n个鸽巢,则至少有两只鸽子飞入了同一个鸽巢.
如果把n+1件东西放入n个盒子中, 则至少有一个盒子里面有不少于两件的东西.
定理2设m1,m2,,,,Mn均为正整数,如果有m1+m2+,,,+Mn-n+1只鸽子飞回n个鸽巢,则或者第1个鸽巢至少有m1只鸽子,或者第2个鸽巢至少有m2只鸽子或者第n个鸽巢至少有Mn只鸽子.
证明 用反证法. 假若第1鸽巢少于m1只鸽子, 第2鸽巢少于m2个鸽子, …, 第n鸽巢少于Mn只鸽子, 则鸽子总数至多为:
(m1-1)+(m2-1)+…+(Mn-1) =m1+m2+…+Mn-n,
这比假定的鸽子数少了一个,矛盾.从定理2可得出以下推论:
推论1 如果m1=m2=,,,=Mn=r, 若将n(r-1)+1个球放入n个盒子中,则至少有一个盒子含有不少于r个球.
推论2 如果n个正整数m1,m2,,,,Mn的平均数(m1+m2+,,,+Mn)/n>r-1,则m1,m2,,,,Mn中至少有一个正整数不会小于r.
推论3 有m个球放入n个盒子,则至少有一个盒子中有不少于[(m-1)/n]+1个球.
定理3(Erdös)由n*n+1个不同实数构成的序列中,至少存在由n+1个实数组成一个单调递增子序列或单调递减子序列.
Ramsey数
引理1若集合S由6个人组成,那么S中或者存在至少3个人互相认识,或者存在至少3个人互不认识.
证明:在6个人中,任意固定一个人A,则其余的5人可以分成两部分,一部分是由与A认识的人组成的F,另外一部分是由与A不认识的人组成的T,由鸽巢原理,这两部分至少有一部分含有3个人.
引理2 若集合S由10人组成, 那么S中存在至少4个人互相认识,或存在至少3个人互不认识.
证明 在这10个人当中任意固定一个人A,则其余人可以分成两类:
F:与A相互认识的人的集合
T: 与A相互不认识的人的集合
由鸽巢原理, 至少有一类含有不少于5个的人. 证明可以分情况得到.
(2) 若|T| ³ 4, 如果T中所有人都是互相认识的, 引理得证; 如果T中至少有两个人互相不认识, 再加上A就是3个互相不认
识的, 引理也成立.
引理3 由10人组成的集合中或者有4人互不认识, 或者至少有3人互相认识.
引理4 由20人组成集合中或者有4人互相认识, 或者有4人互不认识.
定义1 设p, q是任意给定的正整数,而且p>=2, q>=2. 如果存在一个最小的正整数R,使得任意R个人组成的集合S, 下面两件事中有一件必然成立:
(1) S中至少有p个人互相认识;
(2) S中至少有q个人互相不认识;
则称R是具有参数p, q; 2的Ramsey数,并记作R(p,q; 2), 可省略2, 而简记作R(p,q).
(1)Ramsey数可以用完全图边的2-染色来解释.
定理4 Ramsey数具下列简单性质:
(1)R(p, q)= R(q, p)
(2)R(p, 2)= p,R(2,q)=q
(3)R(p,q;1)= p+q-1
证明 (1), (2)结论明显.
(3)p+q-1=p+q-2+1, 利用鸽巢原理, 元素为p+q-1的集合的任意2-划分,要么第1个集合含有不少于p个元素,要么第2个集
合中含有不少于q个元素.
定理5 设p, q都是大于2的正整数, 则R(p,q)<=R(p-1,q)+R(p,q-1).
证明 令R(p-1,q)+R(p,q-1)=n.
在n个人中间, 任意固定一个人A, 其余n-1个人可以分成两类:
F: 与A相互认识的人的集合;
T: 与A互相不认识的人的集合.
由于n-1=R(p-1,q)+R(p,q-1)-1, 由鸽巢原理,|F|>=R(p-1,q)或者|T|>= R(p,q-1).
(1)|F|>= R(p-1,q).
此时由R(p-1,q)的定义,F中或者有p-1个人互相认识,加上A就得到p个互相认识的人;或者有q个人互相不认识.
(2)|T|>=R(p,q-1).
定理6 设p, q都是大于2的正整数, 当R(p-1,q)和R(p,q-1)都是偶数时,有R(p, q)£R(p-1, q)+R(p,q-1)-1.
推论1 R(3,4)=9.
证明 因为R(2,4)=4,R(3,3)=6, 所以由定理6,有R(3,4)£R(2,4)+R(3,3)-1=4+6-1=9.由下图中构造一个(红,蓝)-着色K8不含
有蓝色K3也不含有红色K4. R(3,4)>8, 从而可得R(3,4)=9.
推论2 R(3,5)=14.
证明 因为R(2,5)=5, R(3,4)=9, 由定理5,R(3,5)<=R(2,5)+R(3,4)=5+9=14.
然后构造一个红、蓝染色的K13,其中没有红色的K3, 也没有蓝色的K5. (图略)
推论3 设p, q是大于1的正整数,则 R(p,q)<=C(p+q-2,p-1)。