P3690 【模板】Link Cut Tree (动态树)

本文详细介绍了如何使用LCT(链剖)配合Splay树处理树上边的动态添加与删除问题,并提供了完整的代码实现。通过Access、MakeRoot等操作,可以有效地查询两点间的路径信息。

题目给出N个点和m个查询,每次查询对n个点添加或者删除边,但是要保证在联通的情况下,因此无论怎么操作,他都保证是一棵树。

 

LCT 处理一棵树上的边的添加和删除。

LCT把一棵树分成很多条链,每一条链使用splay来维护,splay之间相关连接。 splay使用这条链上的节点的深度来维护。

每当需要查询x到y的路径时,通过access操作,把x和y这条路径组成一棵新的splay,其他点则变成自己独立的splay。这个splay就可以做树dp来统计路径上的信息。

 

Access(x)

将x变成所在的splay的root,然后挂在他父节点上(父节点是所在splay的根)。

由于splay维护的是树的深度,每次splay(x)都会把比当前节点深度大的节点断开,连接上另外一棵树,行程新的链。最后得出一条从根节点到x的splay。

void access(int x){
    int y = 0;
    while(x){
		splay(x); son[x][1] = y; y = x;
		pushup(x);
        x = f[x];
	}
}

MakeRoot(x)

使x变成整个树的根。

先Access(x)使得根和x在同一条链上,然后splay(x)把x转到根。由于Access(x)是形成一条根到x的链,x为最大深度,因此需要把splay的每一个节点的左右儿子互换,翻转整个树。互换儿子只是打标记,儿子操作在pushdown的时候带下去。

void make_root(int x){
    access(x);
    splay(x);
    switch_son(x);
}

Splay(x)

Splay 之前需要把从根到当前节点的信息都pushdown下来。

然后就是不断的转了。转的时候要父和父父节点,如果父节点不是根,则转一次,然后再转x。

void splay(int x){
	//push down first
	int y = x;
	stack<int> st;
	st.push(y);
	while(!isroot(y)) st.push(f[y]),y=f[y];
	while(!st.empty()) {
		pushdown(st.top()),st.pop();
	}

	while(!isroot(x)){
		int y = f[x];
		int z = f[y];
		if(!isroot(y)){
			rotate(y);
		}
		rotate(x);
	}
	pushup(x);
}

Link(x,y)

连接x和y。 先把x变成root(每次操作都要先变成root),然后判断一下y的根是不是x。如果已经是了那么已经连通,不是就直接把父亲指向他。

void link(int x, int y){
	make_root(x);
	if(findroot(y)==x)return;
	f[x] = y;
}

Cut(x,y)

把两个点之间的边断开。首先把x变成root,然后access(y)把x和y放到同一棵splay上。由于access的时候x不是根了,所以再做一次splay。(x不是根了,y的父节点可能就不是x了吗,所以要先把x换成根)

然后判断y的父节点是不是x,y的左还是还有没其他节点(有的话说明x和y之间有其他节点,深度在x和y之间)

void cut(int x, int y){
	make_root(x);
    access(y);
//	if(findroot(y)!=x) return;
    splay(x);
    if(f[y] != x || son[y][0]) return; //very tricky

	f[y] = 0;
	son[x][1] =0;
	pushup(x);
}

查询(x,y)之间的异或和

把x变成root,然后access(y)放到一条链上,splay(y)做一次从y到x的值的更新。

注意这个splay只包含x到y路径上的点,因此最后根的值就是整个树的值。

int query(int x, int y){
	make_root(x);
	access(y);
	splay(y);
	return sum[y];
}

修改(x)的值为y

把x转到根,因为不能修改中间。如果查询的时候splay没有动过,则根节点的值不会被更新。

void modify(int x, int v){
	splay(x);
	a[x] = v;
	pushup(x);
}

 

 

完整代码

int son[N][2], f[N];
int sum[N],r[N];
int a[N];
int n,m;

void pushup(int x){
	sum[x] = sum[son[x][0]] ^ sum[son[x][1]] ^ a[x];
}

void switch_son(int x){
	int t = son[x][0]; son[x][0] = son[x][1];son[x][1] = t;
	r[x]^=1;
}

void pushdown(int x){
	if(r[x]){
		switch_son(son[x][0]);
		switch_son(son[x][1]);
		r[x] = 0;
	}
}

bool isroot(int x){
	return !(son[f[x]][0]==x || son[f[x]][1]==x);
}

void rotate(int x){
	int y = f[x], z = f[y];
	if(!isroot(y)){
		son[z][son[z][1]==y] = x;
	}
	int p = son[y][1]==x;
	int t = son[x][!p];
	son[x][!p] = y;
	son[y][p] = t;
	f[x] = z; f[y] = x; if(t)f[t] = y;
	pushup(y);
}

