BZOJ3786 星际探索
@(BZOJ)[DFS序, Splay]
Description
物理学家小C的研究正遇到某个瓶颈。
他正在研究的是一个星系,这个星系中有n个星球,其中有一个主星球(方便起见我们默认其为1号星球),其余的所有星球均有且仅有一个依赖星球。主星球没有依赖星球。
我们定义依赖关系如下:若星球a的依赖星球是b,则有星球a依赖星球b.此外,依赖关系具有传递性,即若星球a依赖星球b,星球b依赖星球c,则有星球a依赖星球c.
对于这个神秘的星系中,小C初步探究了它的性质,发现星球之间的依赖关系是无环的。并且从星球a出发只能直接到达它的依赖星球b.
每个星球i都有一个能量系数wi.小C想进行若干次实验,第i次实验,他将从飞船上向星球di发射一个初始能量为0的能量收集器,能量收集器会从星球di开始前往主星球,并收集沿途每个星球的部分能量,收集能量的多少等于这个星球的能量系数。
但是星系的构成并不是一成不变的,某些时刻,星系可能由于某些复杂的原因发生变化。
有些时刻,某个星球能量激发,将使得所有依赖于它的星球以及他自己的能量系数均增加一个定值。还有可能在某些时刻,某个星球的依赖星球会发生变化,但变化后依然满足依赖关系是无环的。
现在小C已经测定了时刻0时每个星球的能量系数,以及每个星球(除了主星球之外)的依赖星球。接下来的m个时刻,每个时刻都会发生一些事件。其中小C可能会进行若干次实验,对于他的每一次实验,请你告诉他这一次实验能量收集器的最终能量是多少。
Input
第一行一个整数n,表示星系的星球数。
接下来n-1行每行一个整数,分别表示星球2-n的依赖星球编号。
接下来一行n个整数,表示每个星球在时刻0时的初始能量系数wi.
接下来一行一个整数m,表示事件的总数。
事件分为以下三种类型。
(1)"Q di"表示小C要开始一次实验,收集器的初始位置在星球di.
(2)"C xi yi"表示星球xi的依赖星球变为了星球yi.
(3)"F pi qi"表示星球pi能量激发,常数为qi.
Output
对于每一个事件类型为Q的事件,输出一行一个整数,表示此次实验的收集器最终能量。
Sample Input
3
1
1
4 5 7
5
Q 2
F 1 3
Q 2
C 2 3
Q 2
Sample Output
9
15
25
HINT
\(n≤100000,m≤300000,1<di,xi≤n,wi,qi≤100000\). 保证操作合法.
Solution
splay tree维护DFN序.
#include <cstdio>
#include <cctype>
#include <cstring>
const int N = 1 << 17, M = 1 << 19;
int L[N], R[N];
namespace Zeonfai
{
inline int getInt()
{
int a = 0, sgn = 1;
char c;
while(! isdigit(c = getchar()))
if(c == '-')
sgn *= -1;
while(isdigit(c))
a = a * 10 + c - '0', c = getchar();
return a * sgn;
}
inline char getChar()
{
char c;
while(! isgraph(c = getchar()));
return c;
}
}
struct tree
{
int head[N], top;
struct edge
{
int v, nxt;
}edg[M];
inline void init()
{
memset(head, -1, sizeof(head));
top = 0;
}
inline void addEdge(int u, int v)
{
edg[top].v = v, edg[top].nxt = head[u];
head[u] = top ++;
}
int clk;
void DFS(int u)
{
L[u] = clk ++;
for(int i = head[u]; ~ i; i = edg[i].nxt)
DFS(edg[i].v);
R[u] = clk ++;
}
}org;
struct splayTree
{
struct node
{
int suc[2], pre;
long long w, sgn, sum, tag, sz;
inline node()
{
sz = w = sgn = sum = tag = 0;
pre = suc[0] = suc[1] = -1;
}
}nd[N << 1];
inline void update(int u)
{
nd[u].sum = nd[u].w * nd[u].sgn;
nd[u].sz = nd[u].sgn;
if(~ nd[u].suc[0])
nd[u].sum += nd[nd[u].suc[0]].sum, nd[u].sz += nd[nd[u].suc[0]].sz;
if(~ nd[u].suc[1])
nd[u].sum += nd[nd[u].suc[1]].sum, nd[u].sz += nd[nd[u].suc[1]].sz;
}
int root;
int build(int L, int R, int pre)
{
if(L > R)
return -1;
int mid = L + R >> 1;
nd[mid].pre = pre;
nd[mid].suc[0] = build(L, mid - 1, mid);
nd[mid].suc[1] = build(mid + 1, R, mid);
update(mid);
return mid;
}
inline void pushdown(int u)
{
if(nd[u].pre != -1)
pushdown(nd[u].pre);
if(~ nd[u].suc[0])
nd[nd[u].suc[0]].tag += nd[u].tag, nd[nd[u].suc[0]].w += nd[u].tag, nd[nd[u].suc[0]].sum += nd[u].tag * nd[nd[u].suc[0]].sz;
if(~ nd[u].suc[1])
nd[nd[u].suc[1]].tag += nd[u].tag, nd[nd[u].suc[1]].w += nd[u].tag, nd[nd[u].suc[1]].sum += nd[u].tag * nd[nd[u].suc[1]].sz;
nd[u].tag = 0;
}
inline int getRelation(int u)
{
if(nd[u].pre == -1)
return -1;
return u == nd[nd[u].pre].suc[1];
}
inline void rotate(int u)
{
int pre = nd[u].pre, prepre = nd[pre].pre, k = getRelation(u);
if(~ nd[u].suc[k ^ 1])
nd[nd[u].suc[k ^ 1]].pre = pre;
nd[pre].suc[k] = nd[u].suc[k ^ 1];
nd[u].suc[k ^ 1] = pre;
nd[u].pre = prepre;
if(~ prepre)
nd[prepre].suc[getRelation(pre)] = u;
nd[pre].pre = u;
update(pre), update(u);
}
inline void splay(int u, int bnd)
{
pushdown(u);
while(nd[u].pre != bnd)
{
int pre = nd[u].pre;
if(nd[pre].pre != bnd)
rotate(getRelation(u) == getRelation(pre) ? pre : u);
rotate(u);
}
}
inline int getLast(int u)
{
splay(u, -1);
u = nd[u].suc[0];
while(~ nd[u].suc[1])
u = nd[u].suc[1];
return u;
}
inline int getNext(int u)
{
splay(u, -1);
u = nd[u].suc[1];
while(~ nd[u].suc[0])
u = nd[u].suc[0];
return u;
}
}seq;
int main()
{
#ifndef ONLINE_JUDGE
freopen("BZOJ3786.in", "r", stdin);
freopen("BZOJ3786.out", "w", stdout);
#endif
using namespace Zeonfai;
int n = getInt();
org.init();
for(int i = 2; i <= n; ++ i)
{
int pre = getInt();
org.addEdge(pre, i);
}
org.clk = 1;
org.DFS(1);
for(int i = 1; i <= n; ++ i)
{
int w = getInt();
seq.nd[L[i]].w = seq.nd[R[i]].w = w;
seq.nd[L[i]].sgn = 1, seq.nd[R[i]].sgn = -1;
}
seq.root = seq.build(0, org.clk, -1);
int m = getInt();
for(int i = 0; i < m; ++ i)
{
char opt = getChar();
if(opt == 'Q')
{
int u = getInt();
seq.splay(L[u], -1);
printf("%lld\n", seq.nd[seq.nd[L[u]].suc[0]].sum + seq.nd[L[u]].w);
}
else if(opt == 'C')
{
int u = getInt(), v = getInt();
int lst = seq.getLast(L[u]), nxt = seq.getNext(R[u]);
seq.splay(lst, -1);
seq.splay(nxt, lst);
int tmp = seq.nd[nxt].suc[0];
seq.nd[nxt].suc[0] = -1;
seq.update(nxt);
lst = L[v];
nxt = seq.getNext(L[v]);
seq.splay(lst, -1);
seq.splay(nxt, lst);
seq.nd[tmp].pre = nxt;
seq.nd[nxt].suc[0] = tmp;
seq.update(nxt);
}
else if(opt == 'F')
{
int u = getInt(), inc = getInt();
int lst = seq.getLast(L[u]), nxt = seq.getNext(R[u]);
seq.splay(lst, -1);
seq.splay(nxt, lst);
seq.nd[seq.nd[nxt].suc[0]].tag += inc;
seq.nd[seq.nd[nxt].suc[0]].sum += seq.nd[seq.nd[nxt].suc[0]].sz * inc;
seq.nd[seq.nd[nxt].suc[0]].w += inc;
}
}
}
BZOJ3786 星际探索的更多相关文章
- bzoj3786 星际探索 splay dfs序
这道题 首先 因为他求的是当前点到根节点的路径和 我们可以将题目转换为括号序列的写法 将点拆为左括号以及右括号 左括号为正 右括号为负 这样题目就变为了求前缀和了 如果一个点是这个点的子树 那么他的左 ...
- [BZOJ3786]星系探索
[BZOJ3786]星系探索 试题描述 物理学家小C的研究正遇到某个瓶颈. 他正在研究的是一个星系,这个星系中有n个星球,其中有一个主星球(方便起见我们默认其为1号星球),其余的所有星球均有且仅有一个 ...
- 牛客 小a与星际探索 bfs
链接:https://ac.nowcoder.com/acm/contest/317/C?&headNav=acm来源:牛客网 时间限制:C/C++ 1秒,其他语言2秒 空间限制:C/C++ ...
- 小a与星际探索
链接:https://ac.nowcoder.com/acm/contest/317/C来源:牛客网 小a正在玩一款星际探索游戏,小a需要驾驶着飞船从11号星球出发前往nn号星球.其中每个星球有一个能 ...
- BZOJ3786 星系探索 【Splay维护dfs序】*
BZOJ3786 星系探索 Description 物理学家小C的研究正遇到某个瓶颈. 他正在研究的是一个星系,这个星系中有n个星球,其中有一个主星球(方便起见我们默认其为1号星球),其余的所有星球均 ...
- 小a与星际探索---DP
题目描述 小a正在玩一款星际探索游戏,小a需要驾驶着飞船从11号星球出发前往nn号星球.其中每个星球有一个能量指数pp.星球ii能到达星球jj当且仅当pi>pjpi>pj.同时小a的飞船还 ...
- 牛客 小a与星际探索
链接:https://ac.nowcoder.com/acm/contest/317/C来源:牛客网 小a正在玩一款星际探索游戏,小a需要驾驶着飞船从1号星球出发前往n号星球.其中每个星球有一个能量指 ...
- [BZOJ3786]星系探索(伪ETT)
3786: 星系探索 Time Limit: 40 Sec Memory Limit: 256 MBSubmit: 1638 Solved: 506[Submit][Status][Discuss ...
- [BZOJ3786] 星系探索(括号序列+Splay)
3786: 星系探索 Time Limit: 40 Sec Memory Limit: 256 MBSubmit: 2191 Solved: 644[Submit][Status][Discuss ...
随机推荐
- JS设置组合快捷键
为提升用户体验,想要在web页面中通过组合快捷键调出用户帮助页面,具体实现思路是监听keyup事件,在相应的处理函数中进行逻辑编写,代码如下 $(document).keyup(function (e ...
- 数据库事务ACID和事务的隔离级别
借鉴:https://blog.csdn.net/zh521zh/article/details/69400053和https://blog.csdn.net/May_3/article/detail ...
- (49)zabbix事件是什么?事件来源有哪些分类
什么是zabbix 事件 在trigger的文章内,我们已经有用到事件,这个事件要讲概念真心不知道怎么说,就拿trigger事件来说,如果trigger从当前值ok转变为problem,那么我们称之为 ...
- Windows 10 Mac 为Vs Code配置C/C++环境
2019-06-10 更新: 加上Mac版本的Vscode配置文件 0.前言 实现效果:右键一键编译运行C/C++文件 Vs code的代码效果很好看,也很轻量,所以想为Vs Code配置C/C++环 ...
- 蓝牙学习 (8)配对raspberryPi和SensorTag CC2650
在上一篇中,用raspberryPi能够扫描到Ti SensorTag. 但是没有获得更多的数据,并且发现sensor Tag并没有回复scan request. https://blog.csdn. ...
- js 字符串加密
加密: 1.获得要加密的字符串:var str=input.value; 2.转化: for(var i=0;i<str.length;i++){ str+=String.fromCharCod ...
- Linux文件权限基础(一)
Linux中每个文件或者目录对都有一组共9个基础权限位,没三位字符被分为一组,他们分别是属主权限位,用户组权限位,其他用户权限位. 示例: 权限位说明: r --read 可读权限 对应数字4 w - ...
- Python9-day3-作业
ascli 字母,数字.特殊字符,1个字节.8位 unicode:16位 两个字节,升级32位,四个字节 utf-8:最少一个字节 8位,英文字母, 1,有变量name = "aleX l ...
- u-boot顶层目录config.mk分析
1. 设置obj与src ifneq ($(OBJTREE),$(SRCTREE)) ifeq ($(CURDIR),$(SRCTREE)) dir := else dir := $(subst $( ...
- 牛客网暑期ACM多校训练营(第六场) I Team Rocket(线段树)
题意: 给定n个区间, m次询问, 每次询问给一个点, 问这个点在哪些区间内, 然后删掉这些区间. 分析: 将n个区间按L大小升序排列, 然后将这些区间视为点构建一棵n个点的线段树, 树的节点记录这个 ...