度娘定义:在数学理论中的序理论与组合数学中,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为反链。
![](https://i-blog.csdnimg.cn/blog_migrate/84430e81564caa7c6e71b53c614abe8b.png)
![](https://i-blog.csdnimg.cn/blog_migrate/600b2beebc4843da38691f054801d2ba.png)
![](https://i-blog.csdnimg.cn/blog_migrate/6aac6dfd3f40a8b37ed837e45872b059.png)
![](https://i-blog.csdnimg.cn/blog_migrate/82b46d20b575e1f9bf4ef35d286cd9c7.png)
![](https://i-blog.csdnimg.cn/blog_migrate/62cfb5bca5c3d11276c794d720654b6f.png)
![](https://i-blog.csdnimg.cn/blog_migrate/b62ca426b68eab77dc87988186b7308b.png)
![](https://i-blog.csdnimg.cn/blog_migrate/4d292aeab66c1de52b2df6f8475684e6.png)
![](https://i-blog.csdnimg.cn/blog_migrate/62cfb5bca5c3d11276c794d720654b6f.png)
![](https://i-blog.csdnimg.cn/blog_migrate/4d292aeab66c1de52b2df6f8475684e6.png)
![](https://i-blog.csdnimg.cn/blog_migrate/bc844fba335f99fed545549dc8824f5e.png)
![](https://i-blog.csdnimg.cn/blog_migrate/1273b05095a4fa12c0da41a0a431ed61.png)
![](https://i-blog.csdnimg.cn/blog_migrate/a8127c36a9b6c8349817bb374f612473.png)
![](https://i-blog.csdnimg.cn/blog_migrate/18d0c5988006995be6755345993b136b.png)
![](https://i-blog.csdnimg.cn/blog_migrate/9ad72102254e6068a8c393abbc08b2b1.png)
![](https://i-blog.csdnimg.cn/blog_migrate/453e2de167afe0adc507bcdbdf3d9772.png)
![](https://i-blog.csdnimg.cn/blog_migrate/035dcd5b0e776754a943cf21a1ec9b7e.png)
![](https://i-blog.csdnimg.cn/blog_migrate/efe142cb6c97b41ddd051b65b574f43e.png)
![](https://i-blog.csdnimg.cn/blog_migrate/5d40b5c9fe981d22daf02a2d66a0c126.png)
![](https://i-blog.csdnimg.cn/blog_migrate/9cdce53ada063faed0509a6e3d2f6c13.png)
![](https://i-blog.csdnimg.cn/blog_migrate/06679afd23c8c7366ab71a419ed78fa3.png)
![](https://i-blog.csdnimg.cn/blog_migrate/9ad72102254e6068a8c393abbc08b2b1.png)
![](https://i-blog.csdnimg.cn/blog_migrate/1e1fc60c2afc49b205088dd0baddf931.png)
现在来讨论P。首先假设,
,
。令K为链
。那么,通过选择
,使得
不包含大小为k的反链。由于
是
中大小为k-1的反链,归纳推出
可以被k-1个不相交的链覆盖。因此,正如所需要证明的,P可以被k个不相交的链覆盖。其次,如果
,
,那么由于a是P的极大值,
为P中大小为k+1的反链。现在,P可以被k+1个链
覆盖。到此,定理全部证明结束。
![](https://i-blog.csdnimg.cn/blog_migrate/710f5c89e3ce52cbe609e981a850f543.png)
![](https://i-blog.csdnimg.cn/blog_migrate/31eff0850a16bcb78c78fcf97fe0fef7.png)
![](https://i-blog.csdnimg.cn/blog_migrate/345d508f1392b6bca63dbd3b3477632a.png)
![](https://i-blog.csdnimg.cn/blog_migrate/a2a6c97cf93912515eb8be840fddefc9.png)
![](https://i-blog.csdnimg.cn/blog_migrate/8c675c9375791d667eb7b7868b55249a.png)
![](https://i-blog.csdnimg.cn/blog_migrate/87f2619f078e0d8d154e3bfb6b8c34cd.png)
![](https://i-blog.csdnimg.cn/blog_migrate/8c675c9375791d667eb7b7868b55249a.png)
![](https://i-blog.csdnimg.cn/blog_migrate/8c675c9375791d667eb7b7868b55249a.png)
![](https://i-blog.csdnimg.cn/blog_migrate/7ace0c57dbdecf03f8bb40cee734f787.png)
![](https://i-blog.csdnimg.cn/blog_migrate/b05925a8e0130e7201129fcbd4ee429b.png)
![](https://i-blog.csdnimg.cn/blog_migrate/cacf28b2e9a9ea9edd3666f5ddf38257.png)
![](https://i-blog.csdnimg.cn/blog_migrate/e3582ae1500cc8953863c1db8876005f.png)
下面 正文开始(如果你上面的内容看懂了,请给我讲一讲,毕竟我也只是一直来自春田花花幼儿园的蒟蒻)
对于dilworth定理,我的理解就是:
在一个序列中 最长下降子序列的个数就等于其最长不下降子序列的长度
举例:1 2 3 2 3
最长下降子序列:3 2-->长度为2
最长上升子序列:1 2 3-->长度为3
反之也一样。
那么,你明白了吗?
反正我是明白了