P5787 二分图 /【模板】线段树分治

最新推荐文章于 2021-11-08 23:46:31 发布
最新推荐文章于 2021-11-08 23:46:31 发布
阅读量123 收藏
点赞数
分类专栏： 数据结构基本算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/zhaoxinxin1234/article/details/104548035
版权

①、前置知识：扩展域并查集（种类并查集）：
P2024 [NOI2001]食物链
动物王国中有三类动物 A,B,C，这三类动物的食物链构成了有趣的环形。A 吃 B，吃 C， 吃 A。

现有 N 个动物，以 1 － N 编号。每个动物都是 A,B,C 中的一种，但是我们并不知道

它到底是哪一种。

有人用两种说法对这 N 个动物所构成的食物链关系进行描述：

第一种说法是“1 X Y”，表示 X 和 Y 是同类。

第二种说法是“2 X Y”，表示 X 吃 Y 。

此人对 N 个动物，用上述两种说法，一句接一句地说出 K 句话，这 K 句话有的是真

的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。

• 当前的话与前面的某些真的话冲突，就是假话

• 当前的话中 X 或 Y 比 N 大，就是假话

• 当前的话表示 X 吃 X，就是假话

你的任务是根据给定的 N 和 K 句话，输出假话的总数。

输入格式
从 eat.in 中输入数据

第一行两个整数，N，K，表示有 N 个动物，K 句话。

第二行开始每行一句话（按照题目要求，见样例）

输出格式
输出到 eat.out 中

一行，一个整数，表示假话的总数。

#include <iostream>
#include <string>
#include <cstdio>
#include <cstring>
#define ll long long
using namespace std;
const int maxn = 200100;
int f[maxn];

int fi(int x)
{
	if (x != f[x])
		f[x] = fi(f[x]);
	return f[x];
}

int n, k;
int pos, x, y;

int main(void)
{
	int ans = 0;
	scanf("%d%d", &n,&k);
	for (int i = 1;i <= n * 3;i++)
		f[i] = i;
	for (int i = 1;i <= k;i++)
	{
		scanf("%d%d%d", &pos, &x, &y);
		if (x > n || y > n)
		{
			ans++;
			continue;
		}

		if (pos == 1)
		{
			if (fi(x + n) == fi(y) || fi(x) == fi(y + n)) ans++;
			else
			{
				f[fi(x)] = fi(y);
				f[fi(x + n)] = fi(y + n);
				f[fi(x + n * 2)] = fi(y + n * 2);
			}
		}
		else if (pos == 2)
		{
			if (fi(x) == fi(y) || fi(x) == fi(y + n)) ans++;
			else
			{
				f[fi(x + n)] = fi(y);
				f[fi(x + 2 * n)] = fi(y + n);
				f[fi(x)] = fi(y + 2 * n);
			}
		}
	}
	printf("%d\n", ans);
	return 0;
}

②、P5787 二分图 /【模板】线段树分治：
（一）扩展域并查集：

#include <iostream>
#include <string>
#include <cstdio>
#include <cstring>
#include <vector>
#include <map>
#include <stack>
#define ll long long
#define pr make_pair
#define pb push_back
using namespace std;
const int maxn = 100100;
int f[maxn << 1], d[maxn << 1], x[maxn << 1], y[maxn << 1], n, m, k;
stack<pair<int, int> >st;

struct node
{
	int l, r;
	vector<int>vc;
}t[maxn<<2];

int fi(int x)
{
	while (x != f[x]) x = f[x];
	return x;
}

void build(int l, int r, int cnt)
{
	t[cnt].l = l, t[cnt].r = r;
	t[cnt].vc.clear();
	if (l == r) return;
	int mid = (l + r) >> 1;
	build(l, mid, cnt << 1);
	build(mid + 1, r, cnt << 1 | 1);
}

void _insert(int l, int r, int cnt, int x)
{
	if (l <= t[cnt].l && t[cnt].r <= r)
	{
		t[cnt].vc.pb(x);
		return;
	}
	if (t[cnt << 1].r >= l) _insert(l, r, cnt << 1, x);
	if (t[cnt << 1 | 1].l <= r) _insert(l, r, cnt << 1 | 1, x);
}

void _merge(int x, int y)
{
	int xx = fi(x), yy = fi(y);
	if (xx == yy) return;
	if (d[xx] > d[yy]) swap(xx, yy);
	st.push(pr(xx, d[xx] == d[yy]));
	f[xx] = yy;
	d[yy] += (d[xx] == d[yy]);
}

