拉姆齐简介
拉姆齐是英国哲学家、经济学家、数学家,剑桥大学毕业,26岁时(1930年)死于慢性肝炎。
我不仅接触了他在数学上的成就,而且在我学习宏观经济学准备投顾考试时,又学到了他提出来的拉姆齐模型。
拉姆齐定理内容
拉姆齐定理是说,对于任意正整数 r r r,存在一个整数 N N N,使得 N N N个点组成的完全图 K N K_N KN,其边着 r r r种色后,一定存在一个单色三角形。
证明
如果
r
=
1
r=1
r=1,那么N只需要大于等于3就行了,因为只有一种颜色嘛,那么肯定就存在单色三角形,
r
=
2
r=2
r=2的时候也有好几种选择。在
r
p
1
rp1
rp1时
N
N
N的选择很多,我们就定
N
=
3
N=3
N=3。拉姆齐定理从r到N有多种方案可以选择,既然是证明存在,那我们找到其中的一种方案就完成了证明,我们定义一个符号,我们选择的这个方案,从r到N的函数关系为
N
=
f
(
r
)
,
f
(
1
)
=
3
N=f(r),f(1)=3
N=f(r),f(1)=3。
再定义递归关系:
f
(
r
)
=
r
⋅
(
f
(
r
−
1
)
−
1
)
+
2
f(r)=r\cdot(f(r-1)-1)+2
f(r)=r⋅(f(r−1)−1)+2。所以我们选择的函数就是以下形式:
f
(
r
)
=
{
r
⋅
(
f
(
r
−
1
)
−
1
)
+
2
,
r
≥
2
3
,
r
=
1
f(r)=\left\{ \begin{aligned} r\cdot(f(r-1)-1)+2,r \ge 2 \\ 3, r = 1 \end{aligned} \right.
f(r)={r⋅(f(r−1)−1)+2,r≥23,r=1
由这个递推公式,我已经算出来了通项公式:
f
(
r
)
=
[
∑
i
=
1
r
∏
j
=
1
i
(
r
−
j
+
1
)
]
+
2
f(r)=\left[\sum_{i=1}^{r}\prod_{j=1}^{i}\left(r-j+1\right)\right]+2
f(r)=[i=1∑rj=1∏i(r−j+1)]+2
比如
r
=
4
r=4
r=4时,
f
(
4
)
=
(
4
+
4
×
3
+
4
×
3
×
2
+
4
×
3
×
2
×
1
)
+
2
=
67
f(4)=(4+4\times3+4\times3\times2+4\times3\times2\times1)+2=67
f(4)=(4+4×3+4×3×2+4×3×2×1)+2=67。
再使用数学归纳法证明。定义两个个符号
r
′
=
r
−
1
,
N
′
=
f
(
r
′
−
1
)
r'=r-1,N'=f(r'-1)
r′=r−1,N′=f(r′−1),来进行数学归纳法证明。假设上面的函数在
r
′
r'
r′与
N
’
N’
N’时是成立的。那我们只需要证明
r
r
r与
N
N
N的场景下也成立就可以了。
在
K
N
K_N
KN任意取一个点v。因为
N
=
r
⋅
(
N
′
−
1
)
+
2
N=r\cdot(N'-1)+2
N=r⋅(N′−1)+2,所以
v
v
v有
r
⋅
(
N
′
−
1
)
+
1
r\cdot(N'-1)+1
r⋅(N′−1)+1个邻居。我们又要用到鸽笼原理了。图是完全图,因为有
r
⋅
(
N
′
−
1
)
+
1
r\cdot(N'-1)+1
r⋅(N′−1)+1个邻居,所以
v
v
v有
r
⋅
(
N
′
−
1
)
+
1
r\cdot(N'-1)+1
r⋅(N′−1)+1条边。颜色呢,最多只有
r
r
r种,对于
v
v
v的所有边,把所有颜色用完,每种颜色都均衡,那么每种颜色都有
N
′
−
1
N'-1
N′−1条边,那就耗去了
r
⋅
(
N
′
−
1
)
r\cdot(N'-1)
r⋅(N′−1)条边,还有一条边呢?只能在
r
r
r种颜色里任选一个了。所以至少有
N
′
N'
N′条边是同一种颜色。
上述占用边数最多的颜色,就叫它红色吧。因为至少有
N
′
N'
N′个邻居是红色的。这
N
′
N'
N′个邻居组成完全图。现在有两种场景:
一、这
N
′
N'
N′个邻居恰好是适配
r
′
r'
r′种边色的场景,也就是恰好用了除红色外的另外
r
−
1
r-1
r−1种颜色(数学归纳法的假设)。这个时候我们用这
N
′
N'
N′个邻居里面的同色三角形就可以了,放弃
v
v
v和红色吧。
二、这
N
′
N'
N′个邻居没有那么巧用到了红色外的其他颜色,那么就一定有红色边,因为这
N
′
N'
N′个邻居和
v
v
v都是红色相连,那么我们就得到了一个红色三角形。
上述两种场景,我们的证明都成立,证明完毕。
当然,肯定还有其他的
N
N
N和
r
r
r映射函数,读者们可以发在评论里交流交流。