530 字
3 分钟
OI 常用定理
Dilworth 定理
二元关系
集合 满足 图关系 ,那么称 是 和 之间的一个 二元关系。
定义如下性质:
成立当且仅当 。
- 自反性(reflexive):
- 反对称性(antisymmetric):
- 传递性(transitive):
偏序集
若集合 上的一个二元关系 具有 自反性、反对称性、传递性,则称 是 偏序集 , 为其上一 偏序。
链与反链
对偏序集 和其上的偏序 ,称 的全序子集为 链。若 的子集 中任意两个不同元素均不可比(即 ),则称 为 反链。
Dilworth 定理
对有限偏序集 和其上的偏序 ,我们有:
Dilworth 定理的宽度(最长反链长度)等于最小的链覆盖数.
例题
NOIP1999 提高组 导弹拦截
求有最少多少个递减子序列覆盖一个序列。
定义偏序
那么依此求最长反链,即最长递增子序列长度。
[TJOI2015] 组合数学
给定 方格,每个方格上有一个价值,只能向右或者下行走,每次经过只能拿走 价值,求问最少需要多少次才能把所有格子上的价值都拿走。
定义偏序 为 向右,向下可达的关系。
那么 仅有 右上,左下的关系
那么可得
Hall 定理
假设 是二分图,且 .对于图 的一个匹配 ,如果 中的所有顶点都是匹配点,那么就称 是一个 ‑完美匹配。
Hall 定理假设 是二分图,且 .对于任何 ,记 为图 中所有与 中的顶点相邻的顶点集合.那么,‑完美匹配存在,当且仅当 对于所有 都成立.