Link Cut Tree 学习笔记

Link Cut Tree 学习笔记


说在前边

最近补 CF 碰见一道 LCT ,就打算学习一下这个东西。。。顺便复习一下 splay。

具体算法及实现

参考了FlashHu, Candy?

题目:给定n个点以及每个点的权值,要你处理接下来的m个操作。操作有4种。操作从0到3编号。点从1到n编号。
0:后接两个整数(x,y),代表询问从x到y的路径上的点的权值的xor和。保证x到y是联通的。
1:后接两个整数(x,y),代表连接x到y,若x到y已经联通则无需连接。
2:后接两个整数(x,y),代表删除边(x,y),不保证边(x,y)存在。
3:后接两个整数(x,y),代表将点x上的权值变成y。

做法:模板

Code

#include <cstdio>
#include <algorithm>
#include <cstring>
#include <cstdlib>
#include <cctype>
typedef long long ll;
const int N = 300010;
const int inf = 0x3f3f3f3f;
template<class T> inline void read(T &x) {x = 0; char c = getchar(); T f = 1;while(!isdigit(c)) {if(c == '-') f = -1; c = getchar();}while(isdigit(c)) {x = x * 10 + c - '0'; c = getchar();}x *= f;
}
using namespace std;
class LCT {
private :struct Node {int ch[2], fa, rev, sum, w;} T[N];int st[N];#define lc T[p].ch[0]#define rc T[p].ch[1]#define pa T[p].fainline int LR(int p) { return T[pa].ch[1] == p; }inline int isR(int p) { return T[pa].ch[0] != p && T[pa].ch[1] != p; }inline void PushUp(int p) { T[p].sum = T[lc].sum ^ T[rc].sum ^ T[p].w; }inline void Pushr(int p) { T[p].rev ^= 1; swap(lc, rc); }inline void PushDown(int p) {if(T[p].rev) {if(lc) Pushr(lc);if(rc) Pushr(rc);T[p].rev = 0;}}inline void rotate(int p) {int f=T[p].fa, g=T[f].fa, c=LR(p);if(!isR(f)) T[g].ch[LR(f)]=p; T[p].fa=g;T[f].ch[c] = T[p].ch[c^1]; T[T[f].ch[c]].fa=f;T[p].ch[c^1] = f; T[f].fa=p;PushUp(f); PushUp(p);}inline void splay(int p) {int y=p,z=0; st[++z]=y;while(!isR(y)) st[++z]=y=T[y].fa;while(z) PushDown(st[z--]);while(!isR(p)) {y=T[p].fa;z=T[y].fa;if(!isR(y)) rotate((T[y].ch[0]==p)^(T[z].ch[0]==y)?p:y);rotate(p);}PushUp(p);}inline void access(int p) {for(int y = 0; p; p = T[y = p].fa)splay(p), rc = y, PushUp(p);}inline void makeR(int p) {access(p); splay(p); Pushr(p);}int findR(int p) {access(p); splay(p);while(lc) PushDown(p), p = lc;splay(p);return p;}
public :inline void split(int x, int y) {makeR(x); access(y); splay(y);}inline void Link(int x, int y) {makeR(x);if(findR(y)!=x)T[x].fa=y;}inline void Cut(int x, int y) {makeR(x);if(findR(y) == x && T[y].fa == x && !T[y].ch[0]) {T[y].fa = T[x].ch[1] = 0; PushUp(x);}}inline int getSum(int p) { return T[p].sum; }inline void setW(int p, int v) { splay(p);T[p].w = v;PushUp(p); }
} tree;
int n, q, opt, u, v;
int main() {read(n), read(q);for(int i = 1; i <= n; ++i) read(v), tree.setW(i, v);while(q--) {read(opt), read(u), read(v);if(opt == 0) tree.split(u, v), printf("%d\n",tree.getSum(v));else if(opt == 1) tree.Link(u, v);else if(opt == 2) tree.Cut(u, v);else if(opt == 3) tree.setW(u, v);}
}

CodeForces 1137F