void splay(int x){
	//push down first
	int y = x;
	stack<int> st;
	st.push(y);
	while(!isroot(y)) st.push(f[y]),y=f[y];
	while(!st.empty()) {
		pushdown(st.top()),st.pop();
	}

	while(!isroot(x)){
		int y = f[x]; 
		int z = f[y];
		if(!isroot(y)){
			rotate(y);
		}
		rotate(x);
	}
	pushup(x);
}

// a chain from root to node x.
void access(int x){
    int y = 0;
    while(x){
		splay(x); son[x][1] = y; y = x;
		pushup(x);
        x = f[x];
	}
}

int findroot(int x){
	int xx =x;
	access(x);
	splay(x);
	while(son[x][0]) {
		pushdown(x);
		x = son[x][0];
	}
	return x;
}

void make_root(int x){
	access(x);
	splay(x);
	switch_son(x);
}

void link(int x, int y){
	make_root(x);
	if(findroot(y)==x)return;
	f[x] = y;
}

void cut(int x, int y){
	make_root(x);
    access(y);
//	if(findroot(y)!=x) return;
    splay(x);
    if(f[y] != x || son[y][0]) return; //very tricky

	f[y] = 0;
	son[x][1] =0;
	pushup(x);
}

int query(int x, int y){
	make_root(x);
	access(y);
	splay(y);
	return sum[y];
}

void modify(int x, int v){
	splay(x);
	a[x] = v;	
	pushup(x);
}

int main(){
	sf("%d%d",&n,&m);
	fr(i,1,n+1)sf("%d",&a[i]);
	fr(i,0,m){
		int op,x,y;
		sf("%d%d%d",&op,&x,&y);
		if(op==0){
			pf("%d\n",query(x,y));
		}
		else if(op==1){
			link(x,y);
		}
		else if(op==2){
			cut(x,y);
		}
		else {
			modify(x,y);
		}
	}
}

 

AI 代码审查Review工具 是一个旨在自动化代码审查流程的工具。它通过集成版本控制系统(如 GitHub 和 GitLab)的 Webhook,利用大型语言模型(LLM)对代码变更进行分析,并将审查意见反馈到相应的 Pull Request 或 Merge Request 中。此外,它还支持将审查结果通知到企业微信等通讯工具。 一个基于 LLM 的自动化代码审查助手。通过 GitHub/GitLab Webhook 监听 PR/MR 变更,调用 AI 分析代码,并将审查意见自动评论到 PR/MR,同时支持多种通知渠道。 主要功能 多平台支持: 集成 GitHub 和 GitLab Webhook,监听 Pull Request / Merge Request 事件。 智能审查模式: 详细审查 (/github_webhook, /gitlab_webhook): AI 对每个变更文件进行分析,旨在找出具体问题。审查意见会以结构化的形式(例如,定位到特定代码行、问题分类、严重程度、分析和建议)逐条评论到 PR/MR。AI 模型会输出 JSON 格式的分析结果,系统再将其转换为多条独立的评论。 通用审查 (/github_webhook_general, /gitlab_webhook_general): AI 对每个变更文件进行整体性分析,并为每个文件生成一个 Markdown 格式的总结性评论。 自动化流程: 自动将 AI 审查意见(详细模式下为多条,通用模式下为每个文件一条)发布到 PR/MR。 在所有文件审查完毕后,自动在 PR/MR 中发布一条总结性评论。 即便 AI 未发现任何值得报告的问题,也会发布相应的友好提示和总结评论。 异步处理审查任务,快速响应 Webhook。 通过 Redis 防止对同一 Commit 的重复审查。 灵活配置: 通过环境变量设置基
【直流微电网】径向直流微电网的状态空间建模与线性化:一种耦合DC-DC变换器状态空间平均模型的方法 (Matlab代码实现)内容概要:本文介绍了径向直流微电网的状态空间建模与线性化方法,重点提出了一种基于耦合DC-DC变换器的状态空间平均模型的建模策略。该方法通过数学建模手段对直流微电网系统进行精确的状态空间描述,并对其进行线性化处理,以便于系统稳定性分析与控制器设计。文中结合Matlab代码实现,展示了建模与仿真过程,有助于研究人员理解和复现相关技术,推动直流微电网系统的动态性能研究与工程应用。; 适合人群:具备电力电子、电力系统或自动化等相关背景,熟悉Matlab/Simulink仿真工具,从事新能源、微电网或智能电网研究的研究生、科研人员及工程技术人员。; 使用场景及目标:①掌握直流微电网的动态建模方法;②学习DC-DC变换器在耦合条件下的状态空间平均建模技巧;③实现系统的线性化分析并支持后续控制器设计(如电压稳定控制、功率分配等);④为科研论文撰写、项目仿真验证提供技术支持与代码参考。; 阅读建议:建议读者结合Matlab代码逐步实践建模流程,重点关注状态变量选取、平均化处理和线性化推导过程,同时可扩展应用于更复杂的直流微电网拓扑结构中,提升系统分析与设计能力。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值