首页 > 其他分享 >线段树优化建图学习笔记

线段树优化建图学习笔记

时间:2024-04-18 17:34:18浏览次数:26  
标签:return int 线段 笔记 define 建图 now dis

关于线段树优化建图

对于存在一些单点连向区间或区间连向单点的边,且直接暴力连边会爆炸的题目,就可以考虑使用线段树优化建图。

边数量的规模将会是 \(n \log n+a\)。

例题

题目链接

从 \(s\) 到 \(t\) 的最短路就是模板。如果暴力建边,最坏情况下需要建的边在 \(n^2\) 级别,显然是不可能的。

考虑线段树优化建图。对于第 \(1\) 种建边方式,只能是直接将 \(u,v\) 连边。而对于 \(2,3\) 两种建边方式,开两棵线段树分别维护单点连向区间的边与区间连向单点的边。第 \(1\) 棵线段树的边均为父亲连向儿子,第 \(2\) 棵线段树的边均为儿子连向父亲。

对于第 \(2\) 种建边方式,若线段树上点 \(u\) 包含的区间 \([u_l,u_r]\) 均在区间 \([l,r]\) 里,则 \([u_l,u_r]\) 中任意一个点都会与 \(v\) 连边。则将 \(v\) 在第 \(2\) 棵线段树上的点与 \(u\) 连边。第 \(3\) 种 和第 \(2\) 种情况类似。

两棵线段树中对应的叶子节点表示的节点是一样的,所以也要将它们连边。

可以看一下 OI Wiki 的图。

代码如:

const int M=5e5+1;
il void add(int a,int b,int c){
	ne[++idx]=h[a],e[idx]=b,w[idx]=c,h[a]=idx;
}
il void build(int now,int l,int r){
	tr[now].l=l,tr[now].r=r;
	if(l==r) return id[l]=now,void(0);
	int mid=l+r>>1;
	add(now,now<<1,0),add(now,now<<1|1,0);//第1棵线段树
	add((now<<1)+M,now+M,0),add((now<<1|1)+M,now+M,0);//第2棵线段树 
	build(now<<1,l,mid),build(now<<1|1,mid+1,r);
	return ;
}
il void Add(int now,int l,int r,int v,int w,bool flag){
	if(tr[now].l>=l&&tr[now].r<=r){
		if(!flag) add(id[v]+M,now,w);//点连向区间
		else add(now+M,id[v],w);//区间连向点
		return ; 
	}
	int mid=tr[now].l+tr[now].r>>1;
	if(l<=mid) Add(now<<1,l,r,v,w,flag);
	if(mid<r) Add(now<<1|1,l,r,v,w,flag);
	return ;
}
il void init(){
	for(re int i=1;i<=n;++i)
		add(id[i],id[i]+M,0),
		add(id[i]+M,id[i],0);
	return ; 
}

然后这道题就是建完图之后跑一个 dij 求一个单源最短路。

注:起点将是第 \(2\) 棵线段树的叶子节点。

参考代码:

#include<bits/stdc++.h>
using namespace std;
#define int long long
#define re register
#define il inline
#define pii pair<int,int>
#define x first
#define y second
#define gc getchar()
#define rd read()
#define debug() puts("------------")

namespace yzqwq{
	il int read(){
		int x=0,f=1;char ch=gc;
		while(ch<'0'||ch>'9'){if(ch=='-') f=-1;ch=gc;}
		while(ch>='0'&&ch<='9') x=(x<<1)+(x<<3)+(ch^48),ch=gc;
		return x*f;
	}
	il int qmi(int a,int b,int p){
		int ans=1;
		while(b){
			if(b&1) ans=ans*a%p;
			a=a*a%p,b>>=1;
		}
		return ans;
	}
	il auto max(auto a,auto b){return (a>b?a:b);}
	il auto min(auto a,auto b){return (a<b?a:b);}
	il int gcd(int a,int b){
		if(!b) return a;
		return gcd(b,a%b);
	}
	il int lcm(int a,int b){
		return a/gcd(a,b)*b;
	}
	il void exgcd(int a,int b,int &x,int &y){
		if(!b) return x=1,y=0,void(0);
		exgcd(b,a%b,x,y);
		int t=x;
		x=y,y=t-a/b*x;
		return ;
	}
	mt19937 rnd(time(0));
}
using namespace yzqwq;

const int N=3e6+10,M=5e5+1;
int n,m,s,id[N];
int ne[N],e[N],w[N],h[N],idx;
struct Tree{
	int l,r;
}tr[N];
int vis[N],dis[N];

il void add(int a,int b,int c){
	ne[++idx]=h[a],e[idx]=b,w[idx]=c,h[a]=idx;
}
il void build(int now,int l,int r){
	tr[now].l=l,tr[now].r=r;
	if(l==r) return id[l]=now,void(0);
	int mid=l+r>>1;
	add(now,now<<1,0),add(now,now<<1|1,0);//第1棵线段树
	add((now<<1)+M,now+M,0),add((now<<1|1)+M,now+M,0);//第2棵线段树 
	build(now<<1,l,mid),build(now<<1|1,mid+1,r);
	return ;
}
il void Add(int now,int l,int r,int v,int w,bool flag){
	if(tr[now].l>=l&&tr[now].r<=r){
		if(!flag) add(id[v]+M,now,w);//点连向区间
		else add(now+M,id[v],w);//区间连向点
		return ; 
	}
	int mid=tr[now].l+tr[now].r>>1;
	if(l<=mid) Add(now<<1,l,r,v,w,flag);
	if(mid<r) Add(now<<1|1,l,r,v,w,flag);
	return ;
}
il void init(){
	for(re int i=1;i<=n;++i)
		add(id[i],id[i]+M,0),
		add(id[i]+M,id[i],0);
	return ; 
}

