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 ...
随机推荐
- 5.8 Components — Composing Components(组合组件)
一.概述 当你通过和另外一个组件组合的时候,组件就会真正发挥它们的所有潜能.比如<ul>元素,只有<li>元素是适合作为它的子元素的.如果我们希望同样类型的行为,那么我们就必须 ...
- MDI QMdiArea 多文档区域
Qt下创建类似window平台的MDI多文档区域使用QMdiArea QMdiArea * mdiArea; mdiArea = new QMdiArea(this); //A widget 为win ...
- Hello 2019 Solution
A. Gennady and a Card Game 签到. #include <bits/stdc++.h> using namespace std; ], t[]; bool solv ...
- hdu 5185 动态规划 分析降低复杂度
这题说的是 x[1]+x[2]+x[3]+…+x[n]=n, 这里 0 <= x[i] <= n && 1 <= i <= n x[i] <= x[i+1 ...
- POI之Excel导出
1,在maven的pom文件中添加依赖 <dependency> <groupId>org.apache.poi</groupId> <artifactId& ...
- 利用MyBatis生成器自动生成实体类、DAO接口和Mapping映射文件
1. mybatis-generator-core-1.3.5.jar 下载地址:https://github.com/mybatis/generator/releases 2. msyql-conn ...
- Spring Data JPA中CrudRepository与JpaRepository的不同
使用Spring Data JPA CrudRepository 和JpaRepository 的好处: 继承这些接口,可以使Spring找到自定义的数据库操作接口,并生成代理类,后续可以注入到Spr ...
- Java静态内存与动态内存分配的解析
1. 静态内存 静态内存是指在程序开始运行时由编译器分配的内存,它的分配是在程序开始编译时完成的,不占用CPU资源. 程序中的各种变量,在编译时系统已经为其分配了所需的内存空间,当该变量在作用域内使用 ...
- Ubuntu 安装zookeeper
下载zookeeper Zookeeper下载 下载以后将文件迁移到/home/Hadoop/文件夹下面 hongdada@ubuntu:~/Downloads$ sudo mv zookeepe ...
- Cache与主存地址映像计算例题
一.全相连映像 主存中任何一个块均可以映像装入到Cache中的任何一个块的位置上.主存地址分为块号和块内地址两部分,Cache地址也分为块号和块内地址.Cache的块内地址部分直接取自主存地址的块内地 ...