有向无环图的最小路径点覆盖_有向无环图最小路径覆盖 例题-程序员宅基地

技术标签: 网络流  

不可相交

     ~~~~     给定一个 D A G DAG DAG,要求用尽量少的不相交的简单路径,覆盖 D A G DAG DAG的所有顶点(每个顶点恰好被覆盖一次)。

  • 设原来的有向无环图为 G = ( V , E ) , n = ∣ V ∣ G=(V,E),n=|V| G=(V,E),n=V。把 G G G中的每一个点拆成入点和出点,建立一张新的二分图, 1 1 1 ~ n n n为左部节点, n + 1 n+1 n+1 ~ 2 n 2n 2n为右部节点,对于原图的每条有向边 ( x , y ) (x,y) (x,y),在二分图的左部点 x x x和右部点 y + n y+n y+n之间连边。
  • 有向无环图 G G G的最小路径点覆盖数量就是 n − n- n最大匹配数。证明:
             ~~~~~~~~         在最小路径点覆盖的方案中,因为所有路径不相交,所以每一个点的入度和出度都不超过1.因为每个节点都被覆盖,所以 x x x的出度和入度至少有一个是1。
             ~~~~~~~~         因此,最小路径覆盖中的所有边,在拆点二分图中构成一组匹配。最小路径覆盖中每条边 ( x , y ) (x,y) (x,y)的起点 x x x与二分图每条匹配边 ( x , y + n ) (x,y+n) (x,y+n)的左部点 x x x是一一对应的。
             ~~~~~~~~         特别地,对于每条路径的终点 t t t,因为 t t t没有出边,所以出度为0,对应在二分图中就是 t t t匹配失败。即路径的终点和二分图左部的非匹配点是一一对应的。
             ~~~~~~~~         故而, G G G的最小路径点覆盖等于 n n n减去最大匹配数。
  • 当然,求二分图最大匹配我们用 d i n i c dinic dinic来求,快!
可相交

     ~~~~     和上述问题一样,不过路径可以相交。

  • 一种做法是先对原图做一下传递闭包,这样新图我们可以直接按照最小路径点覆盖(路径不相交)来做。不过这样复杂度有点高。
  • 考虑如何用网络流优化。
  • 对于原图一条边 ( x , y ) (x,y) (x,y),多建一条 ( x 0 , y 0 ) (x_0,y_0) (x0,y0),容量为 i n f inf inf。这条边其实就相当于我们的传递闭包。
例题:bzoj2718

在这里插入图片描述

  • 想要使两两点之间没有路径,那么每条 p a t h path path最多选一个点。( p a t h path path是你最小路径可相交覆盖的路径方案)。
  • 其实是有一种合法的方案,使得你每条 p a t h path path上恰好选一个点的。所以答案就是 n − m a x f l o w n-maxflow nmaxflow
Coding
#include<bits/stdc++.h>
using namespace std;
const int N=1e3+10;
const int M=2e5+10;
const int inf=1e9;
int n,m,s,t,tot=1,flow,maxflow,ver[M],Next[M],edge[M],lin[N],a[N][N],d[N];
void add(int x,int y,int z){
    
	ver[++tot]=y;Next[tot]=lin[x];lin[x]=tot;edge[tot]=z;
	ver[++tot]=x;Next[tot]=lin[y];lin[y]=tot;edge[tot]=0;
}
int cal(int i,int j){
    return i*n+j;}
bool bfs(){
    
	queue<int>q;
	memset(d,0,sizeof(d));
	d[s]=1,q.push(s);
	while(q.size()){
    
		int x=q.front();q.pop();
		for(int i=lin[x];i;i=Next[i]){
    
			int y=ver[i];
			if(edge[i]&&!d[y]){
    
				d[y]=d[x]+1;q.push(y);
				if(y==t) return 1;
			}
		}
	}return 0;
}
int dinic(int x,int flow){
    
	if(x==t) return flow;
	int rest=flow;
	for(int i=lin[x];i&&rest;i=Next[i]){
    
		int y=ver[i];
		if(d[y]==d[x]+1&&edge[i]){
    
			int k=dinic(y,min(edge[i],rest));
			if(!k) d[y]=0;
			rest-=k,edge[i]-=k,edge[i^1]+=k;
			if(!rest) return flow-rest;
		}
	}return flow-rest;
}
int main(){
    
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;++i){
    
		int x,y;scanf("%d%d",&x,&y);
		a[x][y]=1;
	}s=0,t=n*2+1;
	for(int i=1;i<=n;++i){
    
		add(s,cal(0,i),1);
		add(cal(1,i),t,1);
		for(int j=1;j<=n;++j){
    
			if(a[i][j]){
    
				add(cal(0,i),cal(1,j),1);
				add(cal(0,i),cal(0,j),inf);
			}
		}
	}
	while(bfs()){
    
		while(flow=dinic(s,inf)) maxflow+=flow;
	}
	printf("%d\n",n-maxflow);
	return 0;
}
版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/qq_39759315/article/details/88806919

智能推荐

Docker 快速上手学习入门教程_docker菜鸟教程-程序员宅基地

文章浏览阅读2.5w次,点赞6次,收藏50次。官方解释是,docker 容器是机器上的沙盒进程,它与主机上的所有其他进程隔离。所以容器只是操作系统中被隔离开来的一个进程,所谓的容器化,其实也只是对操作系统进行欺骗的一种语法糖。_docker菜鸟教程

