题意

(混合图的欧拉回路判定)

给你一个既存在有向边, 又存在无向边的图. 问是否存在欧拉回路.

\(N ≤ 200, M ≤ 1000\)

题解

难点在于无向边. 考虑每个点的度数限制.

我们先对无向边任意定向, 现在每个点都有一个出度和入度的差; 而我们要求最终每个点出度和入度相等.

令它出度减去入度为 \(deg​\) ,如果 \(deg​\) 为奇数那么必不存在欧拉回路,因为每次我们修改一条边的定向,会使得入度 \(+1​\) 出度 \(-1​\) (或者相反)。那么变化后的 \(deg​\) 总为奇数,就绝不可能成为 \(0​\) 了。

然后接下来我们就需要判定之后改变边的定向能否满足要求。因为范围较小,我们继续可以联想到网络流。

首先我们建出超级源 \(S\) 、超级汇 \(T\) 。

  1. 把超级源向所有 \(deg > 0\) 的点 \(p\) 连上 \(S \to p\) 流量为 \(\displaystyle \frac{deg}{2}\) 的边。
  2. 把所有 \(deg < 0\) 的点 \(p\) 向超级汇连上 \(p \to T\) 流量为 \(- \displaystyle \frac{deg}{2}\) 的边。
  3. 把原图中存在的无向边我们连上 \(u \to v\) 流量为 \(1\) 的边。注意此处连 \(u \to v\) 的话,需要一开始假设最初的定向就是 \(u \to v\) 使得 ++ deg[u], -- deg[v];

然后跑一遍网络流得到的流量如果和所有 \(deg > 0\) 的点的 \(deg\) 和相同,那么就是存在一组解的,否则就必不存在。

考虑为什么是这样的,因为我们每次流一条边,相当于把一条边 \(u \to v\) 反向成 \(v \to u\) ,使得给 \(u\) 的入度增加 \(1\) 出度减少 \(1\) ,所以 \(deg\) 会直接减少 \(2\) ,这就是为什么我们一开始流量为 \(\displaystyle |\frac{deg}{2}|\) 的原因。

如果满流的结果刚好是 \(\displaystyle\sum_{deg> 0} deg\) ,意味着所有点都修改正确了。

总结

对于有向图欧拉回路的题,牢记 入度 \(=\) 出度 才存在的性质。

代码

#include<cstdio>
#include<iostream>
#include<queue>
#include<cstdlib>
#include<cstring> #define For(i, l, r) for(register int i = (l), i##end = (int)(r); i <= i##end; ++i)
#define Fordown(i, r, l) for(register int i = (r), i##end = (int)(l); i >= i##end; --i)
#define Set(a, v) memset(a, v, sizeof(a))
#define Cpy(a, b) memcpy(a, b, sizeof(a))
#define debug(x) cout << #x << ": " << x << endl
#define DEBUG(...) fprintf(stderr, __VA_ARGS__) using namespace std; inline bool chkmin(int &a, int b) {return b < a ? a = b, 1 : 0;}
inline bool chkmax(int &a, int b) {return b > a ? a = b, 1 : 0;} inline int read() {
int x = 0, fh = 1; char ch = getchar();
for (; !isdigit(ch); ch = getchar()) if (ch == '-') fh = -1;
for (; isdigit(ch); ch = getchar()) x = (x << 1) + (x << 3) + (ch ^ 48);
return x * fh;
} void File() {
#ifdef zjp_shadow
freopen ("1637.in", "r", stdin);
freopen ("1637.out", "w", stdout);
#endif
} int n, m; const int N = 410, M = 5010, inf = 0x7f7f7f7f; namespace Dinic { int Head[N], Next[M], to[M], cap[M], e = 1; inline void add_edge(int u, int v, int flow) { to[++ e] = v; Next[e] = Head[u]; Head[u] = e; cap[e] = flow; } inline void Add(int u, int v, int flow) { add_edge(u, v, flow); add_edge(v, u, 0); } int dis[N], S, T; bool Bfs() {
queue<int> Q; Set(dis, 0); dis[S] = 1; Q.push(S);
while (!Q.empty()) {
int u = Q.front(); Q.pop();
if (u == T) return true;
for (int i = Head[u]; i; i = Next[i]) if (cap[i]) {
int v = to[i];
if (!dis[v]) dis[v] = dis[u] + 1, Q.push(v);
}
}
return false;
} int cur[N];
int Dfs(int u, int flow) {
if (u == T || !flow) return flow;
int res = 0, f;
for (int &i = cur[u]; i; i = Next[i]) if (cap[i]) {
int v = to[i]; if (dis[v] != dis[u] + 1) continue ;
if ((f = Dfs(v, min(flow, cap[i])))) {
cap[i] -= f; cap[i ^ 1] += f;
res += f; if (!(flow -= f)) break;
}
}
if (!res || !flow) dis[u] = 0;
return res;
} int Run() {
int sum_flow = 0;
while (Bfs()) Cpy(cur, Head), sum_flow += Dfs(S, inf);
return sum_flow;
} } using namespace Dinic; int deg[N]; inline bool IsOdd() { For (i, 1, n) if (deg[i] & 1) return true; return false; } int main () { File(); for (int cases = read(); cases; -- cases) { n = read(); m = read(); e = 1;
For (i, 1, n + 2) Head[i] = deg[i] = 0; For (i, 1, m) {
int u = read(), v = read(), type = read();
++ deg[u]; -- deg[v];
if (!type) Add(u, v, 1);
} if (IsOdd()) { puts("impossible"); continue ; } S = n + 1, T = S + 1; int tot = 0;
For (i, 1, n) {
if (deg[i] > 0) Add(S, i, deg[i] >> 1), tot += deg[i] >> 1;
if (deg[i] < 0) Add(i, T, (- deg[i]) >> 1);
}
puts(Run() == tot ? "possible" : "impossible"); } return 0;
}

