dilworth定理的通俗讲解

度娘定义：在数学理论中的序理论与组合数学中，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

反之也同样。

那么，你明白了吗？

反正我是明白了