【省内训练2018-09-13】Link Cut Digraph

最新推荐文章于 2024-08-10 08:41:04 发布

cz_xuyixuan

最新推荐文章于 2024-08-10 08:41:04 发布

阅读量510

点赞数 1

分类专栏：【类型】做题记录【算法】Tarjan算法【算法】CDQ分治与整体二分

本文链接：https://blog.csdn.net/qq_39972971/article/details/82694497

版权

【类型】做题记录同时被 3 个专栏收录

767 篇文章 2 订阅

订阅专栏

【资料】好题

145 篇文章 0 订阅

订阅专栏

【算法】CDQ分治与整体二分

17 篇文章 0 订阅

订阅专栏

【思路要点】

首先，我们将问题转化一下，我们希望求出每条边连接的两个点在什么时候开始能够相互到达。
对于此类连通性问题，考虑整体二分：
令 $s o l v e (l, r, S)$ 表示已经确定 $S$ 中的边连接的两个点在第 $l$ 条边到第 $r$ 条边中的某一条边被加入时开始变得连通，并在加入过第 $1$ 条边到第 $l - 1$ 条边、缩过点的的图上处理该子问题。
注意 “已经确定 $S$ 中的边连接的两个点在第 $l$ 条边到第 $r$ 条边中的某一条边被加入时开始变得连通” ，因此我们不必考虑第 $1$ 条边到第 $l - 1$ 条边中没有被缩起来的边。
令 $mid=\lfloor\frac{l+r}{2}\rfloor$ ，我们加入 $S$ 中编号在 $m i d$ 以内的边，仅考虑这些边，运行一遍 $T a r j a n$ 算法，令 $S$ 中两端在同一个强联通分量中的边集为 $S L$ ， $S$ 中两端不在同一个强联通分量中的边集为 $S R$ ，分别执行 $s o l v e (l, m i d, S L), s o l v e (m i d + 1, r, S R)$ 即可。
时间复杂度 $O (N + M L o g M)$ 。

【代码】

#include<bits/stdc++.h>
using namespace std;
const int MAXN = 3e5 + 5;
template <typename T> void chkmin(T &x, T y) {x = min(x, y); }
template <typename T> void read(T &x) {
	x = 0; int f = 1;
	char ch = getchar();
	for (; !isdigit(ch); ch = getchar()) if (ch == '-') f = -f;
	for (; isdigit(ch); ch = getchar()) x = x * 10 + ch - '0';
	x *= f;
}
int n, m;
int x[MAXN], y[MAXN];
int f[MAXN], size[MAXN];
long long ans[MAXN];
int top, Stack[MAXN];
int comp, belong[MAXN];
int timer, dfn[MAXN], low[MAXN];
bool instack[MAXN];
vector <int> a[MAXN];
void tarjan(int pos) {
	dfn[pos] = low[pos] = ++timer;
	Stack[++top] = pos; instack[pos] = true;
	for (unsigned i = 0; i < a[pos].size(); i++)
		if (dfn[a[pos][i]] == 0) {
			tarjan(a[pos][i]);
			chkmin(low[pos], low[a[pos][i]]);
		} else if (instack[a[pos][i]]) chkmin(low[pos], dfn[a[pos][i]]);
	if (low[pos] == dfn[pos]) {
		int tmp = Stack[top--];
		instack[tmp] = false;
		comp = tmp;
		belong[tmp] = tmp;
		while (tmp != pos) {
			tmp = Stack[top--];
			instack[tmp] = false;
			belong[tmp] = comp;
		}
	}
}
int F(int x) {
	if (f[x] == x) return x;
	else return f[x] = F(f[x]);
}
int tot, col[MAXN];
void work(int l, int r, vector <int> e) {
	int mid = (l + r) / 2; tot++;
	vector <int> newpoint;
	for (unsigned i = 0; i < e.size(); i++)
		if (e[i] <= mid) {
			int tx = F(x[e[i]]), ty = F(y[e[i]]);
			if (col[tx] != tot) {
				col[tx] = tot;
				a[tx].clear();
				dfn[tx] = low[tx] = 0;
				newpoint.push_back(tx);
			}
			if (col[ty] != tot) {
				col[ty] = tot;
				a[ty].clear();
				dfn[ty] = low[ty] = 0;
				newpoint.push_back(ty);
			}
			a[tx].push_back(ty);
		}
	for (unsigned i = 0; i < newpoint.size(); i++)
		if (dfn[newpoint[i]] == 0) tarjan(newpoint[i]);
	if (l == r) {
		long long delta = 0;
		for (unsigned i = 0; i < newpoint.size(); i++) {
			int tmp = newpoint[i];
			if (F(tmp) != F(belong[tmp])) {
				delta += 1ll * size[F(belong[tmp])] * size[F(tmp)];
				size[F(belong[tmp])] += size[F(tmp)];
				f[F(tmp)] = F(belong[tmp]);
			}
		}
		ans[l] = ans[l - 1] + delta;
	} else {
		vector <int> el, er;
		for (unsigned i = 0; i < e.size(); i++) {
			int tx = F(x[e[i]]), ty = F(y[e[i]]);
			if (col[tx] == tot && col[ty] == tot && belong[tx] == belong[ty]) el.push_back(e[i]);
			else er.push_back(e[i]);
		}
		work(l, mid, el);
		work(mid + 1, r, er);
	}
}
int main() {
	read(n), read(m);
	for (int i = 1; i <= n; i++) {
		size[i] = 1;
		f[i] = i;
	}
	vector <int> tmp;
	for (int i = 1; i <= m; i++) {
		read(x[i]), read(y[i]);
		tmp.push_back(i);
	}
	work(1, m, tmp);
	for (int i = 1; i <= m; i++)
		printf("%lld\n", ans[i]);
	return 0;
}