一、组合思想 3 : 上下界逼近

上下界逼近的思想 , 通常用于确定某个值 , 或确定某个函数的阶 ( 函数的量级 ) ;

上下界逼近步骤 :

( 1 ) 证明值的上界

( 2 ) 证明值的下界

( 3 ) 如果上界与下界值相等 , 则 证明结束

( 4 ) 如果上界与下界值不相等 , 则改进上界或下界 , 使这两个值逐渐逼近 ;

组合数学中很多组合数的值 , 有些上下界相等 , 得到了精确的值 , 有些只得到了组合数的上界和下界 , 并且上界下界不相等 , 具体值未知 ;

二、上下界逼近示例 ( Remsey 数 )

Remsey ( 莱姆希 ) 数

KnK_nKn 是完全 nnn 阶图 , 完全图就是每对不同的顶点之间都有一条边 , 即每个顶点都有连接到其它所有顶点的边 ;

使用红蓝两种颜色 , 对 KnK_nKn 的边进行涂色 , 求在涂色中 , 出现一个红色三角形或一个蓝色三角形的 nnn 的最小值 ;

结果是 666 ;

这个 666 就是上界 ;

对 K6K_6K6 完全图进行涂色 , 不管怎么涂色 , 都会出现一个红色三角形或一个蓝色三角形 ;

K6K_6K6 完全图中 , 根据完全图定义 , 每对不同的顶点之间都有一条边 ,

每个顶点都关联着五条边 , 这 555 条边 , 必须使用两种颜色对这 555 条边进行涂色 , 红色或蓝色 , 同种颜色的边至少有 333 条 ( 或者 333 条红色 , 或者 333 条蓝色 ) ,

1. 假定该顶点关联的边有 333 条是红色的 , 下图是一个顶点引出 333 条红色的边 , 这三条红边的另外一端的三个顶点 , 有三条边 , 下面讨论这三条边的情况 :

假如三条边都是蓝边 , 如下图 , 那么构成一个蓝色三角形 ;

假如三条边有一条红边 , 如下图 , 那么构成一个红色三角形 ;

2. 假定该顶点关联的边有 333 条是蓝色的 , 下图是一个顶点引出 333 条蓝色的边 , 这三条蓝边的另外一端的三个顶点 , 有三条边 , 下面讨论这三条边的情况 :

假如三条边都是红边 , 如下图 , 那么构成一个红色三角形 ;

假如三条边有一条蓝边 , 如下图 , 那么构成一个来蓝色三角形 ;

KnK_nKn 完全图总的 n=6n = 6n=6 数值就是上界 , n=7n = 7n=7 更没有问题 ;

上界问题确定了 , 现在讨论下界 ;

讨论 n=5n = 5n=5 的情况 :

举出一个反例 , 下图中的涂色方案中 , 既没有蓝色三角形 , 也没有红色三角形 , 因此 n=5n=5n=5 时 , “出现一个红色三角形或一个蓝色三角形” 不成立 ;

因此 n=6n=6n=6 是下界 , 不能存在比 666 小的值 ;

【组合数学】组合数学简介 ( 组合思想 3 : 上下界逼近 | 上下界逼近示例 Remsey 数 )相关推荐

【组合数学】组合数学简介 ( 组合思想 2 : 数学归纳法 | 数学归纳法推广 | 多重归纳思想 )
文章目录一.组合思想 2 : 数学归纳法二.数学归纳法推广三.多重归纳思想一.组合思想 2 : 数学归纳法数学归纳法描述一个与自然数相关的命题 P(n)P(n)P(n) , 根据不同的问 ...
【组合数学】组合数学简介 ( 组合数学脉络 | 组合数学技巧 | 组合思想 1 : 一一对应 )
文章目录一.组合数学脉络二.组合数学思想 1 : 一一对应技巧三.组合计数模型与一一对应一.组合数学脉络组合存在性问题 : 鸽巢原理 , Remsey 定理 ; 组合计数问题 : 计数定 ...
【组合数学】排列组合 ( 集合排列、分步处理示例 )
文章目录一.集合排列.分步处理示例排列组合参考博客 : [组合数学]基本计数原则 ( 加法原则 | 乘法原则 ) [组合数学]集合的排列组合问题示例 ( 排列 | 组合 | 圆排列 | 二项式定理 ...
【组合数学】排列组合 ( 多重集组合数示例 | 三个计数模型 | 选取问题 | 多重集组合问题 | 不定方程非负整数解问题 )
文章目录一.多重集组合示例二.三个计数模型排列组合参考博客 : [组合数学]基本计数原则 ( 加法原则 | 乘法原则 ) [组合数学]集合的排列组合问题示例 ( 排列 | 组合 | 圆排列 | ...
【组合数学】排列组合 ( 多重集组合数 | 所有元素重复度大于组合数 | 多重集组合数推导 1 分割线推导 | 多重集组合数推导 2 不定方程非负整数解个数推导 )
文章目录一.多重集组合 ( 所有元素重复度大于组合数 ) 二.多重集组合所有元素重复度大于组合数推导 1 ( 分割线推导 ) 二.多重集组合所有元素重复度大于组合数推导 2 ( 不定方程非负 ...
【组合数学】排列组合 ( 多重集排列 | 多重集全排列 | 多重集非全排列所有元素重复度大于排列数 | 多重集非全排列某些元素重复度小于排列数 )
文章目录一.多重集二.多重集全排列三.多重集全排列示例三.多重集非全排列 1 所有元素重复度大于排列数 ( ni≥rn_i \geq rni≥r ) 四.多重集非全排列 2 某些元素重复度小 ...
【组合数学】排列组合 ( 排列组合示例 )
文章目录一.排列组合示例 1 ( 组合 | 乘法法则 | 加法法则 ) 二.排列组合示例 2 参考博客 : [组合数学]基本计数原则 ( 加法原则 | 乘法原则 ) [组合数学]集合的排列组合问题示 ...
【组合数学】排列组合 ( 两个计数原则、集合排列示例 | 集合排列、圆排列示例 )
文章目录一.两个计数原则.集合排列示例二.集合排列.圆排列示例排列组合参考博客 : [组合数学]基本计数原则 ( 加法原则 | 乘法原则 ) [组合数学]集合的排列组合问题示例 ( 排列 | 组 ...
【组合数学】排列组合 ( 集合组合、一一对应模型分析示例 )
文章目录一.集合组合.一一对应模型分析示例排列组合参考博客 : [组合数学]基本计数原则 ( 加法原则 | 乘法原则 ) [组合数学]集合的排列组合问题示例 ( 排列 | 组合 | 圆排列 | 二 ...

【组合数学】组合数学简介 ( 组合思想 3 : 上下界逼近 | 上下界逼近示例 Remsey 数 )

文章目录

一、组合思想 3 : 上下界逼近

二、上下界逼近示例 ( Remsey 数 )

【组合数学】组合数学简介 ( 组合思想 3 : 上下界逼近 | 上下界逼近示例 Remsey 数 )相关推荐

最新文章

热门文章