BZOJ1143[CTSC2008]祭祀river 偏序集及Dilworth定理
这里讲一下我对偏序集的认识 如果有偏差可以评论我 我会修改
一:定义 (度娘上copy来的 不想看的可以跳过
设R是非空集合A上的一个二元关系,若R满足: 自反性、反对称性、传递性,则称R为A上的偏序关系。
以下为定义:
非严格偏序,自反偏序
给定集合S,“≤”是S上的二元关系,若“≤”满足:
自反性:∀a∈S,有a≤a;
反对称性:∀a,b∈S,a≤b且b≤a,则a=b;
传递性:∀a,b,c∈S,a≤b且b≤c,则a≤c;
则称“≤”是S上的非严格偏序或自反偏序。
严格偏序,反自反偏序
给定集合S,“<”是S上的二元关系,若“<”满足:
反自反性:∀a∈S,有a≮a;
非对称性:∀a,b∈S,a<b ⇒ b≮a;
传递性:∀a,b,c∈S,a<b且b<c,则a<c;
则称“<”是S上的严格偏序或反自反偏序。
严格偏序与有向无环图(dag)有直接的对应关系。一个集合上的严格偏序的关系图就是一个有向无环图。其传递闭包是它自己。
下面是一些主要的例子[1] :
自然数的集合配备了它的自然次序(小于等于关系)。这个偏序是全序。
整数的集合配备了它的自然次序。这个偏序是全序。
自然数的集合的有限子集 {1, 2, ..., n}。这个偏序是全序。
自然数的集合配备了整除关系。
给定集合的子集的集合(它的幂集)按包含排序。
向量空间的子空间的集合按包含来排序。
一般的说偏序集合的两个元素 x 和 y 可以处于四个相互排斥的关联中任何一个: 要么 x < y,要么 x = y,要么 x > y,
要么 x 和 y 是“不可比较”的(三个都不是)。全序集合是用规则排除第四种可能的集合: 所有元素对都是可比较的,
并且声称三分法成立。自然数、整数、有理数和实数都关于它们代数(有符号)大小是全序的,而复数不是。这不是说复数不能全序排序;
比如我们可以按词典次序排序它们,通过 x+iy < u+iv 当且仅当 x < u 或 (x = u 且 y < v),
但是这种排序没有合理的大小意义因为它使得 1 大于 100i。按绝对大小排序它们产生在其中所有对都是可比较的预序,
但这不是偏序因为 1 和 i 有相同的绝对大小但却不相等,违反了反对称性。
在数学中,特别是序理论中,是指配备了偏序关系的集合。
这个关系形式化了排序、顺序或排列这个集合的元素的直觉概念。
这种排序不必然需要是全部的,就是说不需要但也可以保证在这个集合内的所有对象的相互可比较性。(在数学用法中,全序是一种偏序)。
偏序集合定义了偏序拓扑
看到这里很多人会一头雾水 因为纯数学的表达太生涩了 那么我就举一个例子
建立一个二元组(x,y)中的偏序集
(x1,y1)<=(x2,y2)当且仅当 x1<=x2 与 y1<=y2同时成立
则集合{(x,y) |x,y∈R }中任选两个元素 (i,j) (k,l) 不一定有 (i,j)<=(k,l) 或 (k,l)<=(i,j)
这就是一个偏序集
偏序集中的元素可以任意推广,但是必须有偏序关系
好了 现在你应该对偏序集有一些认识了吧
特别的在R中当偏序关系为<=时,任选元素a,b 必有 a<=b 或 b <= a那么我们 称这是一个全序集
二 偏序集中的概念
链 : D 中的一个子集 C 满足 C 是全序集 及C中所有元素都可以比较大小
反链 : D 中的一个子集 B 满足 B 中任意非空子集都不是全序集 即所有元素之间都不可以比较大小
链覆盖 : 若干个链的并集为 D ,且两两之间交集为 ∅
反链覆盖 : 若干个反链的并集为 D ,且两两之间交集为∅
最长链 : 所有链中元素个数最多的 (可以有多个最长链)
最长反链 : 所有反链中元素个数最多的 (可以有多个最长反链
偏序集高度 : 最长链的元素个数
偏序集宽度 : 最长反链中的元素个数
三 Dilworth定理
最小链覆盖(使链最少)= 最长反链长度 = 偏序集宽度
最小反链覆盖=最长链长度=偏序集深度
现在我们看到BZOJ 1143
题意很明显 是要求图中的最长反链长度 x<=y即为x可以到y 我们可以用Floyd预处理偏序关系
之后我们可以构造一个二分图 对于一个点x 我们用 x1 x2分别表示它在链中关系
若 x<=y 则建立(x1,y2)这一条边(不理解这个过程可以见下图)
这个是原图 然后构造二分图
显然 有N个点 二分图中的最大匹配为A 原图最小链覆盖为B
有N-A=B
如果不懂的话可以看我的证明(可能很不严谨
若二分图内存在增广路径(x1,y2) 则 x1 y2都没有连边 x为一条链的末尾 y为一条链的开始 又有 x<=y 所以当前的覆盖不是原图的最小链覆盖
那么对于这一题思路就已经讲完了 复杂度是O(n^3)的
BZOJ1143[CTSC2008]祭祀river 偏序集及Dilworth定理相关推荐
- bzoj1143[CTSC2008]祭祀river
bzoj1143[CTSC2008]祭祀river 题意: Y族居住地水系是一个由岔口和河道组成的网络.每条河道连接着两个岔口,并且水在河道内按照一个固定的方向流动.水系中不会有环流.由于人数众多的原 ...
- [bzoj1143][CTSC2008]祭祀river——DAG上最长反链,Dilworth定理,最大二分图匹配,Floyd
题目大意: 给定一个DAG图,求最长反链(即一个点集,其中任意点两两不可以相互到达). 思路: 一开始我其实是想用求最大独立集的方法去求的.但是并不会(好像也过不去). 题目所要求的是最长反链,需要用 ...
- BZOJ1143: [CTSC2008]祭祀river 网络流_Floyd_最大独立集
Description 在遥远的东方,有一个神秘的民族,自称Y族.他们世代居住在水面上,奉龙王为神.每逢重大庆典, Y族都 会在水面上举办盛大的祭祀活动.我们可以把Y族居住地水系看成一个由岔口和河道组 ...
- 最长反链(bzoj 1143: [CTSC2008]祭祀river)
题目描述: 给你一个n个点m条边的有向无环图,求出最大点集满足其中任意两点间都不能存在路径 也就是对于所有的x, y∈S,x不能到达y,y也不能到达x 对于有向无环图(DAG): 链:一些点的集合,链 ...
- bzoj1143/2718 祭祀river(最大独立集)
[CTSC2008]祭祀river Time Limit: 10 Sec Memory Limit: 162 MB Submit: 2175 Solved: 1098 [Submit][Statu ...
- 偏序集的Dilworth定理学习 (转载)
转自http://3214668848.blog.163.com/blog/static/48764919200991885836429/ 导弹拦截是一个经典问题:求一个序列的最长不上升子序列,以及求 ...
- 1143: [CTSC2008]祭祀river
Time Limit: 10 Sec Memory Limit: 162 MB Submit: 4018 Solved: 2048 [Submit][Status][Discuss] Descri ...
- 偏序集概念+Dilworth定理
偏序的概念: 设A是一个非空集,P是A上的一个关系,若关系P是自反的.反对称的.和传递的,则称P是集合A上的偏序关系. 即P适合下列条件: (1)对任意的a∈A,(a,a)∈P; (2)若(a,b)∈ ...
- 偏序集,Dilworth定理,以及经典的导弹拦截问题
偏序集: 设R为非空集合A上的关系,如果R是自反的.反对称的和可传递的,则称R为A上的偏序关系,简称偏序,通常记作≦.一个集合A与A上的偏序关系R一起叫作偏序集,记作<A,R>或<A ...
最新文章
- hive中order by,sort by, distribute by, cluster by作用以及用法
- Zookeeper的安装配置及基本开发
- FFMPEG音视频同步-音视频实时采集并编码推流-优化版本
- BootstrapTable-加载数据
- 笔记-计算机网络基础-5G
- Java的主要就业方向
- HDFS的工作机制,HDFS写数据流程,HDFS读数据流程(来自学习资料)
- html批量转doc linux,HTML+CSS入门 Linux下如何批量将md文件转换为html文件
- ensp路由器无法启动_ensp和CRT使用小技巧
- 李国浩20179307第二周作业
- No module named ‘skimage.metrics‘在Anaconda3中的解决方法
- Spring Boot : Whitelabel Error Page解决方案
- 7. 如何创建 CSS
- GIS案例练习-----------第十天
- pandas读取csv文件数据并对指定字段分类使用matplotlib在一张图里画四张折线图子图
- github 安装浏览器导航插件Octotree
- gis统计百分比_ArcGIS数据统计
- Google离去,百度就能制衡?
- iso-8859-1表示中文汉字
- 第二届长三角高校数学建模竞赛
热门文章
- 团队项目选题-移动端模拟经营类游戏
- 干货!用C语言画一个小猪佩奇(附源码),针不戳!
- [纸上谈兵 1]——App启动优化
- Chrome 就爱加速 登录google账号
- 【论文阅读】Causal Imitative Model for Autonomous Driving
- AI大类资产配置:从风险平价开始
- Java基础 -> Java比C/C++执行慢的原因?
- linux系统鼠标左键失灵,centos鼠标左键突然失灵问题与解决(更新于2014/11/24)
- maskrcnn-benchmark 代码详解之 resnet.py
- 一键静态化【一键生成静态网页】