「」至此。关于链剖分，请见「**轻重链剖分**」。

在数学中，在序理论和组合学领域，**狄尔沃斯定理**通过将集合划分为数目最少的链来量化地描述任何有限偏序集的**宽度**。它以数学家罗伯特 狄尔沃斯 （1950） 命名。

偏序集中的反链是其元素两两不可比的子集，而链是其元素两两可比的子集。链分解是将偏序集中的元素划分为若干无交的链。狄尔沃斯定理指出，有限偏序集合中，包含元素最多反链的元素数等于包含链数最少的链分解的链数，这个量被定义为该偏序集的宽度。

将这个定理推广到无限偏序集：如果存在有限多个链的分解，或当反链的大小有有限的上界时，最大反链和最小链分解的大小仍然相等。

归纳法证明（1）
--------

下面通过在偏序集的大小施数学归纳法的证明来自 加尔文 （1994）。

设*P*是有限偏序集。如果*P*是空集，狄尔沃斯定理是显然的。所以设*P*非空，并取其极大元*a*。

通过归纳法，设整数*k*，使得偏序集*P*':=*P*\{*a*}可以被*k*个不相交的链*C1,C2,...Ck*覆盖，同时存在至少一个反链*A0*包含*k*个元素。显然，对于任意*i*=1,2,...k，*A0*∩*Ci*≠∅。对于任意*i*=1,2,...k，设*xi*是满足在中某一个大小为*k*的反链中且包含于*Ci*中的所有元素中的极大元，并设集合*A*:={*x*1,*x*2,...*xk*}。首先我们证明*A*是一个反链：设*Ai*是包含*xi*的大小为*k*的反链。固定两个不同的编号*i*和*j* ，有*A*i∩*Cj*≠∅ 。设*y*∈*A*i∩*Cj*，则*y*≤*xj*（*xj*的定义）。这说明*xi≥xj* 不成立（因为*xi≥y*不成立）。通过在上述证明中交换*i*和*j*，可得*xj≥xi* 不成立。于是我们证明了*A*是一个反链。

现在我们讨论*P*是否满足狄尔沃斯定理。如果存在*i*=1,2,...k使得*a*≥*xi*。设*K*是链{*a*}∪{*z*∈*Ci*:*z*≤*xi*}，由于*xi*的选取，*P*\*K*中不存在大小为*k*的反链 。根据归纳假设，*P*\*K*可以被*k*-1个无交的链覆盖，这是因为在*P*\*K*中，*A*\{*xi*}是大小为*k*-1的反链。因此，*P*可以被*k*条无交的链覆盖，这便是狄尔沃斯定理所言。否则，如果对于任意*i*=1,2,...k都有*a*≥*xi*不存在 ， 则*A*∪{*a*}是*P*中大小为*k*+1的反链 （因为*a*是*P*中的极大元）。因此，*P*可以被*k*+1条链{*a*},*C1,C2,...Ck*覆盖，得证。

归纳法证明（2）
--------

下面的证明来自Perles (1963)。

由于*P*中每一条链最多包含一个反链中元素（链、反链的定义），所以*P*中最小链覆盖链数大于等于最大反链长度。

同样对*P*的大小*n*采用归纳法。设*P*中的最大反链长度为*m*。我们只需证明*P*中最小链覆盖链数大于等于最大反链长度，即*P*可以被*m*条链覆盖。记*A1*和*A2*为*P*中的所有极大元和极小元组成的集合。我们对*P*的性质进行分类讨论：

如果*P*中含有一个异于*A1*和*A2*的极大反链*A*，则我们定义*P*+为{*x*∈*P*: ∃*y*∈*A* s.t. *y*≤*x*}，*P*-为{*x*∈*P*: ∃*y*∈*A* s.t. *x*≤*y*}。根据*A*的极大性，*P*+∪*P*- =*P*。*A*是*P*+和*P*-的极大反链，根据归纳假设，可以取*P*+为*C*1∪...∪*C*m，*P*-为*D*1∪...∪*D*m，其中*C*i和*D*i为一系列链。易得*A*中元素为*C*i中的极小元、*D*i中的极大元。因此*C*i∪*D*i为P中的链。我们证明了*P*可以被*m*条链覆盖。