题意:给定一棵n点树。设第i个点当前编号为\(p_i\)。已知一种游戏,每次删除叶子节点中编号最小的那个节点,而节点\(v\)在一次游戏中被删除的时间为\(Ti(v)\)。有\(m\)组询问,三种操作:1. \(up ~v\)\(v\) 点标号改为\(1 + max(p_1,p_2,...,p_n)\) 2. \(when ~v\)询问 \(Ti(v)\) 3.\(compare ~u~v\), 比较\(Ti(u)\), \(Ti(v)\)

做法:首先,操作3可以转化为操作2。现在,假设我们已经知道当前这棵树每个节点的\(Ti\),那么当进行\(up\)操作时,这棵树的\(Ti\)会怎么变化?测试几组数据可以知道,每次只有原本的最大值,与新的最大值路径上的\(Ti\)会发生重编号,而这条链之外的节点的\(Ti\)相对大小没有改变。
为了操作方便我们用编号最大的点作为当前的根节点,考虑如何询问。我们定义\(mxp(v)\)\(v\)子树中最大的点的编号,对于一个节点\(v\)和一个节点\(u\),如果\(mxp(v) < mxp(u)\)\(v\)一定先于\(u\)删除,因为在删除\(mxp(u)\)之前一定已经删除了\(mxp(v)\)而删除了\(mxp(v)\)之后一定会继续删除,直到删除\(v\)。对于一个点\(u\)所有满足\(mxp(v) < mxp(u)\)\(v\) 一定先于他删除。如果\(mxp(v) = mxp(u)\) ,出现这种情况当且仅当\(u\)\(v\)在一条指向根的路径上,那么由于根节点的编号最大,我们一定会先删除深度比较深的点。所以形式化的答案是
\[ \sum_v [mxp(v) < mxp(u)] + \sum_v [mxp(v)=mxp(u)][dep[v] > dep[u]] = \\ \sum_v [mxp(v) \leq mxp(u)] - \sum_v [mxp(v)=mxp(u)][dep[v] < dep[u]] \]

现在整理一下,我们要维护什么:每个点子树中的最大编号,深度信息,编号小于\(v\)的点的数目,编号为\(v\)的点中\(dep\)小于\(d\)的数目,要支持把编号最大点提到根的位置。

涉及到提根这个操作,所以想到使用\(LCT\)解决。每个辅助树的节点中除了常规的部分,维护\(mxp\)和子树的大小\(sz\),而同时因为\(LCT\)的性质,其中每个\(splay\)中都是按照深度排序。再利用一个树状数组,维护编号小于\(v\)的点的数目。

初始化部分,我们\(dfs\)这棵树,求出每个点的父亲,同时我们将所有的点按照\(mxp\)连成一条条实链,顺便计算\(sz\),以及在树状数组中更新。

对于询问操作\(when ~v\),答案就是小于等于\(mxp(v)\)\(mxp(u)\)的数量,减去深度小于\(v\)\(mxp\)相同的点的数量。对于第一部分直接在树状数组中查询,第二部分利用\(splay\)的按深度排序的性质,我们\(splay(v)\)\(v\)旋到根上,此时它的左子树的\(sz\)就是我们要的。

对于修改操作\(up ~v\),我们令原先最大的点为\(u\), \(access(v)\) 同时将所有v到u路径上的点的编号改为\(mxp(u)\),把\(v\)旋到根,再翻转这条链,此时\(v\)已经是整颗树的根了,但是此时的\(v\)的编号还没有修改,我们把\(u\)和它的右儿子断开重新给他打上新的标记即可。

这个过程中要注意,打上标记后及时\(pushdown\),子节点修改后,及时\(pushup\)

ps: 这题从复习\(splay\),学习\(LCT\),到看懂题解花了3天时间。参考了很多ac代码。。。

Code