电脑技巧:Windows系统原版纯净软件必备的两个网站_msdn我告诉你-程序员宅基地

文章浏览阅读5.7k次,点赞3次,收藏14次。该如何避免的,今天小编给大家推荐两个下载Windows系统官方软件的资源网站,可以杜绝软件捆绑等行为。该站提供了丰富的Windows官方技术资源,比较重要的有MSDN技术资源文档库、官方工具和资源、应用程序、开发人员工具(Visual Studio 、SQLServer等等)、系统镜像、设计人员工具等。总的来说,这两个都是非常优秀的Windows系统镜像资源站,提供了丰富的Windows系统镜像资源,并且保证了资源的纯净和安全性,有需要的朋友可以去了解一下。这个非常实用的资源网站的创建者是国内的一个网友。_msdn我告诉你

vue2封装对话框el-dialog组件_<el-dialog 封装成组件 vue2-程序员宅基地

文章浏览阅读1.2k次。vue2封装对话框el-dialog组件_

MFC 文本框换行_c++ mfc同一框内输入二行怎么换行-程序员宅基地

文章浏览阅读4.7k次,点赞5次,收藏6次。MFC 文本框换行 标签: it mfc 文本框1.将Multiline属性设置为True2.换行是使用"\r\n" (宽字符串为L"\r\n")3.如果需要编辑并且按Enter键换行,还要将 Want Return 设置为 True4.如果需要垂直滚动条的话将Vertical Scroll属性设置为True,需要水平滚动条的话将Horizontal Scroll属性设_c++ mfc同一框内输入二行怎么换行

redis-desktop-manager无法连接redis-server的解决方法_redis-server doesn't support auth command or ismis-程序员宅基地

文章浏览阅读832次。检查Linux是否是否开启所需端口,默认为6379,若未打开,将其开启:以root用户执行iptables -I INPUT -p tcp --dport 6379 -j ACCEPT如果还是未能解决,修改redis.conf,修改主机地址:bind 192.168.85.**;然后使用该配置文件,重新启动Redis服务./redis-server redis.conf..._redis-server doesn't support auth command or ismisconfigured. try

实验四 数据选择器及其应用-程序员宅基地

文章浏览阅读4.9k次。济大数电实验报告_数据选择器及其应用

随便推点

灰色预测模型matlab_MATLAB实战|基于灰色预测河南省社会消费品零售总额预测-程序员宅基地

文章浏览阅读236次。1研究内容消费在生产中占据十分重要的地位,是生产的最终目的和动力,是保持省内经济稳定快速发展的核心要素。预测河南省社会消费品零售总额,是进行宏观经济调控和消费体制改变创新的基础,是河南省内人民对美好的全面和谐社会的追求的要求,保持河南省经济稳定和可持续发展具有重要意义。本文建立灰色预测模型,利用MATLAB软件,预测出2019年~2023年河南省社会消费品零售总额预测值分别为21881...._灰色预测模型用什么软件

log4qt-程序员宅基地

文章浏览阅读1.2k次。12.4-在Qt中使用Log4Qt输出Log文件,看这一篇就足够了一、为啥要使用第三方Log库,而不用平台自带的Log库二、Log4j系列库的功能介绍与基本概念三、Log4Qt库的基本介绍四、将Log4qt组装成为一个单独模块五、使用配置文件的方式配置Log4Qt六、使用代码的方式配置Log4Qt七、在Qt工程中引入Log4Qt库模块的方法八、获取示例中的源代码一、为啥要使用第三方Log库,而不用平台自带的Log库首先要说明的是,在平时开发和调试中开发平台自带的“打印输出”已经足够了。但_log4qt

100种思维模型之全局观思维模型-67_计算机中对于全局观的-程序员宅基地

文章浏览阅读786次。全局观思维模型,一个教我们由点到线,由线到面,再由面到体,不断的放大格局去思考问题的思维模型。_计算机中对于全局观的

线程间控制之CountDownLatch和CyclicBarrier使用介绍_countdownluach于cyclicbarrier的用法-程序员宅基地

文章浏览阅读330次。一、CountDownLatch介绍CountDownLatch采用减法计算;是一个同步辅助工具类和CyclicBarrier类功能类似,允许一个或多个线程等待,直到在其他线程中执行的一组操作完成。二、CountDownLatch俩种应用场景: 场景一:所有线程在等待开始信号(startSignal.await()),主流程发出开始信号通知,既执行startSignal.countDown()方法后;所有线程才开始执行;每个线程执行完发出做完信号,既执行do..._countdownluach于cyclicbarrier的用法

自动化监控系统Prometheus&Grafana_-自动化监控系统prometheus&grafana实战-程序员宅基地

文章浏览阅读508次。Prometheus 算是一个全能型选手,原生支持容器监控,当然监控传统应用也不是吃干饭的,所以就是容器和非容器他都支持,所有的监控系统都具备这个流程,_-自动化监控系统prometheus&grafana实战

React 组件封装之 Search 搜索_react search-程序员宅基地

文章浏览阅读4.7k次。输入关键字,可以通过键盘的搜索按钮完成搜索功能。_react search