如果*P*中没有异于*A1*和*A2*的极大反链，则设*x*属于*A*1。设*x*≤*y*∈*A*2。则*P*\{*x*,*y*}的最大反链长为*m*-1。根据归纳假设，*P*\{*x*,*y*}可以被*m*-1条链覆盖。再加上{*x*,*y*}这一条链，一共*m*条链得证。

通过康尼锡定理证明
---------

通过康尼锡定理证明狄尔沃斯定理定理：从偏序构造二部图，并根据匹配划分为链
与组合学中的许多其他结果一样，迪尔沃斯定理等价于二分图匹配的康尼锡定理以及其他几个相关定理，包括霍尔婚配定理（Fulkerson 1956） 。

为了证明包含*n个*元素的偏序集*S上*狄尔沃斯定理，考虑使用康尼锡定理，定义二分图*G* = (*U*, *V*, *E*) ，其中*U* = *V* = *S* ，且(*u*, *v*)是*G*中的一条边当且仅当在*S*中*u* < *v*成立。根据康尼锡定理， *G*中存在匹配*M* 以及一组顶点*C* ，使得图*G*中的每条边至少包含*C*中的一个顶点，并且*M*和*C*包含的元素个数一样多，这个值记为*m* 。设*A*为*S*中不对应于*C*中任何顶点的元素集合，则*A*至少有*n* - *m*个元素（如果*C*包含至少一个对应于二分图两侧相同元素的顶点，则这个值可能更多），且*A的元素两两不可比*。使用对于每一条*M的*边 ( *x*, *y* )，合并链*x，y*来生成链组成的集合*P*；则*P*有*n* - *m*条链。因此，我们构建了一个一条反链和一个具有相同元素个数的链划分。

为了用狄尔沃斯定理证明康尼锡定理，固定二分图*G* = ( *U*, *V*, *E* )，在*U*∪*V*上构造一个偏序：*u* < *v*当且仅当*u*∈*U*，*v*∈*V*，且*E*中存在一条从*u*到*v*的边。根据迪尔沃斯定理，存在一条反链*A*和一个链划分*P*，两者包含的元素个数相同。但偏序中唯一的非平凡链是与图中的边*(u,v)*对应的链*u-v*，因此*P*中的非平凡链在图中形成匹配。且反链*A*的补集是*G*中的顶点覆盖，其基数与此匹配相同。

这种偏序宽度与二分匹配的互相转化使得我们可以在多项式时间内计算任意偏序的宽度。更准确地说，宽度为*k 的n*元偏序的可以在*O* ( *kn* 2 ) 的时间中计算（Felsner，Raghavan & Spinrad 2003） 。

无限偏序集上的扩展
---------

无限偏序集上的迪尔沃斯定理指出，当且仅当它可以划分为*w*个链时，偏序集才具有有限宽度*w* 。例如，假设无限偏序*P*的宽度为*w* ，这意味着任何反链中至多有有限个元素，且其上界为*w* 。对于*P*的任何子集*S* ，将*S*分解为*w*条链（如果存在）可以被描述为*S*的不可比图的着色（以*S*的元素为顶点的图，每两个不可比元素之间有一条边）需要用*w种*颜色；不可比图的正规着色中的每个颜色类都必须是一条链。假设*P*的宽度为*w* ，并且根据迪尔沃斯定理的有限版本， *P*的每个有限子集*S*都有一个可使用*w*色着色的不可比图。因此，根据De Bruijn-Erdős 定理， *P*本身也有可使用*w*色着色的不可比图，从而具有所需的链划分（Harzheim 2005） 。

