狄尔沃斯定理(Dilworth's theorem)
狄尔沃斯定理(Dilworth's theorem)
狄尔沃斯定理(Dilworth's theorem)亦称偏序集分解定理,是关于偏序集的极大极小的定理,该定理断言:对于任意有限偏序集,其最大反链中元素的数目必等于最小链划分中链的数目。此定理的对偶形式亦真,它断言:对于任意有限偏序集,其最长链中元素的数目必等于其最小反链划分中反链的数目。
对偶形式比较常见,下面将给出简明证明。
链:对于偏序集 ,若 且 中元素均可以比较,则称 为链。
反链:对于偏序集 ,若 且 中元素均不可以比较,则称 为反链。
注意反链并不代表在偏序集的 Hass 图中反向边构成的链。
设偏序集最长链长度为 ,则偏序集构造的反链划分中反链数 。这是由于若反链数 ,则由抽屉原理知,至少有两个在同一条最长链的元素在一条反链中,与反链的定义相悖。
下用数学归纳法证 为不相交反链数下确界。
当 时,显然 中两两元素均不可比较,显然可得。
设 时,可将 划分为不相交的 个反链。
当 时,令 为 中极大元的集合,由极大元的定义,显然 构成一个反链。而 的最长链长度为 (相当于把每条链末端元素拿走),则由 构造出 条不相交反链,, 肯定不与这 条反链相交,且这 条反链为 的一个划分。
则 条反链由此构造出来。证毕。
将对偶形式证明完之后,可以把可比较与不可比较的定义交换(两个元素中只能存在两个中的一个关系),即可将反链的构造为新的链,代入对偶形式即可证得最长反链长度等于最小链划分中链的数目。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 地球OL攻略 —— 某应届生求职总结
· 周边上新:园子的第一款马克杯温暖上架
· Open-Sora 2.0 重磅开源!
· 提示词工程——AI应用必不可少的技术
· .NET周刊【3月第1期 2025-03-02】