码迷,mamicode.com
首页 > 其他好文 > 详细

dilworth定理的通俗讲解

时间:2017-05-20 19:31:33      阅读:367      评论:0      收藏:0      [点我收藏+]

标签:for   style   move   ec2   技术   span   理解   width   src   

度娘定义:在数学理论中的序理论与组合数学中,Dilworth定理根据序列划分的最小数量的链描述了任何有限偏序集的宽度。其名称取自数学家Robert P. Dilworth。

 

反链是一种偏序集,其任意两个元素不可比;而链则是一种任意两个元素可比的偏序集。Dilworth定理说明,存在一个反链A与一个将序列划分为链族P的划分,使得划分中链的数量等于集合A的基数。当存在这种情况时,对任何至多能包含来自P中每一个成员一个元素的反链,A一定是此序列中的最大反链。同样地,对于任何最少包含A中的每一个元素的一个链的划分,P也一定是序列可以划分出的最小链族。偏序集的宽度被定义为A与P的共同大小。

另一种Dilworth定理的等价表述是:在有穷偏序集中,任何反链最大元素数目等于任何将集合到链的划分中链的最小数目。一个关于无限偏序集的理论指出,在此种情况下,一个偏序集具有有限的宽度w,当且仅当它可以划分为最少w条链。

 

归纳性证明

令P为一有限偏序集,理论认为P为空集时显然成立。假设P最少有一个元素,令a为P中的极大值。
根据归纳法,假设存在一整数k,使得偏序集
技术分享
可以被k个不相交的链
技术分享
覆盖,且最少存在一个大小为k的反链
技术分享
。显然,
技术分享
,
技术分享
。令
技术分享
为
技术分享
的极大值,
技术分享
,
技术分享
为
技术分享
中大小为k的反链,令
技术分享
,
技术分享
为包含
技术分享
的大小为k的反链。确定任意不等的索引
技术分享
,那么
技术分享
。令
技术分享
,根据
技术分享
的定义,
技术分享
。因此,由
技术分享
推断出
技术分享
。通过交换
技术分享
,可以得到
技术分享
。由此得证,A为反链。
现在来讨论P。首先假设,
技术分享
,
技术分享
。令K为链
技术分享
。那么,通过选择
技术分享
,使得
技术分享
不包含大小为k的反链。由于
技术分享
是
技术分享
中大小为k-1的反链,归纳推出
技术分享
可以被k-1个不相交的链覆盖。因此,正如所需要证明的,P可以被k个不相交的链覆盖。其次,如果
技术分享
,
技术分享
,那么由于a是P的极大值,
技术分享
为P中大小为k+1的反链。现在,P可以被k+1个链
技术分享
覆盖。到此,定理全部证明结束。
 下面 正文开始(如果你上面的内容看懂了,请给我讲一讲,毕竟我也只是一直来自春田花花幼儿园的蒟蒻)
对于dilworth定理,我的理解就是:
在一个序列中 最长下降子序列的个数就等于其最长不下降子序列的长度
举例:1 2 3 2 3
  最长下降子序列:3 2-->长度为2
  最长不下降子序列:1 2 3-->长度为3
反之也一样。
那么,你明白了吗?
反正我是明白了
 
 

dilworth定理的通俗讲解

标签:for   style   move   ec2   技术   span   理解   width   src   

原文地址:http://www.cnblogs.com/ZDHYXZ/p/6871802.html

踩
(0)
赞
(0)
   
举报
评论 一句话评论(0)
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!