[POJ 1637] Sightseeing tour(网络流)的更多相关文章

  1. POJ 1637 Sightseeing tour(最大流)

    POJ 1637 Sightseeing tour 题目链接 题意:给一些有向边一些无向边,问能否把无向边定向之后确定一个欧拉回路 思路:这题的模型很的巧妙,转一个http://blog.csdn.n ...

  2. 网络流(最大流) POJ 1637 Sightseeing tour

    Sightseeing tour Time Limit: 1000MS   Memory Limit: 10000K Total Submissions: 8628   Accepted: 3636 ...

  3. POJ 1637 Sightseeing tour (混合图欧拉路判定)

    Sightseeing tour Time Limit: 1000MS   Memory Limit: 10000K Total Submissions: 6986   Accepted: 2901 ...

  4. POJ 1637 - Sightseeing tour - [最大流解决混合图欧拉回路]

    嗯,这是我上一篇文章说的那本宝典的第二题,我只想说,真TM是本宝典……做的我又痛苦又激动……(我感觉ACM的日常尽在这张表情中了) 题目链接:http://poj.org/problem?id=163 ...

  5. POJ 1637 Sightseeing tour (SAP | Dinic 混合欧拉图的判断)

    Sightseeing tour Time Limit: 1000MS   Memory Limit: 10000K Total Submissions: 6448   Accepted: 2654 ...

  6. POJ 1637 Sightseeing tour

    Sightseeing tour Time Limit: 1000MS   Memory Limit: 10000K Total Submissions: 9276   Accepted: 3924 ...

  7. POJ 1637 Sightseeing tour (混合图欧拉回路)

    Sightseeing tour   Description The city executive board in Lund wants to construct a sightseeing tou ...

  8. POJ 1637 Sightseeing tour 建图+网络流

    题意: 给定一个混合图,所谓混合图就是图中既有单向边也有双向边,现在求这样的图是否存在欧拉回路. 分析: 存在欧拉回路的有向图,必须满足[入度==出度],现在,有些边已经被定向,所以我们直接记录度数即 ...

  9. POJ 1637 Sightseeing tour(混合图欧拉回路+最大流)

    http://poj.org/problem?id=1637 题意:给出n个点和m条边,这些边有些是单向边,有些是双向边,判断是否能构成欧拉回路. 思路: 构成有向图欧拉回路的要求是入度=出度,无向图 ...

随机推荐

  1. 广州商学院16级软工一班&二班-第二次作业成绩

    作业地址 https://edu.cnblogs.com/campus/gzcc/GZCC-16SE2/homework/2097 https://edu.cnblogs.com/campus/gzc ...

  2. threading模块,python下的多线程

    一.GIL全局解释器锁 In CPython, the global interpreter lock, or GIL, is a mutex that prevents multiple nativ ...

  3. Python之字符串格式化

    1)     占位符%s: %s是通用的占位符,所有类型不管是string还是int还是float全都代表. 如果使用%d,则只能代表整数:如果是%f,则只能代表小数: 2)     直接用加号+连接 ...

  4. linux的nohup命令

    linux的nohup命令的用法. - runfox545 - 博客园https://www.cnblogs.com/allenblogs/archive/2011/05/19/2051136.htm ...

  5. jenkins 迁移后 提示 反向代理设置有误

    jenkins报:反向代理设置有误-布布扣-bubuko.comhttp://www.bubuko.com/infodetail-2038758.html [Linux][Jenkins]系统配置报反 ...

  6. JSP页面导致tomcat内存溢出一例

    今天发现一个奇怪的问题,一个tomcat应用,里面只有一个单纯的jsp页面,而且这个jsp页面没有任何java代码——想用这个jsp页面配合tomcat完成一个性能验证.但是用jmeter压测了几分钟 ...

  7. POJ1108_Split Windows 解题报告

    Split Windows 题目链接:http://poj.org/problem?id=1108 题目大意: 给你一棵二叉树的先序遍历,有三种字符:|.-.A~Z,然后用窗口表示出来,|: 表示将当 ...

  8. jquery获取select多选框选中的值

    select下拉框选中的值,用jquery大家应该都会获取, $("#selectBox option:selected").val(); 如果select是多选的,也这么获取的话 ...

  9. Day 4-1 模块的导入方法和路径

    什么是模块? 在计算机程序的开发过程中,随着程序代码越写越多,在一个文件里代码就会越来越长,越来越不容易维护. 为了编写可维护的代码,我们把很多函数分组,分别放到不同的文件里,这样,每个文件包含的代码 ...

  10. Day2 列表,元组,字典,集合

    一,列表 定义:[]内以逗号分隔,按照索引,存放各种数据类型,每个位置代表一个元素. list=['alex', 'jack', 'chen', 'shaoye'] #创建一个列表. 特性: 1.可存 ...