【笔记】二分图、网络流相关
来源:互联网 发布:mac word界面是英文的 编辑:程序博客网 时间:2024/05/17 02:10
二分图
这里的证明都是大概只有我能看懂的不严密证明…
二分图的可行边与必须边
建新图。
对于边
源汇点同理:若
然后求scc,若边
最小点覆盖=最大匹配
概念:二分图中选最少得点,使其覆盖所有的边。
可以贪心地去选点,使点出现在最大匹配上。
最小边覆盖=顶点数-最小点覆盖
概念:二分图中选最少的边,使其覆盖所有点。
首先可以贪心地选最大匹配上的边,因为这样可以一条边覆盖两个点。剩下的点只能由其他边一条边覆盖一个点了。
设最大匹配数为m,选的其他边的数量是a,满足2m+a=n,答案是m+a=n-m,即最小边覆盖=顶点数-最小点覆盖。
最大独立集=顶点数-最小点覆盖
概念:二分图中找一个最大点集,使得两点之间没有边。
去掉最少的点,剩下最多的点,使它们互相没有边。去掉的是点覆盖。
最小路径覆盖=原图顶点数-拆点后最大匹配
概念:有向无环图中选出不相交路径覆盖所有点,求不相交路径最小值。
拆点:把每个点拆成入点和出点,然后对于边
可以发现有向无环图中的一条边对应二分图中一条匹配边。
有向无环图中的每条边的出点(from)对应于二分图的对应边匹配边左部点。
每条路径最后一个点没有对应。
所以最小路径覆盖=路径最后一个点最最少=最少未匹配点=原图顶点数-拆点后最大匹配
网络流
最小割的可行边与必须边
首先不管是可行边还是必须边都要是满流边,因为最小割。
必须边:容量增大后最小割值增大。
必须边求法:跑完最小割后在残量网络上从源点dfs,汇点反向dfs,枚举起点被源点搜到、终点被汇点搜到的满流边就是答案。
另一种求法是tarjan。鏼大爷Orz。
可行边好像只能tarjan?
tarjan求可行边、必须边(前提条件是满流):
必须边:要求
可行边:要求
最大流
以S-T流表示方案,根据题意把方案列上,要能在图中找到所有题目要求信息的体现。
最小割
codevs1907方格取数3:二分图最大点权独立集=总边权-最小割。
相邻两格连INF边:防割。每次割的边表示不选,还可以保证冲突的点只选一个,保证是独立集。相当于去掉了最小点权覆盖集。
【bzoj1565】[NOI2009]植物大战僵尸:最大权闭合图=总正点权-最小割
源点向所有正点权为x的点建流量为x的边,负点权x的点向汇点建流量为-x的边,原图边容量INF。
证明略,详见胡伯涛论文。其中最大权闭合图在S集。
【poj2125】Destroying The Graph:二分图最小点权覆盖集=最小割
S连左部,容量为点权。右部连T,容量为点权。原边为INF。然后最小割。
最大点权独立集模型:对于一条边,要么只选u,要么只选v,要么都不选。
最小点权覆盖集模型:对于一条边,要么只选u,要么只选v,要么都选。
若有类似【最少的代价把集合分成两份】,可以考虑最小割。
费用流
在最大流表示所有方案的基础上,费用流是从所有方案中择优选取。
bzoj1834网络扩容:
题目要求最少扩建费用。在残量网络上建边,只要原图存在的边(不管现在流量是不是0)都建流量为INF,费用为
【COGS743】最长k可重区间集问题:最大权不相交路径
带上下界
主要是怎么建…
- 【笔记】二分图、网络流相关
- 【补习时间】二分图相关学习笔记
- 二分图匹配学习笔记(网络流)
- 网络流|二分图+uva11045
- 网络流+二分图总结
- [网络流] 二分图匹配
- 网络流&二分图 12
- 网络相关笔记
- 二分图相关知识
- 二分图相关
- 二分图相关题
- 二分图相关性质
- 二分图匹配相关
- 二分图匹配相关
- 二分图相关
- 【二分图匹配/网络流】宫廷守卫
- 【网络流/二分图匹配】飞行员配对
- 【网络流-二分图最大匹配】poj3041Asteroids
- Calculate Mysql Memory Usage – Quick Stored Procedure
- IO多路复用之poll总结
- POJ 1019Number Sequence(DP?)
- 【加密解密】加解密技术之 MD5
- SpringMVC中Session超时拦截器配置
- 【笔记】二分图、网络流相关
- 图示7大常见排序算法
- struts2学习笔记---------自定义类型转换器
- 关于Java scheduledExecutor
- IO多路复用之epoll总结
- web项目中servlet与servlet-mapping
- Android Binder (6): App启动时binder做什么?
- CSS中的position和display通俗理解
- canvas 画图(有点想法版)