BZOJ4025: 二分图【线段树分治】【带撤销的并查集】
Description
神犇有一个n个节点的图。因为神犇是神犇,所以在T时间内一些边会出现后消失。神犇要求出每一时间段内这个图是否是二分图。这么简单的问题神犇当然会做了,于是他想考考你。
Input
输入数据的第一行是三个整数n,m,T。
第2行到第m+1行,每行4个整数u,v,start,end。第i+1行的四个整数表示第i条边连接u,v两个点,这条边在start时刻出现,在第end时刻消失。
Output
输出包含T行。在第i行中,如果第i时间段内这个图是二分图,那么输出“Yes”,否则输出“No”,不含引号。
Sample Input
3 3 3
1 2 0 2
2 3 0 3
1 3 1 2
Sample Output
Yes
No
Yes
HINT
样例说明:
0时刻,出现两条边1-2和2-3。
第1时间段内,这个图是二分图,输出Yes。
1时刻,出现一条边1-3。
第2时间段内,这个图不是二分图,输出No。
2时刻,1-2和1-3两条边消失。
第3时间段内,只有一条边2-3,这个图是二分图,输出Yes。
数据范围:
n<=100000,m<=200000,T<=100000,1<=u,v<=n,0<=start<=end<=T。
感觉是套路
不过没关系,就是连连线段树分治
有一些需要注意的细节
dfs的时候就算到达了叶节点别忘了删除加入的边
并查集合并需要启发式的,并且需要用异或值来维护路径奇偶性
然后如果当前加入边,一定要保证\((u,v)\)距离是奇数,所以用异或计算一下合并根节点的距离
注意清空dep这个数组
剩下的就很套路的分解线段,很套路的dfs,很套路的并查集维护就可以了
//Author: dream_maker
#include<bits/stdc++.h>
using namespace std;
//----------------------------------------------
//typename
typedef long long ll;
//convenient for
#define fu(a, b, c) for (int a = b; a <= c; ++a)
#define fd(a, b, c) for (int a = b; a >= c; --a)
#define fv(a, b) for (int a = 0; a < (signed)b.size(); ++a)
//inf of different typename
const int INF_of_int = 1e9;
const ll INF_of_ll = 1e18;
//fast read and write
template <typename T>
void Read(T &x) {
bool w = 1;x = 0;
char c = getchar();
while (!isdigit(c) && c != '-') c = getchar();
if (c == '-') w = 0, c = getchar();
while (isdigit(c)) {
x = (x<<1) + (x<<3) + c -'0';
c = getchar();
}
if (!w) x = -x;
}
template <typename T>
void Write(T x) {
if (x < 0) {
putchar('-');
x = -x;
}
if (x > 9) Write(x / 10);
putchar(x % 10 + '0');
}
//----------------------------------------------
const int N = 2e5 + 10;
#define mp make_pair
#define fi first
#define se second
typedef pair<int, int> pi;
typedef pair<pi, pi> pii;
#define LD (t << 1)
#define RD (t << 1 | 1)
vector<pi> g[N << 2];
void modify(int t, int l, int r, int ql, int qr, pi edge) {
if (ql <= l && r <= qr) {
g[t].push_back(edge);
return;
}
int mid = (l + r) >> 1;
if (qr <= mid) modify(LD, l, mid, ql, qr, edge);
else if (ql > mid) modify(RD, mid + 1, r, ql, qr, edge);
else {
modify(LD, l, mid, ql, mid, edge);
modify(RD, mid + 1, r, mid + 1, qr, edge);
}
}
stack<pair<pii, pi> > st;
int dep[N], height[N], fa[N];
int ans = 1;
int Find(int x) {
if (x == fa[x]) return x;
return Find(fa[x]);
}
int Getdep(int x) {
if (x == fa[x]) return 0;
return dep[x] ^ Getdep(fa[x]);
}
void Merge(int u, int v) {
int fau = Find(u), fav = Find(v);
st.push(mp(mp(mp(fau, fav), mp(height[fau], height[fav])), mp(ans, fau != fav)));
int w = Getdep(u) ^ Getdep(v);
if (fau == fav) {
if (!(w & 1)) ans = 0;
return;
}
if (height[fau] == height[fav]) {
fa[fav] = fau;
dep[fav] = w ^ 1;
++height[fau];
} else if (height[fau] > height[fav]) {
fa[fav] = fau;
dep[fav] = w ^ 1;
} else {
fa[fau] = fav;
dep[fau] = w ^ 1;
}
}
void Delete() {
pair<pii, pi> now = st.top(); st.pop();
ans = now.se.fi;
if (!now.se.se) return;
int u = now.fi.fi.fi, heightu = now.fi.se.fi;
int v = now.fi.fi.se, heightv = now.fi.se.se;
if (heightu == heightv) {
fa[v] = v;
dep[v] = 0;
--height[u];
} else if (heightu > heightv) {
fa[v] = v;
dep[v] = 0;
} else {
fa[u] = u;
dep[u] = 0;
}
}
void dfs(int t, int l, int r) {
fv(i, g[t]) Merge(g[t][i].fi, g[t][i].se);
if (!ans) {
fu(i, l, r) printf("No\n");
} else {
if (l == r) {
printf("Yes\n");
} else {
int mid = (l + r) >> 1;
dfs(LD, l, mid);
dfs(RD, mid + 1, r);
}
}
fv(i, g[t]) Delete();
}
int n, m, T;
int main() {
freopen("input.txt", "r", stdin);
Read(n), Read(m), Read(T);
fu(i, 1, n) fa[i] = i, height[i] = 1, dep[i] = 1;
fu(i, 1, m) {
int u, v, s, t;
Read(u), Read(v), Read(s), Read(t);
if (++s > t) continue;
modify(1, 1, T, s, t, mp(u, v));
}
dfs(1, 1, T);
return 0;
}
BZOJ4025: 二分图【线段树分治】【带撤销的并查集】的更多相关文章
- [BZOJ 4025]二分图(线段树分治+带边权并查集)
[BZOJ 4025]二分图(线段树分治+带边权并查集) 题面 给出一个n个点m条边的图,每条边会在时间s到t出现,问每个时间的图是否为一个二分图 \(n,m,\max(t_i) \leq 10^5\ ...
- BZOJ4025 二分图 线段树分治、带权并查集
传送门 如果边不会消失,那么显然可以带权并查集做(然后发现自己不会写带权并查集) 但是每条边有消失时间.这样每一条边产生贡献的时间对应一段区间,故对时间轴建立线段树,将每一条边扔到线段树对应的点上. ...
- bzoj4025二分图(线段树分治 并查集)
/* 思维难度几乎没有, 就是线段树分治check二分图 判断是否为二分图可以通过维护lct看看是否链接出奇环 然后发现不用lct, 并查集维护奇偶性即可 但是复杂度明明一样哈 */ #include ...
- [BZOJ4025]二分图(线段树分治,并查集)
4025: 二分图 Time Limit: 20 Sec Memory Limit: 512 MBSubmit: 2191 Solved: 800[Submit][Status][Discuss] ...
- bzoj 4025 二分图——线段树分治+LCT
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4025 线段树分治,用 LCT 维护链的长度即可.不过很慢. 正常(更快)的方法应该是线段树分 ...
- 洛谷P3247 [HNOI2016]最小公倍数(分块 带撤销加权并查集)
题意 题目链接 给出一张带权无向图,每次询问\((u, v)\)之间是否存在一条路径满足\(max(a) = A, max(b) = B\) Sol 这题居然是分块..想不到想不到..做这题的心路历程 ...
- 线段树分治总结(线段树分治,线段树,并查集,树的dfn序,二分图染色)
闲话 stO猫锟学长,满脑子神仙DS 网上有不少Dalao把线段树分治也归入CDQ分治? 还是听听YCB巨佬的介绍: 狭义:只计算左边对右边的贡献. 广义:只计算外部对内部的贡献. 看来可以理解为广义 ...
- 线段树分治初步学习&洛谷P5227[AHOI2013]连通图
线段树分治 其实思想说起来是比较简单的,我们把这个题里的所有操作(比如连边删边查询balabala)全部拍到一棵线段树上,然后对着整棵树dfs一下求解答案,顺便把操作做一下,回溯的时候撤销一下即可.虽 ...
- BZOJ3237:[AHOI2013]连通图(线段树分治,并查集)
Description Input Output Sample Input 4 5 1 2 2 3 3 4 4 1 2 4 3 1 5 2 2 3 2 1 2 Sample Output Connec ...
随机推荐
- Smarty 函数
html_checkboxes 自定义函数 html_checkboxes 根据给定的数据创建复选按钮组. 该函数可以指定哪些元素被选定. 要么必须指定 values 和 ouput 属性,要么指定 ...
- Scrapy:学习笔记(1)——XPath
Scrapy:学习笔记(1)——XPath 1.快速开始 XPath是一种可以快速在HTML文档中选择并抽取元素.属性和文本的方法. 在Chrome,打开开发者工具,可以使用$x工具函数来使用XPat ...
- 【开源】检查更新程序 CheckUpdate.Net 的实现
访问最新源代码及更新历史:http://git.oschina.net/xcong/CheckUpdate.Net DownLoad 更新历史 version 1.2 [新增]添加UpdateFile ...
- JAVA volatile 解析
volatile这个关键字可能很多朋友都听说过,或许也都用过.在Java 5之前,它是一个备受争议的关键字,因为在程序中使用它往往会导致出人意料的结果.在Java 5之后,volatile关键字才得以 ...
- 20145333《网络对抗》Exp2 后门原理与实践
20145333<网络对抗>Exp2 后门原理与实践 1.基础问题回答 (1)例举你能想到的一个后门进入到你系统中的可能方式? 通过邮件发送,邮箱里经常受到一些陌生人发来的链接. 误入了一 ...
- linux下 ip指令
目录 Network ip command Command :ip 简介 内容 Network ip command Command :ip 简介 ip 是個指令喔!並不是那個 TCP/IP 的 IP ...
- Docker 安装&基本操作
Docker 安装 Docker 中的三个概念:镜像,容器,仓库 镜像(image):Docker 镜像就是一个只读的模板,镜像可以用来创建 Docker 容器.Docker 提供了一个很简单的机制来 ...
- CCNA学习指南 -开放最短路径优先OSPF(多区域部分)
在之前的介绍中,可以看到单区域OSPF对于古老的RIP的优点: 路由选择更新流量减小 使用与大型网络和链路速度不一样的网络 OSPF能够在LSDB中呈现网络拓扑结构,这使得它汇聚的速度远快于RIP. ...
- POJ 3320 Jessica‘s Reading Problem(哈希、尺取法)
http://poj.org/problem?id=3320 题意:给出一串数字,要求包含所有数字的最短长度. 思路: 哈希一直不是很会用,这道题也是参考了别人的代码,想了很久. #include&l ...
- append 注意事项
>>> t1 = [, ] >>> t2 = t1.append() >>> t1 [, , ] >>> t2 None