圆方树

圆方树

单纯贴个板子。。。

https://loj.ac/problem/2587

#include <vector>
#include <list>
#include <map>
#include <set>
#include <deque>
#include <queue>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <string>
#include <cstring>
#include <ctime>
#include <cassert>
#include <string.h>
//#include <unordered_set>
//#include <unordered_map>
//#include <bits/stdc++.h>

#define MP(A,B) make_pair(A,B)
#define PB(A) push_back(A)
#define SIZE(A) ((int)A.size())
#define LEN(A) ((int)A.length())
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define fi first
#define se second

using namespace std;

template<typename T>inline bool upmin(T &x,T y) { return y<x?x=y,1:0; }
template<typename T>inline bool upmax(T &x,T y) { return x<y?x=y,1:0; }

typedef long long ll;
typedef unsigned long long ull;
typedef long double lod;
typedef pair<int,int> PR;
typedef vector<int> VI;

const lod eps=1e-11;
const lod pi=acos(-1);
const int oo=1<<30;
const ll loo=1ll<<62;
const int mods=1e9+7;
const int MAXN=600005;
const int INF=0x3f3f3f3f;//1061109567
/*--------------------------------------------------------------------*/
inline int read()
{
	int f=1,x=0; char c=getchar();
	while (c<'0'||c>'9') { if (c=='-') f=-1; c=getchar(); }
	while (c>='0'&&c<='9') { x=(x<<3)+(x<<1)+(c^48); c=getchar(); }
	return x*f;
}
ll ans=0;
int low[MAXN],dfn[MAXN],bsize[MAXN],stac[MAXN],val[MAXN];
int size[MAXN],n,m,Size,top=0,DFN=0,bnum=0;
vector<int> e[MAXN],E[MAXN];
void add_edge(int u,int v){ E[u].PB(v),E[v].PB(u); }
void tarjan(int x,int father)
{	
	low[x]=dfn[x]=++DFN;
	stac[++top]=x;
	size[x]=1;
	for (int i=0;i<e[x].size();i++)
	{
		int to=e[x][i];
		if (to==father) continue;
		if (!dfn[to])
		{
			tarjan(to,x);
			low[x]=min(low[x],low[to]);
			if (low[to]>=dfn[x])
			{
				int y;
				bsize[++bnum]=1;
				add_edge(n+bnum,x);
				while (y=stac[top--])
				{
					size[n+bnum]+=size[y];
					add_edge(n+bnum,y);
					bsize[bnum]++;
					if (to==y) break;
				}
				size[x]+=size[bnum+n];
				val[bnum+n]=bsize[bnum];
			}
		}
		else low[x]=min(low[x],dfn[to]);
	}
}
void tree_dp(int x,int father)
{
	for (int i=0;i<E[x].size();i++)
		if (E[x][i]!=father) tree_dp(E[x][i],x);
	ll cnt=0,sum=0;
	if (x<=n) sum++;
	for (int i=0;i<E[x].size();i++)
		if (E[x][i]!=father)
		{
			int to=E[x][i];
			cnt+=1ll*size[to]*sum*2;
			sum+=size[to];
		}
	cnt+=1ll*size[x]*(Size-size[x])*2;
	ans+=cnt*val[x];
	//cout<<cnt<<" "<<val[x]<<" "<<size[x]*(Size-size[x])*2<<endl;
}
int main()
{
    n=read(),m=read();
    for (int i=1;i<=m;i++)
	{
		int u=read(),v=read();
		e[u].PB(v);
		e[v].PB(u);
	}	
	for (int i=1;i<=n;i++) val[i]=-1;
	for (int i=1;i<=n;i++)
	if (!dfn[i])
	{
		tarjan(i,0);
		Size=size[i];
		tree_dp(i,0);
	}
	printf("%lld\n",ans);
	return 0;
}

 

### BJOI2013 压力 题目解析 #### 问题描述 题目要求计算每个网络设备必须通过的数据包数量。给定一个无向图,其中存在 $ N $ 个节点和 $ M $ 条边,以及 $ Q $ 组询问,每组询问表示从某个源点到目标点之间的路径。需要统计哪些节点是这些路径中的必经之点。 此问题可以通过构建 **方树** 并利用其特性来解决[^1]。 --- #### 方树简介 方树是一种基于无向图的特殊结构,能够高效处理与割点和桥有关的问题。它由两类节点组成: - **形节点**:代表原图中的实际顶点。 - **方形节点**:对应于原图的一个双连通分量 (BCC),即一组不存在割点的顶点集合。 在该题中,我们需要关注的是如何标记并统计经过特定割点的路径数目[^4]。 --- #### 实现细节 以下是具体实现方法: 1. **构建方树** 使用 Tarjan 算法找到所有的割点及其对应的双连通分量,并以此为基础构造方树。对于每一个新发现的双连通分量,创建一个新的方形节点并与所属的割点相连。 2. **路径差分** 对于每次查询 $(u, v)$,将其转化为对方树上的一次简单路径操作。通过对路径上的所有割点执行加一的操作完成统计工作[^2]。 3. **线段树优化** 考虑到可能存在的大量修改请求,在最终阶段可以引入线段树或其他区间数据结构进一步加速更新过程。 下面给出一段伪代码展示上述逻辑的核心部分: ```python def tarjan(u, fa): dfn[u] = low[u] = time_stamp stk.append(u) for y in adj[u]: if not dfn[y]: tarjan(y, u) low[u] = min(low[u], low[y]) if low[y] >= dfn[u]: # Found articulation point or bridge build_bcc(u, y) # Build corresponding square node elif y != fa and dfn[y] < dfn[u]: low[u] = min(low[u], dfn[y]) def build_bcc(root, child): global poi r = ++poi while True: w = stk[-1] stk.pop() att(r, w) # Attach the vertex to current biconnected component if w == child: break att(r, root) # Query processing using tree difference technique on constructed round-square tree. for query in queries: path_diff(query.start, query.end) ``` --- #### 时间复杂度分析 整个算法的时间复杂度主要依赖以下几个方面: - 构造方树所需时间为 $ O(N + M) $。 - 每次查询涉及一次简单的路径遍历,总时间开销为 $ O(Q \log N) $ 当采用合适的数据结构辅助时。 因此总体效率较高,适合大规模输入场景下的应用需求。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值