#include <bits/stdc++.h>
#define pb push_back
typedef long long ll;
const int N = 200010;
template<class T> inline void read(T &x) {x = 0; char c = getchar(); T f = 1;while(!isdigit(c)) {if(c == '-') f = -1; c = getchar();}while(isdigit(c)) {x = x * 10 + c - '0'; c = getchar();}x *= f;
}
using namespace std;
class BIT {int n, a[N << 1];
public :void init(int _) {n = _;}void add(int p, int val) {for(int i = p; i <= n; i += (i&(-i))) a[i] += val;}int ask(int p) { int ans = 0;for(int i = p; i; i -= (i&(-i))) ans += a[i];return ans;}
} B;
struct Node {int ch[2], fa, rev, sz, w, tag;
} T[N];
#define lc T[p].ch[0]
#define rc T[p].ch[1]
#define pa T[p].fa
inline int LR(int p) { return T[pa].ch[1] == p; }
inline int isR(int p) { return T[pa].ch[0] != p && T[pa].ch[1] != p; }
inline void PushUp(int p) { T[p].sz = T[lc].sz + T[rc].sz + 1; }
inline void Pushr(int p) { T[p].rev ^= 1; swap(lc, rc); }
inline void PushDown(int p) {if(T[p].rev) {if(lc) Pushr(lc);if(rc) Pushr(rc);T[p].rev = 0;}if(T[p].tag) {T[lc].tag = T[lc].w = T[p].tag;T[rc].tag = T[rc].w = T[p].tag;T[p].tag = 0;}
}
inline void rotate(int p) {int f=T[p].fa, g=T[f].fa, c=LR(p);if(!isR(f)) T[g].ch[LR(f)]=p; T[p].fa=g;T[f].ch[c] = T[p].ch[c^1]; T[T[f].ch[c]].fa=f;T[p].ch[c^1] = f; T[f].fa=p;PushUp(f); PushUp(p);
}
inline void splay(int p) {static int st[N];int y=p,z=0; st[++z]=y;while(!isR(y)) st[++z]=y=T[y].fa;while(z) PushDown(st[z--]);while(!isR(p)) {y=T[p].fa;z=T[y].fa;if(!isR(y)) rotate((T[y].ch[0]==p)^(T[z].ch[0]==y)?p:y);rotate(p);}
}
inline void access(int p, int ti) {for(int y = 0; p; p = T[y = p].fa) {splay(p); // splay 到顶T[p].ch[1] = 0; // 断掉比他深的点PushUp(p); // **// updateB.add(T[p].w, -T[p].sz);T[p].tag = T[p].w = ti;B.add(T[p].w, T[p].sz);T[p].ch[1] = y;// 右儿子接到上一层splay的根上PushUp(p); // **}
}int n, q, u, v;
char opt[11];
vector<int> G[N];
void dfs(int u) {T[u].w = u;for(int v: G[u]) if(v != T[u].fa) {T[v].fa = u; dfs(v);T[u].w = max(T[u].w, T[v].w);}for(int v: G[u]) if(v != T[u].fa && T[u].w == T[v].w) {T[u].ch[1] = v;T[u].sz = T[v].sz + 1;}B.add(T[u].w, 1);
}
int qry(int p) {splay(p); PushDown(p);return B.ask(T[p].w) - T[lc].sz;
}int main() {
#ifdef RRRR_wysfreopen("in.txt","r",stdin);
#endifread(n), read(q);B.init(n+q+2);for(int i = 2; i <= n; ++i)read(u), read(v), G[u].pb(v), G[v].pb(u);for(int i = 1; i <= n; ++i) T[i].sz = 1;dfs(n); int TT = n;while(q--) {scanf(" %s",opt);if(opt[0] == 'u') {read(v);// MakeRootaccess(v, TT); splay(v);T[v].rev ^= 1; swap(T[v].ch[0], T[v].ch[1]);PushDown(v);// updateB.add(T[v].w, -1); // ***T[v].ch[1] = 0; // 断右儿子T[v].w = T[v].tag = ++ TT; // 重新标号T[v].sz = 1; // 计算szB.add(T[v].w, 1);}else if(opt[0] == 'w') {read(v);printf("%d\n", qry(v));}else {read(u), read(v);printf("%d\n", (qry(u) < qry(v) ? u : v) );}}
}

转载于:https://www.cnblogs.com/RRRR-wys/p/10527816.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/320417.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

.NetCore SkyWalking APM实现服务器监控环境安装及基础使用

下载Java 8 SDK wget --no-cookies --no-check-certificate --header "Cookie: gpw_e24http%3A%2F%2Fwww.oracle.com%2F; oraclelicenseaccept-securebackup-cookie" http://download.oracle.com/otn-pub/java/jdk/8u171-b11/512cd62ec5174c3487ac17c61aaa89e8/jdk…

P1129-[ZJOI2007]矩阵游戏【最大匹配】

正题 题目链接:https://www.luogu.com.cn/problem/P1129 题目大意 n∗mn*mn∗m的网格上有0/10/10/1&#xff0c;可以选择交换两行或两列&#xff0c;求能否让对角线上全是111。 解题思路 因为可以交换&#xff0c;所以是每一行都要和每一列配对。而第iii行能够和第jjj列配对的…

身体训练

牛客网 时间限制&#xff1a;C/C 1秒&#xff0c;其他语言2秒 空间限制&#xff1a;C/C 32768K&#xff0c;其他语言65536K 64bit IO Format: %lld 题目描述 美团外卖的配送员用变速跑的方式进行身体训练。 他们训练的方式是&#xff1a;n个人排成一列跑步&#xff0c;前后两人…

ASP.NET Core依赖注入最佳实践,提示技巧

分享翻译一篇Abp框架作者(Halil İbrahim Kalkan)关于ASP.NET Core依赖注入的博文.在本文中,我将分享我在ASP.NET Core应用程序中使用依赖注入的经验和建议.这些原则背后的目的是:有效地设计服务及其依赖关系防止多线程问题防止内存泄漏防止潜在的错误本文假设你已经熟悉基本的…

【匈牙利算法】指引(jzoj 2319)

指引 jzoj 2319 题目大意&#xff1a; 在平面上有n个人和出口&#xff0c;一个出口只能让一个人进&#xff0c;每个人只能向右向上走&#xff0c;问最多让多少个人到出口 输入样例&#xff1a; 6 3 2 0 3 1 1 3 4 2 0 4 5 5输出样例&#xff1a; 2解题思路&#xff1a; …

Codeforces1142D

Codeforces1142D 做法&#xff1a;构建一个可以识别出合法串的自动机&#xff0c;然后就可以想办法在上边 dp 出答案。 首先&#xff0c;按照最直观的思路画一画这个自动机&#xff0c;找到每一个状态s如何推出它的后继t&#xff0c;然后通过状态的转移方式&#xff0c;找到等价…

P3620-[APIO/CTSC2007]数据备份【贪心,堆,链表】

正题 题目链接:https://www.luogu.com.cn/problem/P3620 题目大意 一条线上有nnn个位置&#xff0c;选出kkk对使得它们的距离差之和最小。 解题思路 因为一定是连接相邻的最优&#xff0c;那么可以在差分数组上做&#xff0c;相当于我们在一个差分数组上选择一些不相邻的数使…

Maximize The Beautiful Value

传送 时间限制&#xff1a;C/C 2秒&#xff0c;其他语言4秒 空间限制&#xff1a;C/C 131072K&#xff0c;其他语言262144K 64bit IO Format:%lld 题目描述 Today HH finds a non-decreasing sequence(a1,a2…an,ai≤ai1), he thinks it’s not beautiful so he wants to make …

纪中C组模拟赛总结(2019.9.7)

成绩&#xff1a; 注&#xff1a;rankrankrank是有算其他dalaodalaodalao的 hky,wjj,lthhky,wjj,lthhky,wjj,lth三位dalaodalaodalao竟不屑于交题 rankrankranknamenamenamescorescorescoreT1T1T1T2T2T2T3T3T3T4T4T4888lyflyflyf110110110101010000100100100000242424fyfyfy45…

MEF 插件式开发 - DotNetCore 初体验

背景叙述在传统的基于 .Net Framework 框架下进行的 MEF 开发&#xff0c;大多是使用 MEF 1&#xff0c;对应的命名空间是 System.ComponentModel.Composition。在 DotNet Core 中&#xff0c;微软为了伟大的跨平台策略&#xff0c;引入了 MEF 2&#xff0c;其对应的命名空间是…

反向传播算法学习笔记

反向传播算法(Back propagation) 目的及思想 我们现在有一堆输入&#xff0c;我们希望能有一个网络&#xff0c;使得通过这个网络的构成的映射关系满足我们的期待。也就是说&#xff0c;我们在解决这个问题之前先假设&#xff0c;这种映射可以用网络的模型来比较好的描述。为什…

AT1219-歴史の研究(历史研究)【回滚莫队】

正题 题目链接:https://www.luogu.com.cn/problem/AT1219 题目大意 nnn个数字&#xff0c;mmm次询问一个区间内ti∗it_i*iti​∗i的最大值&#xff0c;tit_iti​即区间内iii的出现次数。 解题思路 用回滚莫队的思想&#xff0c;对于在不同块中的询问&#xff0c;我们把左端点…

求树的直径

欢迎来踩本人博客 树的直径&#xff1a; 就是树上最长路 方法 &#xff1a; 求两边DFS即可 步骤&#xff1a; 1.从任意一点进行dfs&#xff0c;然后找到一个最长路径&#xff0c;记录最远点u 2.然后从u再进行dfs&#xff0c;找最长路径&#xff0c;记录一点v。 &#xff08;u&…

【暴力】MSWORLD

MSWORLD 题目大意&#xff1a; 在一个图上有n个点&#xff0c;现在问你最远的两个点的直线距离的平方是多少 输入样例 4 0 0 0 1 1 1 1 0输出样例 2样例解释&#xff1a; 农场1&#xff08;0,0&#xff09;和农场3&#xff08;1,1&#xff09;的距离为 2的开方。 数据范…

微软技术直通车(第三期) 之 人工智能

编者&#xff1a;有幸本周在北京&#xff0c;大家有空来现场面基。微软技术直通车本系列活动密切关注微软及周边相关技术。以微软云计算和相关产品为依托&#xff0c;涉及云计算、数据处理、开发工具、商用软件、物联网、人工智能等前沿科技。系列活动邀请微软技术专家、一线开…

SDOI2018 物理实验

SDOI2018 物理实验 题意&#xff1a;二维平面上有一条直线&#xff0c;直线上放置了一个激光发射器&#xff0c;会向导轨两侧沿导轨垂直方向发射宽度为 L 的激光束。平面上还有 n 条线段&#xff0c;并且线段和线段、线段和直线之间都没有公共点&#xff0c;线段和直线的夹角不…

P2485-[SDOI2011]计算器【BSGS,exgcd,快速幂】

正题 题目链接:https://www.luogu.com.cn/problem/P2485 题目大意 给出a,b,pa,b,pa,b,p要求一下一种 ab%pa^b\% pab%p的值ax≡b(modp)ax\equiv b(\mod p)ax≡b(modp)的最小非负整数解ax≡b(modp)a^x\equiv b(\mod p)ax≡b(modp)的最小非负整数解 解题思路 一道缝合题 第一个…

幸运数字Ⅱ

牛客网 时间限制&#xff1a;C/C 1秒&#xff0c;其他语言2秒 空间限制&#xff1a;C/C 262144K&#xff0c;其他语言524288K 64bit IO Format: %lld 题目描述 定义一个数字为幸运数字当且仅当它的所有数位都是4或者7。 比如说&#xff0c;47、744、4都是幸运数字而5、17、467都…

【背包】SMRTFUN

SMRTFUN 题目大意&#xff1a; 有n件物品&#xff0c;每件物品有各自的a值和b值&#xff0c;现在让你选一些物品&#xff0c;在a、b都不是负数的情况下&#xff0c;使a、b值之和最大 输入样例 5 -5 7 8 -6 6 -3 2 1 -8 -5输出样例 8样例说明 选择第1&#xff0c;3和4号牛…

Visual Studio 2017 15.8 正式发布,测试速度提高 82%

Visual Studio 2017 15.8 版本已正式发布&#xff1a;发行说明&#xff1a;https://docs.microsoft.com/zh-cn/visualstudio/releasenotes/vs2017-relnotes#15.8下载地址&#xff1a;https://visualstudio.microsoft.com/downloads/安装现可选择在开始安装之前下载所有安装文件…