【Luogu P2764】最小路径覆盖问题
网络流 \(24\) 题之一。
Problem
Description
给出一个 \(n\) 个点 \(m\) 条边的 \(DAG\) ,求最小路径点覆盖,并输出路径选择方案。
Input Format
第一行有 \(2\) 个正整数 \(n\) 和 \(m\) 。 \(n\) 是给定\(\text{GAP}\)(有向无环图) \(G\) 的顶点数, \(m\) 是 \(G\) 的边数。接下来的 \(m\) 行,每行有两个正整数 \(i\) 和 \(j\) 表示一条有向边 \((i,j)\)。
Output Format
从第1 行开始,每行输出一条路径。文件的最后一行是最少路径数。
Sample
Input
11 12
1 2
1 3
1 4
2 5
3 6
4 7
5 8
6 9
7 10
8 11
9 11
10 11
Output
1 4 7 10 11
2 5 8
3 6 9
3
Range
\(1\leq n\leq 150,1\leq m\leq 6000\)
Mentality
这题其实就是 \(DAG\) 上的最小路径点覆盖,详情参考这篇 \(blog\) 。
其实这里只要叙述怎么处理方案的输出就好了 ......
我们对于二分图跑完最大流之后,扫一遍二分图中所有的边 (并不包括连向超级源点汇点的边) ,根据网络流残余网络的特性,如果某一条边的反边中剩余容量不为 \(0\) ,那么它必定是最大流中的一条可行弧。则我们记录下这条边,对于左侧点 \(i\) ,记录一个 \(next[i]\) 代表 \(i\) 连向的边,并记录右侧点 \(j'\) 是否被经过。接着,我们扫一遍右边的点,如果 \(i'\) 没有被任何一条边经过,则入度为 \(0\) ,必定为路径起点,那么我们从 \(i\) 开始借助 \(next\) 数组遍历这条路径并输出即可。
Code
#include <cstdio>
#include <cstring>
#include <iostream>
#include <queue>
using namespace std;
int n, m, S, T;
int head[1001], nx[20001], to[20001], w[20001], cnt;
int deep[1001], nt[1001];
bool book[20001], r[1001];
int inf = 1e9, ans;
void add(int u, int v, int W, int d) {
to[d] = v, nx[d] = head[u], w[d] = W;
head[u] = d;
}
queue<int> q;
bool init() {
memset(book, 0, sizeof(book));
memset(deep, -1, sizeof(deep));
deep[S] = 1;
q.push(S);
while (!q.empty()) {
int x = q.front();
q.pop();
for (int i = head[x]; i; i = nx[i])
if (deep[to[i]] == -1 && w[i] > 0) {
deep[to[i]] = deep[x] + 1;
q.push(to[i]);
}
}
return deep[T] != -1;
}
int dfs(int x, int limit) {
if (x == T || !limit) return limit;
int flow = 0, fnow;
for (int i = head[x]; i; i = nx[i])
if (deep[to[i]] == deep[x] + 1 && !book[i] &&
(fnow = dfs(to[i], min(limit, w[i])))) {
book[i] = true;
flow += fnow;
limit -= fnow;
w[i] -= fnow;
w[i ^ 1] += fnow;
if (!limit) break;
}
return flow;
}
void print(int x) {
if (!x) return;
printf("%d ", x);
print(nt[x]);
}
int main() {
cin >> n >> m;
S = n * 2 + 1, T = n * 2 + 2, cnt = 1;
for (int i = 1; i <= n; i++) {
add(S, i, 1, ++cnt);
add(i, S, 0, ++cnt);
add(i + n, T, 1, ++cnt);
add(T, i + n, 0, ++cnt);
}
int u, v;
for (int i = 1; i <= m; i++) {
scanf("%d%d", &u, &v);
v += n;
add(u, v, inf, ++cnt);
add(v, u, 0, ++cnt);
}
while (init()) dfs(S, inf);
for (int i = 2; i <= cnt; i += 2) {
int p1 = to[i], p2 = to[i ^ 1];
if (p1 == S || p1 == T || p2 == S || p2 == T) continue;
if (w[i ^ 1]) nt[to[i ^ 1]] = to[i] - n, r[to[i] - n] = true;
}
for (int i = 1; i <= n; i++)
if (!r[i]) {
ans++;
print(i);
cout << endl;
}
cout << ans;
}
【Luogu P2764】最小路径覆盖问题的更多相关文章
- Luogu P2764 最小路径覆盖问题(二分图匹配)
P2764 最小路径覆盖问题 题面 题目描述 «问题描述: 给定有向图 \(G=(V,E)\) .设 \(P\) 是 \(G\) 的一个简单路(顶点不相交)的集合.如果 \(V\) 中每个顶点恰好在 ...
- luogu P2764 最小路径覆盖问题
题目描述 给定有向图G=(V,E).设P 是G 的一个简单路(顶点不相交)的集合.如果V 中每个顶点恰好在P 的一条路上,则称P是G 的一个路径覆盖.P 中路径可以从V 的任何一个顶点开始,长度也是任 ...
- LUOGU P2764 最小路径覆盖问题 (最小路径点覆盖)
解题思路 有向图最小路径点覆盖问题,有这样的结论就是有向图最小路径点覆盖等于n-拆点二分图中最大匹配.具体怎么证明不太知道..输出方案时找到所有左部未匹配的点一直走$match$就行了. #incl ...
- 【luogu P2764 最小路径覆盖问题】 模板
题目链接:https://www.luogu.org/problemnew/show/P2764 把每个点在左边建一遍右边建一遍,再加上源点汇点,跑最大流,n-最大流就是答案. #include &l ...
- 洛谷 P2764 最小路径覆盖问题 解题报告
P2764 最小路径覆盖问题 问题描述: 给定有向图\(G=(V,E)\).设\(P\) 是\(G\) 的一个简单路(顶点不相交)的集合.如果\(V\) 中每个顶点恰好在\(P\) 的一条路上,则称\ ...
- Luogu 2764 最小路径覆盖问题 / Libre 6002 「网络流 24 题」最小路径覆盖 (网络流,最大流)
Luogu 2764 最小路径覆盖问题 / Libre 6002 「网络流 24 题」最小路径覆盖 (网络流,最大流) Description 给定有向图G=(V,E).设P是G的一个简单路(顶点不相 ...
- P2764 最小路径覆盖问题 网络流重温
P2764 最小路径覆盖问题 这个题目之前第一次做的时候感觉很难,现在好多了,主要是二分图定理不太记得了,二分图定理 知道这个之后就很好写了,首先我们对每一个点进行拆点,拆完点之后就是跑最大流,求出最 ...
- 【Luogu】P2764最小路径覆盖(拆点求最大匹配)
题目链接 这个……学了一条定理 最小路径覆盖=原图总点数-对应二分图最大匹配数 这个对应二分图……是什么呢? 就是这样 这是原图 这是拆点之后对应的二分图. 然后咱们的目标就是从这张图上跑出个最大流来 ...
- 洛谷 P2764 最小路径覆盖问题【最大流+拆点+路径输出】
题目链接:https://www.luogu.org/problemnew/show/P2764 题目描述 «问题描述: 给定有向图G=(V,E).设P 是G 的一个简单路(顶点不相交)的集合.如果V ...
- 网络流二十四题之P2764 最小路径覆盖问题
题目描述 给定有向图 G=(V,E)G=(V,E) .设 PP 是 GG 的一个简单路(顶点不相交)的集合.如果 VV 中每个定点恰好在PP的一条路上,则称 PP 是 GG 的一个路径覆盖.PP中路径 ...
随机推荐
- edis配置文件-转
# redis 配置文件示例 # 当你需要为某个配置项指定内存大小的时候,必须要带上单位, # 通常的格式就是 1k 5gb 4m 等酱紫: # # 1k => 1000 bytes # 1kb ...
- [转]Hive开发总结
看到一篇挺不错的hive开发总结文章,在此转载一下,有兴趣的可以去看原文,传送门HIVE开发总结. 基本数据类型 查看所有函数 搜索函数 搜索表 查看函数使用方法 关键字补全 显示表头 SET环境变量 ...
- Django框架----权限组件(具体代码实现)
1.settings """ Django settings for day80 project. Generated by 'django-admin startpro ...
- mergesort_arithmetic_python
def merge(a, b): c = [] h = j = 0 while j < len(a) and h < len(b): if a[j] < b[h]: c.append ...
- OpenGL读取帧缓存数据
https://blog.csdn.net/niu2212035673/article/details/80251949 简述有些时候我们可能需要获取渲染后的图像数据,比较常用的函数是glReadPi ...
- BeanCreationException: Error creating bean with name 'transactionManager' defined
BeanCreationException: Error creating bean with name 'transactionManager' defined in \WEB-INF\classe ...
- django模型的crud操作
一个建立好的模型,django会生成一套完整的API,以便对对象进行crud操作,下面就详细介绍crud操作. 先说一下操作环境: python2.7, django1.11.8, win7系统,借助 ...
- EDK II之USB设备驱动程序的加载与运行
本文简单介绍一下USB设备的驱动程序是如何匹配设备以及被加载的: 上文(UDK中USB总线驱动的实现框架)提到USB总线枚举设备的最后一步是调用gBS->ConnectController()去 ...
- 通过经纬度获取所属城市信息-php
测试经纬度信息,37.863036,113.598909.通过地图查询,所在城市为:阳泉. <?php class test{ public static $test_key = 'dfgfdg ...
- sqlloader parallel调用报ORA-26002: table has index defined upon it.解决方法
ORA-26002: table has index defined upon it. This issue is caused when using the bulk load option in ...