- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
经典证明几个利用概率法进行证明的例子
经典证明:几个利用概率法进行证明的例子 概率论并不仅仅是用来算算概率的。有些时候,概率论远比我们想象中的更强大。 考虑这样一个问题。考虑集合X上的一个集合族,集合族中的所有集合大小均为d。我们说这个集合族是可以二染色的,如果对X的元素进行适当的红蓝二着色之后,每个集合里面都包含了两种颜色的元素。例如,当d 3时, 1,2,3 , 1,2,4 , 1,3,4 , 2,3,5 就是可二染色的,把1、2染成红色,把3、4、5染成蓝色,则每个集合里都含有两种颜色。是否存在d 3的不可二染色集族呢?这样的集族当然是存在的,例如取集合 1,2,3,4,5 的全部C 5,3 个元素个数为3的子集,则无论如何染色,总会有一个集合里面的元素全是一种颜色。上述推理立即告诉我们,对于一个给定的d,一定存在一个集合个数为C 2d-1, d 的不可二染色集族。这个数目还能再少吗?我们想知道,不可二染色集族中的集合个数最少可以少到什么地步。一个极其简单的证明给出了一个下界:集族的大小一定大于2^ d-1 。当d 3时,你一辈子也不能构造一个不可二染色集族,里面只含4个集合。 为了证明这一点,不妨对X中的所有元素进行随机着色,每个元素取成红色和蓝色的概率均等。那么,一个元素个数为d的集合中,所有元素均为一种颜色的概率就应该是1/2^ d-1 。如果集族内的集合个数只有不到2^ d-1 个,那么即使“集合中是否只有一种颜色”是互相独立的,这些事件的并(至少有一个集合内只有一种颜色)的概率也不超过2^ d-1 * 1/2^ d-1 1,何况这些事件还不是独立的,因此存在单色集合的概率必然小于1。这个概率值小于1说明什么?这说明,“至少有一个单色集合”并不是必然事件,一定有一种染色方案使得每个元素里都含两种颜色,换句话说该集族可以被二染色。 这种证明方法奇就奇在,利用概率论进行推理得到的结果居然是一个确定的结论。Wikipedia上给出了另一个经典的概率法证明,问题仍然与染色有关。 或许大家经常听到这样一个结论:六个人在会议上握手,则存在三个两两之间都握过手,或者两两之间都没握手的人。一种更夸张的说法是,假设好友关系是双向的,那么世界上任何六个人之间或者存在三个两两都是好友的人,或者存在三个两两都不是好友的人。用图论的话说,对完全图K_6的边进行红蓝二着色,则图中一定存在一个单色的(所有边都是一种颜色的)同构于K_3的子图。K_6已经是能够满足此要求的最小完全图了,你可以尝试构造一个K_5的边二着色,使得图中不含单色的K_3子图。1930年,Frank P. Ramsey证明了,对于一个给定的r,总存在一个足够大的n,使得K_n的边二着色一定含有单色的K_r子图。这就是著名的Ramsey定理。Ramsey定理给出了n的一个上界,不过n的下界又是多少呢?1947年,Erd的一个经典证明告诉我们,随着r的增加,n至少是指数级的增长。 为了证明这一点,我们随机给完全图K_n进行着色,每条边都有1/2的概率取红色,1/2的概率取蓝色。一个K_r子图的所有边都为红色或者都为蓝色,其概率为2· 1/2 ^C r,2 。那么对于所有C n,r 个不同的K_r子图,单色子图个数的期望值即为C n,r · 2· 1/2 ^C r,2 。想想看,如果上面这个期望值小于1的话说明什么?这表明,不是所有着色方案都含有单色K_r子图,至少存在一种着色方案,它的单色K_r子图个数为0。因此,为了保证所有着色方案中都存在至少一个单色K_r子图,我们必须保证这个期望值大于等于1,也即2 · C n,r ≥ 2^C r,2 。不等式右边是r r-1 /2个2相乘的结果,不等式左边却还不及n^r,满足上述不等式至少得先保证n^r 2^ r r-1 /2 ,这里n至少得有2^ r-1 /2 ,这就足以说明n是指数级别增长的了。 很多存在性问题的证明方法都不是构造性的,它虽然证明了满足某种性质的数学对象是存在的,但并没有得出构造该数学对象的方法。利用概率进行证明往往都是非构造的,虽然证到了结论,究竟该如何寻找一个不含单色K_r子图的着色方案,这个问题直到今天仍然没有解决。 Erd似乎是很喜欢概率法证明,最经典的一些概率证明都来源于Erd。我们再来看一个比较复杂的例子。 空间中的n个点确定了3·C n,3 个角。随着n的增加,这些角不可能永远都只有锐角,总会有一个直角或者钝角冒出来。在平面上,只确定锐角的点集最多只能有三个点,摆放四个点将不可避免地产生直角或钝角。在三维空间中,五个点已经是最好的结果了(上图),可以证明六个点里无论如何都含有直角或钝角。Danzer和Grünbaum猜想:在d维空间中只含锐角的最大点集为2d-1。这个猜想始终未被证明。21年后,Paul Erd和Z
文档评论(0)