530 字
3 分钟
OI 常用定理
2026-03-17

Dilworth 定理#

二元关系#

集合 X,YX, Y 满足 图关系 G(R)X×YG(R) \subseteq X \times Y ,那么称 RRXXYY 之间的一个 二元关系

定义如下性质:

xRyxRy 成立当且仅当 (x,y)G(R)(x,y)\in G(R)

  1. 自反性(reflexive):( aS)  aRa(\forall~a \in S)~~aRa
  2. 反对称性(antisymmetric):( a,bS)  (aRbbRa)    a=b(\forall~a,b \in S)~~(aRb \land bRa) \implies a=b
  3. 传递性(transitive):( a,b,cS)  (aRbbRc)    aRc(\forall~a,b,c \in S)~~(aRb \land bRc) \implies aRc

偏序集#

若集合 SS 上的一个二元关系 \preceq 具有 自反性反对称性传递性,则称 SS偏序集\preceq 为其上一 偏序

链与反链#

对偏序集 SS 和其上的偏序 \preceq,称 SS 的全序子集为 。若 SS 的子集 TT 中任意两个不同元素均不可比(即 ( a,bT)  ab    (abba)(\forall~a,b \in T)~~a \neq b \implies (a \npreceq b \land b \npreceq a)),则称 TT反链

Dilworth 定理#

对有限偏序集 SS 和其上的偏序 \preceq,我们有:

Dilworth 定理

SS 的宽度(最长反链长度)等于最小的链覆盖数.

例题#

NOIP1999 提高组 导弹拦截#

求有最少多少个递减子序列覆盖一个序列。

定义偏序 ab=(abhahb)a \preceq b = (a \leq b \land h_a \geq h_b)

那么依此求最长反链,即最长递增子序列长度。

[TJOI2015] 组合数学#

给定 n×mn \times m 方格,每个方格上有一个价值,只能向右或者下行走,每次经过只能拿走 11 价值,求问最少需要多少次才能把所有格子上的价值都拿走。

定义偏序 \preceq 为 向右,向下可达的关系。

那么 (abba)(a \npreceq b \land b \npreceq a) 仅有 右上,左下的关系

那么可得 dpi,j=max{dpi1,j+1+ai,j,dpi1,j,dpi,j+1}dp_{i, j} = \max \left\{ {dp_{i - 1, j + 1} + a_{i, j}, dp_{i - 1, j}, dp_{i, j + 1}} \right\}


Hall 定理#

假设 G=(X,Y,E)G=(X,Y,E) 是二分图,且 XY|X|\le |Y|.对于图 GG 的一个匹配 MM,如果 XX 中的所有顶点都是匹配点,那么就称 MM 是一个 XX‑完美匹配

Hall 定理

假设 G=(X,Y,E)G=(X,Y,E) 是二分图,且 XY|X|\le |Y|.对于任何 WXW\subseteq X,记 NG(W)N_G(W) 为图 GG 中所有与 WW 中的顶点相邻的顶点集合.那么,XX‑完美匹配存在,当且仅当 WNG(W)|W|\le |N_G(W)| 对于所有 WXW\subseteq X 都成立.

OI 常用定理
https://dk-qwq.github.io/blog/posts/oi-theorems/
作者
dk-qwq
发布于
2026-03-17
许可协议
CC BY-NC-SA 4.0