在组合数学上,拉姆齐定理是要解决这样一个问题:
要找这样一个最小的数n,使得n个人中必定有k个人相识或l个人互不相识。
是不是很拗口?
大多数人连题目都很难理解,就不用说将其解开了。
而此时此刻,楚皓正在做的就是解开这道困扰了世界数学界将近十年的难题!
其实说是解决并不严谨。
楚皓现在真正要做的是否定这个猜想。
当西塔潘猜想被否定,那么也就不攻自破,这个困扰数学家已久的猜想也就被解开。
楚皓此时坐在桌面前,似乎想到了什么,于是指尖上旋转的笔杆骤停,开始奋笔疾书了起来。
……
R(1,s)=1,R(2,s)=s,R(i1,i2……),R(3,3,3)=17R(3,3)=6的证明。
证明:首先在一个K6的完全图内,每边涂上红或蓝色,必然有一个红色的三角形或蓝色的三角形。
……
然后根据鸽巢原理,三条边的颜色至少有两条相同。
……
楚皓已经写了七八页纸了。
其实西塔潘猜想在数学界的地位有些尴尬。
甚至有些数学系的学生都没听过。