il void dij(){
	priority_queue<pii,vector<pii>,greater<pii>> qu;
	memset(dis,0x3f,sizeof(dis)),
	memset(vis,0,sizeof(vis));
	dis[id[s]+M]=0,qu.push({0,id[s]+M});
	while(!qu.empty()){
		pii now=qu.top();qu.pop();
		if(vis[now.y]) continue;
		vis[now.y]=1;
		for(re int i=h[now.y];i;i=ne[i]){
			int j=e[i];
			if(dis[j]>dis[now.y]+w[i])
				dis[j]=dis[now.y]+w[i],
				qu.push({dis[j],j});
		}
	}
	return ;
}

il void solve(){
	n=rd,m=rd,s=rd;
	build(1,1,n),init();
	for(re int i=1;i<=m;++i){
		int op=rd,v=rd,u,l,r,w;
		if(op==1){
			u=rd,w=rd;
			add(id[v]+M,id[u],w);
		}
		else if(op==2){
			l=rd,r=rd,w=rd;
			Add(1,l,r,v,w,0);
		}
		else{
			l=rd,r=rd,w=rd;
			Add(1,l,r,v,w,1);
		}
	}
	dij();
	for(re int i=1;i<=n;++i) printf("%lld ",dis[id[i]]>=1e18?-1:dis[id[i]]);
	return ;
}

signed main(){
//	freopen(".in","r",stdin);
//	freopen(".out","w",stdout);
	int t=1;while(t--)
	solve();
	return 0;
}

标签:return,int,线段,笔记,define,建图,now,dis
From: https://www.cnblogs.com/harmisyz/p/18144058

相关文章

  • 模拟电路学习笔记——二极稳压管
    1.稳压二极管*硅材料制成的面接触型晶体二极管*稳压管在反向击穿时,在一定的电流范围内(或者说在一定的功率损耗范围内),端电压几乎不变,表现出稳压特性*广泛应用于稳压电源/限幅电路中2.稳压管伏安特性*稳压器伏安特性与普通二极管类似*稳压管正向特性为指......
  • GPG4win 使用笔记
    简介:Gpg4win是一套文件或email加密解密的安全方案。Gpg4win-asecuresolutionforfileandemailencryption.Gpg4win(GNUPrivacyGuardforWindows)isFreeSoftwareandcanbeinstalledwithjustafewmouseclicks安装:首先,从GPG4win官方网站下载安装程序 ht......
  • 【GUI软件】小红书按关键词采集笔记详情,支持多个关键词,含笔记正文、转评赞藏等,爬了102
    一、背景介绍1.1爬取目标熟悉我的小伙伴都了解,我之前开发过2款软件:【GUI软件】小红书搜索结果批量采集,支持多个关键词同时抓取!【GUI软件】小红书详情数据批量采集,含笔记内容、转评赞藏等,支持多笔记同时采集!现在介绍的这个软件,相当于以上2个软件的结合版,即根据关键词爬取......
  • day1-day5听课笔记
    Typora常用快捷键标题快捷键1.ctrl+1一级标题2.ctrl+2二级标题代码块ctrlshiftk代码快捷键```javajava语言的代码块```shellshell语言的代码块#tab上面的一个键,按shift切换成英文列表有序列表//有序ctrl+shift+[无序列表//无序ctrl+shift......
  • 模拟电路学习笔记——半导体基础知识
    1.纯净的具有晶体结构的半导体称为本征半导体2.导体导电只有一种载流子,即自由电子导电本征半导体含两种载流子:自由电子和空穴载流子:运载电荷的粒子3.杂质半导体*本征半导体中掺入少量合适的杂质元素,便可得到杂质半导体3.1N型半导体:纯净的硅晶体中掺入五价......
  • LibreOJ-3038 「JOISC 2019 Day3」穿越时空 Bitaro <线段树> 题解
    审题一条链每条边有通行时间上下界限制通过一条边需要\(1\)单位时间站在当前节点时间减少\(1\)耗费\(1\)单位代价\(q\)次询问要么更改一条边的通信时间上下界要么询问在\(b\)时刻在城市\(a\),\(d\)时刻到达城市\(c\)的最小代价思想做题准备......
  • # Linux From Scratch 12.1 安装笔记
    目录目录安装指南相关链接准备工作准备宿主机准备硬盘下载软件添加LFS用户配置环境开始构建构建过程概述构建LFS交叉工具链和临时工具进入Chroot并构建其他工具构建LFS系统安装软件系统配置安装内核安装引导安装指南版本12.1-systemd-中文翻译......
  • ROS2笔记2--工作空间、功能包、节点
    一、工作空间(Workspace)ROS工作空间是用于存放ros功能包的一个文件夹,通常以ws结尾。用于存放工程开发相关的所有文件,包括源代码、编译生成的文件以及配置我呢见等。在ROS中工作空间是使用Catkin编译系统来组织和管理代码的基础单元。每个工作空间通常包含一个或多个功能包,这些功能......
  • matlab库零散笔记
    matlab.pylpot1.函数plt.plot()用于绘制线图和散点图#语法格式#画单条线plot([x],y,[fmt],*,data=None,**kwargs)#画多条线plot([x],y,[fmt],[x2],y2,[fmt2],...,**kwargs)x,y:点或线的节点,x为x轴数据,y为y轴数据,数据可以列表或数组。fmt:可选,定......
  • 模拟电路学习笔记——电子信息系统
    1.对模拟信号处理的电路称为模拟电路,对数字信号处理的电路称为数字电路;目前实用系统常常是两种信号都存在的模-数混合系统 2.电子信息系统的组成原则*满足功能和性能指标要求*电路尽量简单  电路简单、元器件越少,连线、焊点越少,故障出现概率越小*电磁兼容性  在预定......