void dfs(int l, int r, int cnt)
{
	bool flag = true;
	int now = st.size();
	for (int i = 0;i < t[cnt].vc.size();i++)
	{
		int pos = t[cnt].vc[i];
		int nx = fi(x[pos]), ny = fi(y[pos]);
		if (nx == ny)
		{
			for (int j = l;j <= r;j++)
				printf("No\n");
			flag = false;
			break;
		}
		_merge(x[pos], y[pos] + n);
		_merge(x[pos] + n, y[pos]);
	}
	if (flag)
	{
		
		if (l == r) printf("Yes\n");
		else
		{
			dfs(t[cnt << 1].l, t[cnt << 1].r, cnt << 1);
			dfs(t[cnt << 1 | 1].l, t[cnt << 1 | 1].r, cnt << 1 | 1);
		}
	}
	while (st.size() > now)
	{
		d[f[st.top().first]] -= st.top().second;
		f[st.top().first] = st.top().first;
		st.pop();
	}
}

int main(void)
{
	scanf("%d%d%d", &n, &m, &k);

	for (int i = 1;i <= n * 2;i++)
		f[i] = i;

	build(1, k, 1);

	int l, r;
	for (int i = 1;i <= m;i++)
	{
		scanf("%d%d%d%d", &x[i], &y[i], &l, &r);
		if (l == r) continue;
		_insert(l+1, r, 1, i);
	}

	dfs(1, k, 1);

	return 0;
}

（二）并查集上维护权值
好久没写带权值的并查集了。。都忘干净了。
val表示的是x到f【x】的权值。。。

#include <iostream>
#include <string>
#include <cstdio>
#include <cstring>
#include <vector>
#include <map>
#include <stack>
#define ll long long
#define pr make_pair
#define pb push_back
using namespace std;
const int maxn = 100100;
int f[maxn], d[maxn], val[maxn], x[maxn << 1], y[maxn << 1], n, m, k;
stack<pair<int, int> >st;

struct node
{
	int l, r;
	vector<int>vc;
}t[maxn<<2];

int fi(int x,int &cnt)
{
	while (x != f[x]) cnt += val[x], x = f[x];
	return x;
}

void build(int l, int r, int cnt)
{
	t[cnt].l = l, t[cnt].r = r;
	t[cnt].vc.clear();
	if (l == r) return;
	int mid = (l + r) >> 1;
	build(l, mid, cnt << 1);
	build(mid + 1, r, cnt << 1 | 1);
}

void _insert(int l, int r, int cnt, int x)
{
	if (l <= t[cnt].l && t[cnt].r <= r)
	{
		t[cnt].vc.pb(x);
		return;
	}
	if (t[cnt << 1].r >= l) _insert(l, r, cnt << 1, x);
	if (t[cnt << 1 | 1].l <= r) _insert(l, r, cnt << 1 | 1, x);
}

void _merge(int xx, int yy,int nx,int ny)
{
	if (xx == yy) return;
	if (d[xx] > d[yy]) swap(xx, yy),swap(nx,ny);
	st.push(pr(xx, d[xx] == d[yy]));
	//cout << "xx:  " << xx << "  yy:  " << yy << endl;
	f[xx] = yy;
	val[xx] = -val[nx] + val[ny] + 1;
	d[yy] += (d[xx] == d[yy]);
}

void dfs(int l, int r, int cnt)
{
	bool flag = true;
	int now = st.size();
	for (int i = 0;i < t[cnt].vc.size();i++)
	{
		int pos = t[cnt].vc[i], cntx = 0, cnty = 0;
		int nx = fi(x[pos],cntx), ny = fi(y[pos],cnty);
		//cout << x[pos] << "  " << val[pos[x]] << "  " << y[pos] << "  " << val[pos[y]] << endl;
		//cout << f[x[pos]] << "  " << f[y[pos]] << endl;
		if (nx == ny && (cntx+cnty) % 2 == 0)
		{
			for (int j = l;j <= r;j++)
				printf("No\n");
			flag = false;
			break;
		}
		_merge(nx, ny,pos[x],pos[y]);
	}
	if (flag)
	{
		
		if (l == r) printf("Yes\n");
		else
		{
			dfs(t[cnt << 1].l, t[cnt << 1].r, cnt << 1);
			dfs(t[cnt << 1 | 1].l, t[cnt << 1 | 1].r, cnt << 1 | 1);
		}
	}
	while (st.size() > now)
	{
		d[f[st.top().first]] -= st.top().second;
		f[st.top().first] = st.top().first;
		val[st.top().first] = 0;
		st.pop();
	}
}

int main(void)
{
	scanf("%d%d%d", &n, &m, &k);

	for (int i = 1;i <= n;i++)
		f[i] = i;

	build(1, k, 1);

	int l, r;
	for (int i = 1;i <= m;i++)
	{
		scanf("%d%d%d%d", &x[i], &y[i], &l, &r);
		if (l == r) continue;
		_insert(l+1, r, 1, i);
	}

	dfs(1, k, 1);

	return 0;
}

