《离散数学》课件 第20章 组合存在性定理.ppt

*************************************小Ramsey数的值

/RamseyNumber.html*Ramsey数的性质*Ramsey定理的推广*(2)将2元子集推广到r元子集(3)将T划分成E1,E2,…,Ek推广的Ramsey定理定理2对于任意给定的正整数p,q,r,(p,q?r)存在一个最小的正整数R(p,q;r)使得当集合S的元素数大于等于R(p,q;r)时，将S的r子集族任意划分成E1,E2，则或者S有p子集A，A的所有r元子集属于E1,或者存在q子集B，B的所有r元子集属于E2.*推广的Ramsey定理定理3设r,k?1,qi?r,i=1,2,…,k,是给定正整数，则存在一个最小的正整数R(q1,q2,…,qk;r)，使得当n?R(q1,q2,…,qk;r)时,当n元集S的所有r元子集划分成k个子集族T1,T2,…,Tk，那么存在S的q1元子集A1,其所有的r元子集属于T1,或者在S的q2元子集A2，A2的所有r元子集属于T2,…,或者存在S的qk元子集Ak,其所有的r元子集属于Tk.*R(p,q;r)的存在性证明证明R(p,q;r)存在：多重归纳法（1）证明归纳基础R(p,r;r)=p，R(r,q;r)=q，R(p,q;1)=p+q?1.*（2）归纳步骤假设R(p’,q’;r’)存在，其中r’=r?1,p’,q’任意;r’=r，p’p或q’q.p1=R(p?1,q;r),q1=R(p,q?1;r),令n=R(p1,q1;r?1)+1=R(R(p?1,q;r),R(p,q?1,r);r?1)+1r元子集划分

到r-1元子集划分*r元子集r-1元子集E1E2aE1’E2’关于一般Ramsey数的说明R(q1,q2,…,qk;r)(1)条件：r,k?1,qi?r,i=1,2,…,k,都是给定正整数(2)当r=2时，可以简记为R(q1,q2,…,qk)(3)Ramsey定理断定Ramsey数的存在性.Ramsey数的确定是一个很困难的问题.*(4)r=1,是鸽巢原理，R(q1,q2,…,qk;1)=q1+q2+…+qk?k+1r=2,k=2,是简单的Ramsey定理.结果：9个Ramsey数的精确值，部分上界、下界r=2,k=3,只有一个精确值R(3,3,3)=17一般Ramsey数的上下界51?R(3,3,3,3)?6265?62162?R(3,3,3,3,3)?307322?307538?R(3,3,3,3,3,3)?1838500?53830?R(3,3,4)?3132?3145?R(3,3,5)?5759?5755?R(3,4,4)?7981?7993?R(3,3,3,4)?15384?93,159?153128?R(4,4,4)?236242?236*Rams