然而，该定理并不能简单地扩展到无限宽（而非基数无限）的偏序集上。在这种情况下，最大反链的大小和覆盖偏序所需的最小链数可能有基数上的差异。特别地，对于每个无限基数κ ，都有一个宽度为ℵ 0的无限偏序集，其划分为最少的链有 κ 链（Harzheim 2005）。

对偶狄尔沃斯定理
--------

条目：米尔斯基定理
对偶迪尔沃斯定理指出，偏序集中最大链的大小（如果有限）等于该序可以划分成的反链的最小数量（Mirsky 1971） 。这个证明比迪尔沃斯定理本身的证明简单得多：对于任何元素*x* ，考虑以*x*为其最大元素的链，并令*N* ( *x* ) 表示这些*x*最大链中最大的链的大小，称为*x*的层数。可以证明每一条链从最小元到最大元的层数经过一个区间的层。所以同层的元素构成一条反链，而最长的链恰好等于整个偏序集的最大层数。

可比图的完美性质
--------

可比图是节点是偏序集中的点、两点间存在边当且仅当两点可比形成的无向图。因此，可比图中的团就是链，可比图中的独立集就是反链。可比图的任何导出子图本身就是可比图，由偏序对其元素子集的限制形成。

如果在每个导出子图中，色数等于最大团的大小，则无向图是完美的。这就是图论版本的米尔斯基定理（Berge & Chvátal 1984）。根据Lovász (1972)的完美图定理，任何完美图的补图也是完美的。因此，任何可比图的补集都是完美的；这就是迪尔沃斯定理的图论版本（Berge & Chvátal 1984） 。因此，完美图对取补的封闭性可以用另一种方式证明迪尔沃斯定理。

特殊偏序的宽度
-------

布尔格*B* *n*是*n*元集*X*的幂集（一般是 {1, 2, …, *n*}），按子集关系赋偏序，可以用符号记作 (2 [ *n* ], ⊆)。斯佩纳定理指出，*B* *n*的最大反链的大小为

{\displaystyle \operatorname {width} (B\_{n})={n \choose \lfloor {n/2}\rfloor }.}
换句话说，*X*的[*n*/2]元子集全体就是*X*的最大反链。 Lubell-Yamamoto-Meshalkin 不等式也涉及幂集中的反链，可用于证明斯佩纳定理。

如果我们对区间 [1, 2*n*] 中的整数按整除性赋序，则子区间 [*n* + 1, 2*n*] 形成基数为*n*的反链。将此偏序划分为*n*条链很容易：对每个奇数整数*m* ，{*m*2*i*}都是一条链。因此，根据迪尔沃斯定理，该偏序的宽度为*n* 。

关于单调子序列的Erdős-Szekeres 定理可以解释为 Dilworth 定理在二维偏序上的应用（Steele 1995） 。

定义反拟阵的"凸维数"：定义反拟阵所需的最小链数。于是我们可以使用迪尔沃斯定理来表明它等于其相关偏序的宽度；这种转化可以制成计算凸维数的多项式时间算法（Edelman & Saks 1988）。

外部链接
----

* Equivalence of seven major theorems in combinatorics （页面存档备份，存于）
* , PlanetMath, （原始内容存档于2007-07-14）
* Babai, László,  (PDF), 2005, （原始内容 (PDF)存档于2011-07-20）
* Felsner, S.; Raghavan, V. & Spinrad, J. 1999  [2024-01-29], （原始内容存档于2012-02-05）
* 埃里克·韦斯坦因.. MathWorld.

  


|  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

|  |  |
| --- | --- |
| 序结构 | 
* 偏序
* 全序
* 良序
* 拟序集
* 格
* 有向集
* 布尔代数

 |
|  |
| 子集上的结构 | 
* 序理想
* 链
* 反链
* 上界和下界
* 最小上界和最大下界

 |
|  |
| 定理 | 
* 狄尔沃斯定理
* 米尔斯基定理
* 佐恩引理

 |

 |