据说 lct 也能写。。
再说吧，已经好久没写过 lct 了。

_Shmily
关注
专栏目录
SSL集训 2021.08.18 提高B组 T4 graph【线段树分治】
JA_yichao欢迎你 cnblogs账号：https://www.cnblogs.com/mayichao/
08-18 95
SSL集训
【学习笔记】线段树分治
最新发布
B2214pkq的博客
08-09 100
线段树分治是一种解决一类有插入、删除和整体查询操作的问题的方法。它是一种离线做法，通过在线段树上记录操作的时间区间来处理修改对询问的影响。每个操作被看作一个时间区间的修改，并在线段树上进行标记。然后通过深度优先搜索（DFS）依次执行这些操作，直到根节点来回答查询，并在离开时将其撤销。
P5787 二分图 /【模板】线段树分治 （LCT维护删边时间最大的生成树）
_Griefs
08-25 156
题目链接 题面： 题解： 一直也没用LCT写过题，这算是LCT写的第一个题了吧。 我们用LCT维护一个删边时间最大的生成树。 对于某一时刻在图中而不在树中的边我们开个数组标记一下。并开个变量记录一下奇环的数量。 插入一条边时，若插入后不会成环则直接插入。如插入后会成环，则把环中的删除时间最早的边在LCT中删除，插入当前边（如果当前边是删除时间最早的，那么不删除不插入），标记所删除的边，并维护奇环的数量。 删除一条边时，先检查是否是已标记的边。如果不是已标记的边，则在LCT中将这条边删除。否则修改标记并维护
【BZOJ4025】 二分图（线段树分治）
araw94333的博客
03-27 166
传送门 BZOJ Solution 只是为了学习一下线段树分治的啦！ 当你学会线段树分治之后，可以跳过下面的一部分： 按照时间搞一颗线段树出来，把包含这段区间的操作用vector压进去。 每一个线段树的节点代表一段时间（没问题吧） 到了某一个节点，把这个节点上面的所有操作做好，然后递归儿子，最后消除影响。 接下来的就是这道题目怎么做了。 显然可以带权并查集维护是否是个二分图对吧。然后...
P5787 二分图 /【模板】线段树分治（线段树分治、并查集）
BUG_Creater_jie的博客
11-08 163
关于什么是合理的实现 解析 本题把并查集写在了题面上 然而，我却一直沉浸在一个及其通用的判断二分图的方法中： 一个图是二分图的充要条件是它没有奇环 怎么维护这个玩意？带权并查集！ 怎么套线段树分治？可持久化！ 就这样，口胡完一个写起来几乎不可写的《正解》后，我却没有勇气把它实现… 因为可持久化的带权并查集再套个线段树…这玩意一听就没200行写不来啊… 而且最关键的是，本大聪明又动了动装着一片大海的脑瓜，发现这个东西似乎是3log了… 然后…就恬不知耻的点进了题解 然后…看完题解…就无地自容的点了出来.
线段树分治
ZXCVzzzzz的博客
08-24 674
线段树分治 主要思想 通过线段树的结构，对时间进行分治,从而在O(nlog2n)O(nlog_2n)O(nlog2​n)的时间中维护出每一次询问的状态。是一种离线算法，如果不带修改,一般也可以用CDQ分治替换。 算法结构 代码模板 #include<bits/stdc++.h> using namespace std; struct node{ int x , y , st , ed; }; const int N = 100005 , M = 200005 , T = 100005 ;
线段树分治——学习笔记
流水
02-20 339
题目的一些特征和思路 给你若干操作，每一个操作的作用时间范围为[l,r][l, r][l,r]，然后让你求每一个时刻下 (题目要求) 的结果 或是没有说明操作时间，我们以操作个数为时间，当某些操作完全相同，则可以合并。 如第1,2,31,2,31,2,3个操作一样的，那么我们可以在[1,3][1, 3][1,3]的时间上都做相同的修改，而不必分别在[1,1][1,1][1,1],[2,2][2,2...
【洛谷 P5787】二分图 线段树分治【二分图】【线段树分治】
在人间贩卖声音
08-18 354
解题思路 题目大意：一张图有 n 个节点的图， 在 k 时间中会出现 m 条边，表示有一条连接 x,y 的边在 l 时刻出现 r 时刻消失，求问在第 i 个时间段中图是否为二分图。 先对于二分图来分析： 如果顶点 V 可分割为两个互不相交的子集 (A,B) ，并且图中的每条边 (i,j)所关联的两个顶点 i 和 j 分别属于这两个不同的顶点集 (i∈A,j∈B) ，则称图 G 为一个二分图。 —— 百度百科。 在一般的做法中对于一个图是否为二分图，我们一般是采用染色法，如果一个图为二分图，那么一条边...
【BZOJ4025】二分图（线段树分治，并查集）
weixin_30344131的博客
08-19 97
【BZOJ4025】二分图（线段树分治，并查集） 题面 BZOJ 题解 是一个二分图，等价于不存在奇环。 那么直接线段树分治，用并查集维护到达根节点的距离，只计算就好了。 #include<iostream> #include<cstdio> #include<cstdlib> #include<cstring> #include<cmath&...
bzoj4025(二分图 线段树分治+带权并查集模板)
qq_42576687的博客
09-15 152
题目 这是线段树分治的模板把。。将每条边的存活时间放到时间线段树里。注意带权并查集。 #include<cstdio> #include<algorithm> #include<vector> using namespace std; typedef pair<int,int>pii; const int N=1e5+5; struct Update...
P5787 二分图 /线段树分治 或 lct
weixin_43824564的博客
06-11 177
没有奇环的图就是二分图，所以我们要想办法去维护一个图里面有没有二分图。 线段树分治的做法：以时间建立线段树，对于每一条边的出现与消失时间，我们通过区间更新把这条边挂在线段树的结点上，最后对线段树进行一次遍历。搜索的时候加边，回溯撤销边。用扩展域并查集判断是否为二分图，因为要撤销边，所以并查集得是可撤销的，并且不能路径压缩，同时为了保证复杂度必须按秩合并。 并查集判断二分图的方法是 对于每一条加入的边 (u,v) 如果u,v已经联通 那么不是二分图,否则合并(u,v+n),(v,u+n) 整个复杂度 .
二分图前期基础知识
忆_恒心的博客
05-02 328
二分图前期基础知识           本文重点工作不在于对算法进行研究，而是对研究前的一些基础知识的补充与完善二分图：简单来说，如果图中点可以被分为两组，并且使得所有边都跨越组的边界，则这就是一个二分图。准确地说：把一个图的顶点划分为两个不相交集 UU 和VV ，使得每一条边都分别连接UU、VV中的顶点。如果存在这样的划分，则此图为一个二分图。二分图的一个等价定义是：不含有「含奇数条边的环」的图...
不可视境界线（inv） KD-Tree 模板
_Griefs
08-24 1361
这个题可以转化一下。 dp [ i ] = min ( dp [ i ] , sqrt ( dp [ j ] * dp [ j ] + dis ( i , j ) ) ) i点 ( 0 , ai1 , ai2 ) j点 ( dpj , aj1 , aj2) 就是求 i 点之前距离 i 最近的点。 其中： k=1时是二维坐标。 k=2时是三维坐标。 #include<iostream&gt...
最近公共祖先（LCA）
_Griefs
08-24 1231
一、基本概念：   给定一棵有根树，若节点z既是节点x的祖先，也是节点y的祖先，则称z是x，y的公共祖先。在x，y的所有公共祖先中，深度最大的一个称为x，y的最近公共祖先，记为LCA（x，y）。   LCA（x，y）是x到根的路径与y到根的路径的交汇点。它也是x与y之间的路径上深度最小的节点。求最近公共祖先的方法通常有五种。   在此介绍三种，另外两种还没学。 二、向上标记法：   从x向上走到根...
哈夫曼树，哈夫曼编码：
_Griefs
08-24 942
一、哈夫曼树： ①、 P1090 合并果子： 题目描述 在一个果园里，多多已经将所有的果子打了下来，而且按果子的不同种类分成了不同的堆。多多决定把所有的果子合成一堆。 每一次合并，多多可以把两堆果子合并到一起，消耗的体力等于两堆果子的重量之和。可以看出，所有的果子经过 n-1次合并之后， 就只剩下一堆了。多多在合并果子时总共消耗的体力等于每次合并所耗体力之和。 因为还要花大力气把这些果子搬回家，所...
树状数组
_Griefs
08-24 526
一、树状数组的基本应用：   其基本用途是维护前缀和。对于给定的序列a，我们建立一个数组c，c（x）保存序列a的区间[x-lowbit（x）+1，x]中所有数的前缀和。      事实上，数组c可以看作一个树形结构。叶子节点为a[1–N]。   （1）每个内部节点c（x）保存以它为根的子树中所有叶节点的和。   （2）每个内部节点c（x）的子节点个数等于lowbit（x）的位数。   （3）除树根...
生成树计数
_Griefs
08-24 460
一、生成树计数： 例①：Highways SPOJ - HIGH In some countries building highways takes a lot of time… Maybe that’s because there are many possiblities to construct a network of highways and engineers can’t make u...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值