【组合数学】拉姆齐问题以及拉姆齐数(图文详解)
拉姆齐问题
命题一
任意6个人,其中总有3个人认识或者三个人不认识。
这个问题就等价于完全图,对它的边进行红蓝两个颜色任意着色,其中一定存在一个红色
或者蓝色
(同色三角形)。
证明:
一个顶点与每个其它5个顶点连线,根据鸽巢原理,至少有条边同色,不妨设3条边为红色,2条边为蓝色
![](/assets/blank.gif)
假如v2v3,v3v4,v2v4任意一条边为红色,则出现红色,假如全部为蓝色边,则出现蓝色
,即证。
命题二
对完全图进行红蓝两色任意着色,都至少有两个同色三角形(意思为每个三角形的每条边同色,不同三角形不一定同色)。
证明:根据例一已经得出一定有一个同色三角形,不妨令v1v5v6为蓝色三角形,然后进行分类讨论。
(1)假设v1v2,v1v3,v1v4全是红边,则v2v3,v3v4,v2v4任意一条边为红色,就会又出现一个同色三角形,假设都是蓝色,则v2v3v4为蓝色,即出现一个同色三角形。
![](/assets/blank.gif)
(2)假设v1v2,v1v3,v1v4其中有一条为蓝色边,不妨设v1v4为蓝色
![](/assets/blank.gif)
就会出现以下两种情况:
(i)v4v5,v4v6任意一条为蓝色,就会出现一个蓝色三角形
![](/assets/blank.gif)
(ii)v4v5,v4v6均为红边
![](/assets/blank.gif)
又分两种情况
第一种情况v4v2,v4v3只要有一条边为红边,则回到了例一的情况
![](/assets/blank.gif)
这里一定出现一个同色三角形
第二种情况v4v2,v4v3全为蓝边,也可以回到例一的情况
![](/assets/blank.gif)
也一定出现一个同色三角形
所以综上,完全图一定有两个同色三角形。
命题三
一定有一个红色
(蓝色
)或者蓝色
(红色
)
证明:
一个顶点a关联的边数为9条,根据鸽巢原理可知,要么至少6条红边,要么至少4条蓝边。
![](/assets/blank.gif)
(1)以a为顶点红色边大于等于6条,不妨先画出6条红色边
首先与a关联的6条红边另一头所关联的6个顶点所构成的(即上面一张图的bcdefg)有一个蓝色
,如图bcd
![](/assets/blank.gif)
即证。
否则,根据命题一,与a关联的6条红边的另一头所关联的6个顶点所构成的一定有一个红色
,然后这个
和顶点a以及a的连线构成红色
,如图abcd
![](/assets/blank.gif)
即证。
(2)
![](/assets/blank.gif)
以a为顶点的蓝色边大于等于4,不妨画出4条蓝边
首先假设与a关联的4条蓝边另一头所关联的4个顶点构成的(即上面一张图的bcde)其中至少有一条蓝边(只要有一条蓝边),则这条蓝边以及它的顶点和a以及a的连线构成蓝色
(如图abc)
![](/assets/blank.gif)
否则这个为红色
(如图bcde)
![](/assets/blank.gif)
命题四
一定有一个红色
或者蓝色
。
证明:假设每个顶点关联的边都有5条红边,则红边总数不为整数,那么总有一个顶点要么至少6条红边要么至少4条蓝边,我们又回到了命题三的证明,所以得证。
拉姆齐数
对于任意给定的整数,存在最小整数
,使得任意
,
任意进行红蓝两色着色,都存在红色
或者蓝色
。
为拉姆齐数。
可以通过找到刚刚不满足的要求数
,来证明
。
例如证明。
我们已知,我们只需证明
有不满足的情况。如图
![](/assets/blank.gif)
所以。
易证:
定理:对任意正整数,有
若和
都是偶数,则严格成立。
证明:令,
中的一个顶点a所关联的边数为
,根据鸽巢原理,
中要么至少存在
条红边,要么至少存在
条蓝边。
(1)假如至少存在条红边,那么与a关联的
条红边另一头所关联的顶点构成的
,要么出现红色
,与顶点a以及
条红边构成
,要么出现蓝色
,所以
。
(2)假设至少存在条蓝边,那么与a关联的
条蓝边另一头所关联的顶点构成的
,要么出现红色
,要么出现蓝色
,与顶点a以及
条蓝边构成
,所以
。
若和
都是偶数,
中,假设所有顶点关联的红边数为奇数,则所有顶点关联的红边数之和不为整数,矛盾,所以一定有一个顶点a关联的红边数为偶数,所以a关联的
条边,要么至少有
条红边,要么至多
条红边(则至少
条蓝边),这时我们就可以通过上面的方法证明
。
拉姆齐数的推广
将红蓝两色推广为任意k种颜色,则,...,
表示的是最小整数使得完全图
存在
颜色的
,或者存在
颜色的
,...,或者存在
颜色的
。
易证:
,...,
,...,
,...,
,...,
+
...,
...
...,
Schur定理
设...,
为集合
...,
的划分,则存在i,使得
有三个数
(不一定不相同),
。其中
...,
,n个3。
证明:假设...,
,并且
,则在
中,将
染为i颜色。则在
中存在同色三角形,设为ab,bc,ac,令
,则
,并且
。
拉姆齐定理
设...,
,且
,则必存在最小正整数
...,
,
...,
,
,使得S中的
个元素中的所有t元子集在第一个盒子中,或者
个元素中的所有t元子集在第二个盒子中,...,或者
个元素中的所有t元子集在第n个盒子中。
t=1时,表示的是广义鸽巢原理,所有元素为鸽子,所有盒子为鸽巢,则N为最小整数使得个元素中的所有t元子集在第一个盒子中,或者
个元素中的所有t元子集在第二个盒子中,...,或者
个元素中的所有t元子集在第n个盒子中。
t=2时,...,
...,
,二元子集表示为边,盒子表示为颜色,则N为最小整数使得
完全图一定出现第一种颜色的
,或者第二种颜色的
,...,或者第n种颜色的
。
易证:
【组合数学】拉姆齐问题以及拉姆齐数(图文详解)相关推荐
- 鬼吹灯java攻略_密室逃脱鬼吹灯攻略完美过关图文详解
密室逃脱鬼吹灯攻略完美过关图文详解,这个游戏在制作上十分的精美,把环境都刻画的很到位,但是剧情真的是太短了啊,完全不能满足小编的需求啊,可能还会有后续关卡出来吧,如果有小伙伴过不去的,可以参考这篇攻略 ...
- AVL树的实现(图文详解)
AVL树的实现 AVL树定义 AVL树其实就是一棵特殊的二叉树,为什么会出现AVL树,AVL树比普通二叉树优势在什么地方呢? 我们知道,一棵普通的二叉搜索树,以其特殊的性质(左<根<右), ...
- 广联达2018模板算量步骤_老师傅带你学造价,广联达GTJ2018图文详解,小白也能学会的软件...
在GTJ2018问世之前,土建造价人员有三个软件是必会的,一个是GGJ主打钢筋算量,一个是GCL主打土建算量,还有一个是GBQ主要是套定额用来计价的软件. 那时候如果计算一个工程的工程量,首先要用GG ...
- 计算机刷新的作用,图文详解Win8重置和刷新功能:超强自我治愈
直接自愈,Windows8出故障之后,伴随着重置和刷新两大新功能,世上无难事了啊.微软Windows8团队今日在官方博客详细向用户解释Win8的重置和刷新PC功能,将可一键复位系统到最佳状态.视频演示 ...
- 计算机网络管理的常用命令,网络管理常用命令图文详解.pdf
网络工程师必备 – 网络管理常用命令图文详解 网络工程师必备 网络管理常用命令 图文详解 V1.0 V1.0 包含 ping.ipconfig.netstat.nbtstat.tracert. pat ...
- 全网最全的Windows下Anaconda2 / Anaconda3里Python语言实现定时发送微信消息给好友或群里(图文详解)...
不多说,直接上干货! 缘由: (1)最近看到情侣零点送祝福,感觉还是很浪漫的事情,相信有很多人熬夜为了给爱的人送上零点祝福,但是有时等着等着就睡着了或者时间并不是卡的那么准就有点强迫症了,这是也许程序 ...
- SSL之CA证书颁发机构安装图文详解
上一节我们说到,在验证公钥安全性时,是在CA机构颁发的包含用户的公钥及其身份信息的数字证书,数字证书由权威机构--CA签发.这个CA权威机构可以是自己的服务器也可以是国际公认的CA权威机构.下面我就来 ...
- spark最新源码下载并导入到开发环境下助推高质量代码(Scala IDEA for Eclipse和IntelliJ IDEA皆适用)(以spark2.2.0源码包为例)(图文详解)...
不多说,直接上干货! 前言 其实啊,无论你是初学者还是具备了有一定spark编程经验,都需要对spark源码足够重视起来. 本人,肺腑之己见,想要成为大数据的大牛和顶尖专家,多结合源码和操练编程. ...
- x264代码剖析(一):图文详解x264在Windows平台上的搭建
x264代码剖析(一):图文详解x264在Windows平台上的搭建 X264源码下载地址:http://ftp.videolan.org/pub/videolan/x264/ 平台:win7 PC. ...
- 电脑连接电视方法详解_查看电脑配置的几种方法(图文详解)
很多朋友想要了解自己电脑详细的配置的时候,一般都是通过第三方的工具检测的.那么有没有其他更好的方法可以在win系统下查看电脑配置呢?今天我就给大家分享一下如何查看电脑配置. 查看电脑配置的几种方法图文 ...
最新文章
- nsqjs客户端的部署
- Android中的各种Adapter
- 根据select不同的选项实现相应input框添加项的显示
- SIP代理服务器(2)
- Serverless实战 —— 三分钟入坑指北 Docsify + Serverless Framework 快速创建个人博客系统
- vue 中provide的用法_浅谈vue中provide和inject 用法
- 拦截器RetryAndFollowUpInterceptor分析
- Elasticsearch之中文分词器
- C# OO(初级思想)。
- html5 tooltips,纯js轻量级tooltips工具提示插件
- 斐讯 K3刷梅林改固件ac-3100 成功配置定时任务
- 从贝叶斯方法谈到贝叶斯网络
- 运用java画时钟_使用Swing绘制动态时钟
- 世上最全的map集合体系的使用方法---喜欢请收藏
- 文件系统可视化与文件管理
- 以企查查为例详解如何用爬虫采集企业信息及电话邮箱数据
- 汇编语言rep的用法
- 网格化管理服务系统,携同用户创新共进步
- 1262: 魔法宝石
- 用Python制作一个简单的球球大作战