偏序集的最大反链【二分图】

在有向无环图中，有如下的一些定义和性质：

链：一条链是一些点的集合，链上任意两个点x, y，满足要么 x 能到达 y ，要么 y 能到达 x 。

反链：一条反链是一些点的集合，链上任意两个点x, y，满足 x 不能到达 y，且 y 也不能到达 x。

又有诸如以下定理：

一、有向无环图最小不相交路径覆盖
定义：用最少的不相交路径覆盖所有顶点。
定理：把原图中的每个点V拆成Vx和Vy，如果有一条有向边A->B，那么就加边Ax-By。这样就得到了一个二分图，最小路径覆盖=原图的节点数-新图最大匹配。
简单证明：一开始每个点都独立的为一条路径，总共有n条不相交路径。我们每次在二分图里加一条边就相当于把两条路径合成了一条路径，因为路径之间不能有公共点，所以加的边之间也不能有公共点，这就是匹配的定义。所以有：最小路径覆盖=原图的节点数-新图最大匹配。

二、有向无环图最小可相交路径覆盖
定义：用最小的可相交路径覆盖所有顶点。
算法：先用floyd求出原图的传递闭包，即如果a到b有路，那么就加边a->b。然后就转化成了最小不相交路径覆盖问题。

三、偏序集的最大反链
定义：偏序集中的最大独立集。
Dilworth定理：对于任意偏序集都有，最大独立集(最大反链)=最小链的划分(最小可相交路径覆盖).
通过Dilworth定理, 我们就可以把偏序集的最大独立集问题转化为最小可相交路径覆盖问题了。

经典例题

偏序集的最大反链【二分图】相关推荐

二分图常用建图方法及其性质
建图方法 https://wenku.baidu.com/view/63c1a01655270722192ef7c3.html 性质 http://dsqiu.iteye.com/blog/16895 ...
BZOJ1143[CTSC2008]祭祀river 偏序集及Dilworth定理
这里讲一下我对偏序集的认识如果有偏差可以评论我我会修改一:定义 (度娘上copy来的不想看的可以跳过设R是非空集合A上的一个二元关系,若R满足: 自反性.反对称性.传递性,则称R为A ...
最小链覆盖——Dilworth定理
Dilworth定理 Dilworth定理,一言以蔽之,偏序集能划分成的最少的全序集个数等于最大反链的元素个数.------litble 狄尔沃斯定理(Dilworth's theorem)亦称偏序集 ...
如何给mysql表添加百万条数据_给mysql一百万条数据的表添加索引
直接alter table add index 添加索引,执行一个小时没反应,并且会导致锁表:故放弃该办法,最终解决办法如下: 一.打开mysql 命令行客户端这里我们那可以看到导出的数据文件所存放 ...
P1020 [NOIP1999 普及组] 导弹拦截(100+200+详细证明)
那么题意: 某国为了防御敌国的导弹袭击,发展出一种导弹拦截系统.但是这种导弹拦截系统有一个缺陷:虽然它的第一发炮弹能够到达任意的高度,但是以后每一发炮弹都不能高于前一发的高度.某天,雷达捕捉到敌国的导 ...
【集合论】序关系 : 总结 ( 偏序关系 | 偏序集 | 可比 | 严格小于 | 覆盖 | 哈斯图 | 全序关系 | 拟序关系 | 偏序关系八种特殊元素 | 链 | 反链 ) ★★
文章目录一.偏序关系二.偏序集三.可比四.严格小于五.覆盖六.哈斯图七.全序关系 ( 线序关系 ) 八.拟序关系九.拟序关系相关定理十.偏序关系八种特殊元素十一.链十二.反链十 ...
[bzoj1143][CTSC2008]祭祀river——DAG上最长反链，Dilworth定理，最大二分图匹配，Floyd
题目大意: 给定一个DAG图,求最长反链(即一个点集,其中任意点两两不可以相互到达). 思路: 一开始我其实是想用求最大独立集的方法去求的.但是并不会(好像也过不去). 题目所要求的是最长反链,需要用 ...
偏序集的Dilworth定理学习（转载）
转自http://3214668848.blog.163.com/blog/static/48764919200991885836429/ 导弹拦截是一个经典问题:求一个序列的最长不上升子序列,以及求 ...
poj1548-Robots Dilworth定理（偏序集定理2）
储备知识:Dilworth定理偏序集的两个定理: 定理1) 令(X,≤)是一个有限偏序集,并令r是其最大链的大小.则X可以被划分成r个但不能再少的反链. 其对偶定理称为Dilworth定理: 定理2 ...

偏序集的最大反链【二分图】

偏序集的最大反链【二分图】相关推荐

最新文章

热门文章