【ZJOI2019】线段树(线段树 & dp)
Link
Solution
很玄妙的一道题,考察了对线段树较本质的理解 然而我并不会这个所谓最可做的题
首先,虽然题目很复杂,好像每个点的标记变化都很玄学,但是我们可以深入挖一挖性质。
假设我们现在的总区间为 \([1, 16]\),现在执行了修改 \(\text{M}\small\text{ODIFY}\)\([4, 10]\),那么线段树上的结点状况如下:
根据各个结点的性质我们将其分类。
- Type 1:未标记,与询问区间半覆盖,这些结点上的标记会全部被 \(\text P\small\text{USHDOWN}\)。
- Type 2:用红色标记,与询问区间全覆盖,恰好停止向下访问的结点,会在此处直接打标记走人。
- Type 3:用绿色标记,与询问区间无交,但可以得到来自 Type 1 \(\text P\small\text{USHDOWN}\) 而来的标记。
- Type 4:用橙色标记,与询问区间全覆盖,但无法被访问到。
- Type 5:用蓝色标记,与询问区间无交,同时也得不到 \(\text P\small\text{USHDOWN}\) 而来的标记。
注意到性质相同的结点可以相同处理,这便是我们分类的意义所在。
接下来考虑一个 dp。我们必然不能把线段树真的拿去复制,于是直接在一个线段树上搞。
很容易想到的一个状态是,\(f_i(x)\) 表示在第 \(i\) 次 \(\text{M}\small\text{ODIFY}\) 之后,所有线段树中,位置 \(x\) 上有 tag 的线段树有几棵。
但是这样是不够的:Type 3 的转移需要视其线段树上祖先的 tag 情况而定。
于是再设 \(g_i(x)\) 为第 \(i\) 次 \(\text{M}\small\text{ODIFY}\) 之后,所有线段树中,\(x\to 1\) (祖先)的路径上不存在任何一个 tag 的线段树有几棵。
这样一来 Type 3 的问题自然解决了。
根据结点的 Type 进行分类讨论,设计转移:
- Type 1:
- 当前这个位置修改后必不可能存在标记,因为不管之前有没有都将被 \(\text P\small\text{USHDOWN}\)。
- \(f_i(x) \leftarrow f_{i-1}(x)\)
- \(g_i(x)\leftarrow g_{i-1}(x) + 2^{i-1}\)
- Type 2:
- 当前这个位置修改后必定存在标记,因为我们打 tag 打的就是这。
- \(f_i(x)\leftarrow f_{i-1}(x) + 2^{i-1}\)
- \(g_i(x)\leftarrow g_{i-1}(x)\)
- Type 3:
- 这里到底会不会有标记,还得看上头有没有东西可以传下来。
- 其中共有 \(2^{i-1}-g_{i-1}(x)\) 棵线段树是存在至少一个标记的,只要有一个此处就得的到标记,这些会参与 \(f\) 的转移当中。
- 至于 \(g\) 如何,原先有的还是有,没有的还是没有,该咋样咋样,复制一次刚好就 \(\times 2\)。
- \(f_i(x)\leftarrow f_{i-1}(x)+2^{i-1}-g_{i-1}(x)\)
- \(g_i(x)\leftarrow 2g_{i-1}(x)\)
- Type 4:
- 由于 Type 4 的点在 Type 2 的点之下,而 Type 2 必定有 tag,于是上头不可能没有 tag。
- 这里不会被遍历到,标记状况不会变,该咋样咋样。
- \(f_i(x)\leftarrow 2f_{i-1}(x)\)
- \(g_i(x)\leftarrow g_{i-1}(x)\)
- Type 5:
- 被遗忘的角落,啥都不会变。
- \(f_i(x)\leftarrow 2f_{i-1}(x)\)
- \(g_i(x)\leftarrow 2g_{i-1}(x)\)
于是这题就做完了……吗?
我们发现,Type 1、2、3 的点数都不超过 \(O(\log n)\),这些暴力的话问题也不大,不过 Type 4、5 的点数可以达到难以接受的 \(O(n)\)。
但别忘了,现在我们是在线段树上搞 dp!线段树的标配是什么?懒标记!
既然题面上都这么多标记,那我们 Type 4、5 同样可以打标记,而且只需要维护一个乘法标记就行了。
然后差不多真的就做完了,细节还是挺多的。注意这里空间需要开大一倍,我们比一般线段树多往下更新了一层。
实现的话,只要在伪代码基础上改改就行。
Code
/*
* Author : _Wallace_
* Source : https://www.cnblogs.com/-Wallace-/
* Problem : ZJOI2019 线段树
*/
#include <cstdio>
using namespace std;
const int N = 1e5 + 5;
const int mod = 998244353;
typedef long long LL;
int n, m;
LL f[N << 3], g[N << 3];
LL tf[N << 3], tg[N << 3]; // multiplication tags
LL sf[N << 3]; // sum of f in a subtree
#define mid ((l + r) >> 1)
#define dirL x << 1, l, mid
#define dirR x << 1 | 1, mid + 1, r
void pushup(int x) {
sf[x] = (sf[x << 1] + sf[x << 1 | 1] + f[x]) % mod;
}
void build(int x, int l, int r) {
f[x] = 0ll, g[x] = 1ll, tf[x] = tg[x] = 1ll, sf[x] = 0ll;
if (l == r) return;
build(dirL), build(dirR), pushup(x);
}
void update_f(int x, LL v) {
(f[x] *= v) %= mod, (sf[x] *= v) %= mod, (tf[x] *= v) %= mod;
}
void update_g(int x, LL v) {
(g[x] *= v) %= mod, (tg[x] *= v) %= mod;
}
void pushdown(int x) {
if (tf[x] != 1ll) {
update_f(x << 1, tf[x]);
update_f(x << 1 | 1, tf[x]);
tf[x] = 1ll;
}
if (tg[x] != 1ll) {
update_g(x << 1, tg[x]);
update_g(x << 1 | 1, tg[x]);
tg[x] = 1ll;
}
}
LL k = 1ll;
void modify(int x, int l, int r, int ql, int qr) {
pushdown(x);
int lc = x << 1, rc = lc | 1;
if (ql <= l && r <= qr) {
(f[x] += k) %= mod; // type 2
update_f(lc, 2), update_f(rc, 2); // type 4
} else {
(g[x] += k) %= mod; // type 1
if (qr <= mid) {
modify(dirL, ql, qr), pushdown(rc);
(f[rc] += (k - g[rc] + mod) % mod) %= mod; // type 3
(g[rc] *= 2) %= mod; // type 3
update_f(rc << 1, 2), update_f(rc << 1 | 1, 2); // type 5
update_g(rc << 1, 2), update_g(rc << 1 | 1, 2); // type 5
pushup(rc);
} else if (ql > mid) {
modify(dirR, ql, qr), pushdown(lc);
(f[lc] += (k - g[lc] + mod) % mod) %= mod; // type 3
(g[lc] *= 2) %= mod; // type 3
update_f(lc << 1, 2), update_f(lc << 1 | 1, 2); // type 5
update_g(lc << 1, 2), update_g(lc << 1 | 1, 2); // type 5
pushup(lc);
} else {
modify(dirL, ql, qr), modify(dirR, ql, qr);
}
}
pushup(x);
}
#undef mid
signed main() {
scanf("%d%d", &n, &m);
build(1, 1, n);
for (int i = 1; i <= m; i++) {
int opt, l, r;
scanf("%d", &opt);
if (opt == 1) {
scanf("%d%d", &l, &r);
modify(1, 1, n, l, r);
(k *= 2) %= mod;
}
else printf("%d\n", sf[1]);
}
return 0;
}
【ZJOI2019】线段树(线段树 & dp)的更多相关文章
- Codeforces Round #278 (Div. 1) Strip (线段树 二分 RMQ DP)
Strip time limit per test 1 second memory limit per test 256 megabytes input standard input output s ...
- 线段树(单标记+离散化+扫描线+双标记)+zkw线段树+权值线段树+主席树及一些例题
“队列进出图上的方向 线段树区间修改求出总量 可持久留下的迹象 我们 俯身欣赏” ----<膜你抄> 线段树很早就会写了,但一直没有总结,所以偶尔重写又会懵逼,所以还是要总结一下. ...
- Codeforce 101B. Buses(线段树or树状数组+离散化)
Buses ...
- HDU 5877 dfs+ 线段树(或+树状树组)
1.HDU 5877 Weak Pair 2.总结:有多种做法,这里写了dfs+线段树(或+树状树组),还可用主席树或平衡树,但还不会这两个 3.思路:利用dfs遍历子节点,同时对于每个子节点au, ...
- 学习笔记--函数式线段树(主席树)(动态维护第K极值(树状数组套主席树))
函数式线段树..资瓷 区间第K极值查询 似乎不过似乎划分树的效率更优于它,但是如果主席树套树状数组后,可以处理动态的第K极值.即资瓷插入删除,划分树则不同- 那么原理也比较易懂: 建造一棵线段树(权值 ...
- BZOJ_3196_二逼平衡树_(树套树,线段树+Treap)
描述 http://www.lydsy.com/JudgeOnline/problem.php?id=3196 可以处理区间问题的平衡树. 3196: Tyvj 1730 二逼平衡树 Time Lim ...
- [BZOJ 1901] Dynamic Rankings 【树状数组套线段树 || 线段树套线段树】
题目链接:BZOJ - 1901 题目分析 树状数组套线段树或线段树套线段树都可以解决这道题. 第一层是区间,第二层是权值. 空间复杂度和时间复杂度均为 O(n log^2 n). 线段树比树状数组麻 ...
- BZOJ 3110 ZJOI 2013 K大数查询 树套树(权值线段树套区间线段树)
题目大意:有一些位置.这些位置上能够放若干个数字. 如今有两种操作. 1.在区间l到r上加入一个数字x 2.求出l到r上的第k大的数字是什么 思路:这样的题一看就是树套树,关键是怎么套,怎么写.(话说 ...
- 归并树 划分树 可持久化线段树(主席树) 入门题 hdu 2665
如果题目给出1e5的数据范围,,以前只会用n*log(n)的方法去想 今天学了一下两三种n*n*log(n)的数据结构 他们就是大名鼎鼎的 归并树 划分树 主席树,,,, 首先来说两个问题,,区间第k ...
- HDOJ 4417 - Super Mario 线段树or树状数组离线处理..
题意: 同上 题解: 抓着这题作死的搞~~是因为今天练习赛的一道题.SPOJ KQUERY.直到我用最后一种树状数组通过了HDOJ这题后..交SPOJ的才没超时..看排名...时间能排到11名了..有 ...
随机推荐
- python之《tkinter》
1.创建窗口 import tkinter as tk window = tk.Tk() window.title('my window') window.geometry('300x100') -- ...
- 《HarmonyOS设备开发入门手册》
HarmonyOS设备开发入门手册-更新 [欢迎大家点击下载] 作者:连志安 想了解更多内容,请访问: 51CTO和华为官方战略合作共建的鸿蒙技术社区 https://harmonyos.51cto. ...
- 关于vm.min_free_kbytes的合理设置推测
前言 之前系统出现过几次hung住的情况,没有oom,也没有其它内存相关的信息,而linux设计就是去尽量吃满内存,然后再回收清理的机制 探讨 目前这个参数还没有找到合适的处理这个预留的参数,一般也没 ...
- Ceph如何实现文件系统的横向扩展
前言 在跟一个朋友聊天的时候,聊到一个技术问题,他们的一个环境上面小文件巨多,是我目前知道的集群里面规模算非常大的了,但是目前有个问题,一方面会进行一倍的硬件的扩容,而文件的数量也在剧烈的增长着,所以 ...
- Python面试题_中级版
Python 面试题 1.Python是如何进行内存管理的 对象引用机制.垃圾回收机制.内存池机制 1.1对象引用机制 Python内部使用引用计数,来保持追踪内存中的对象,所有对象都有引用计数. 引 ...
- apiAutoTest-更新2020/11/23
原始版本 简书:https://www.jianshu.com/p/6bfaca87a93b 博客园:https://www.cnblogs.com/zy7y/p/13426816.html test ...
- Metasploit 脚本Web传递(Web Delivery)
Metasploit 脚本Web传递(Web Delivery)
- JS逆向课程笔记
扩展知识 Sources-js代码格式化
- C语言中的const用法
Const是什么? const是一个C语言的关键字,它限定一个变量不允许被改变.使用const在一定程度上可以提高程序的健壮性,另外,在观看别人代码的时候,清晰理解const所起的作用,对理解对方的程 ...
- CSRF和XSS的区别
XSS是啥? xss就是跨域脚本攻击 什么是跨域脚本攻击? 就是在正常的输入框中(如:用户名修改等)插入script恶意代码,从而在你遍历数据的时候加载该js文件, 获取你的cookie或sessio ...