ZROI 19.08.12模拟赛
写在前面:为了保护正睿题目版权,这里不放题面,只写题解。
“我发现问题的根源是大家都不会前缀和。”——敦爷
- A
敦爷spj写错了,差点把蒟蒻swk送走
\(50pts:\)
考虑不输出方案怎么做。显然是树形dp。
设\(f_{i,j,\{0/1/2\}}\)表示\(i\)的子树中,有\(j\)条链,根节点状态为:\(\{\)没选\(/\)选了向下的一条链\(/\)选了向下的两条链\(\}\)的最优解。
对于一棵子树,开始时只考虑根节点,依次合并每个儿子。合并时需要枚举父亲和儿子的状态,用\(size\)限制枚举上界,可以证明复杂度是\(O(nk)\)的。
转移的时候分别讨论各个状态之间的转移即可。
\(100pts:\)
输出方案也不难,只需要记录每个状态依次从哪个儿子的哪个状态转移来即可。
可以把转移方向放在儿子上,避免复杂的可持久化。
当然写起来就是另一回事了
复杂度证明:
合并大小分别为\(x,y\)的两棵子树,复杂度为\(O(\min(x,k)\cdot \min(y,k))\)。
不妨设\(x\geq y\),对两棵子树的三种情况分别分析。
①\(x\geq k, y\geq k\),则单次复杂度\(O(k^2)\),但这样的子树最多\(\frac{n}{k}\)棵,总复杂度\(O(nk)\)。
②\(x\geq k, y < k\),发现每个节点最多合并进\(size\geq k\)的子树一次,即整棵树上每个零散节点最多产生\(O(k)\)的复杂度,总复杂度\(O(nk)\)。
③\(x<k,y<k\),对于一个节点,最多与\(O(k)\)个节点合并后,子树大小就会\(\geq k\),因此每个节点最多产生\(O(k)\)的复杂度,总复杂度\(O(nk)\)。
- B
\(60pts:\)
对于一次操作\([x,y]\),区间\([l_i,r_i]\)被访问的充要条件是:\([x,y]\)与\([l_i,r_i]\)有交;\([x,y]\)不完全包含\([l_i,r_i]\)的父亲。
由此可以得到一个\(O(nq)\)的算法,即对线段树上的每个节点分别统计访问次数。实现时有很多分类讨论,比较复杂。
\(100pts:\)
对于\(O(nq)\)算法里的分类讨论,每种讨论实际上都可以提取出一个关于\(x,y\)的低次多项式。
发现如果区间\([l_i,r_i]\)被\([x,y]\)包含,则它的每一个子区间都被其包含。因此整个子树可以规避分类讨论,预处理多项式系数即可。
即询问时遇到完全包含的节点可以直接退出,复杂度等同于线段树区间询问,\(O(n+q\log n)\)。
- C
\(60pts:\)
发现\(h_{i+1}-h_i\)等于\(i\)位置结束的每个子串的\(G_i\)之和,即\([1,i]\)每个前缀的末尾增加了一个字符。
把\(n\)个后缀拉出来跑kmp,维护一下前缀和即可。
\(100pts:\)
对于字符串\(A\),\(f_i\)的含义其实是\(A[1…i]\)的border(相等的前后缀)个数。
由此得到\(G_A\)的含义是\(A\)的每个前缀出现的次数\(-1\)之和,因为每次枚举到这个前缀第一次出现以外的位置时,都会产生一次border的贡献。
再考虑\(h_{i+1}-h_i\),即\(\sum_{j=1}^i G_{S[j…i]}\)的意义,发现对于\(S[1…i]\)的每个子串,设其出现次数为\(d\),产生的贡献为\(\frac{d(d-1)}2\)。
用后缀自动机维护,每次加入新字符时,等价于\(fail\)树上到根节点的链\(+1\),可以离线树剖或者LCT维护。
ZROI 19.08.12模拟赛的更多相关文章
- ZROI 19.08.07模拟赛
传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. "正睿从来没有保证,模拟赛的题目必须原创." "文案不是我写的,有问题找喵老师去."--蔡老师 ...
- ZROI 19.08.11模拟赛
传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. dlstql,wsl A \(10pts:\) \(a=100,T=100\),对每个排列构造一个反的,一步到位即可. \(20pts ...
- ZROI 19.08.10模拟赛
传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. A \(20pts:\) 枚举操作序列然后暴力跑,复杂度\(O(6^n)\). \([50,80]pts:\) 枚举改成dfs,每层操 ...
- ZROI 19.08.09模拟赛
传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. A \(70pts:\) 维护一个栈,从一侧向另一侧扫描,如果新加入的元素与当前栈顶相同,则出栈,否则进栈.显然一个子串是括号序列,当 ...
- ZROI 19.08.06模拟赛
传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. 今天正睿又倒闭了,从删库到跑路. 天祺鸽鸽txdy! A "不要像个小学生一样一分钟就上来问东西."--蔡老板 虽 ...
- ZROI 19.08.05模拟赛
传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. A \(21pts:\) 随便枚举,随便爆搜就好了. \(65pts:\) 比较显然的dp,设\(f_{i,j,k}\)表示在子树\( ...
- ZROI 19.08.04模拟赛
传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. "这应该是正睿OI历史上第一次差评破百的比赛." "这说明来正睿集训的人越来越多了." &qu ...
- [10.12模拟赛] 老大 (二分/树的直径/树形dp)
[10.12模拟赛] 老大 题目描述 因为 OB 今年拿下 4 块金牌,学校赞助扩建劳模办公室为劳模办公室群,为了体现 OI 的特色,办公室群被设计成了树形(n 个点 n − 1 条边的无向连通图), ...
- ZROI 19.08.08模拟赛
传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. 首先恭喜swk今天翻车! "小心大样例演你."--天祺鸽鸽 果然swk今天被大样例演死了,天祺鸽鸽诚不欺我! A ...
随机推荐
- 二十:jinja2之加载静态文件
静态文件: flask默认指定的静态文件路径为根目录下的static,可以自定义路径,并指定,使用url_for('文件夹', filename='文件名')引用 加载css文件 加载js文件 其他文 ...
- shell命令find删除修改后带尾巴的重复的文件
命令:find . -name "*~" -delete 说明:在linux中 点号(.)表示当前目录,连续的连个点号(..)表示父级目录 作用:在linux中,我经常会遇到这样的 ...
- java:Spring框架1(基本配置,简单基础代码模拟实现,spring注入(DI))
1.基本配置: 步骤一:新建项目并添加spring依赖的jar文件和commons-logging.xx.jar: 步骤二:编写实体类,DAO及其实现类,Service及其实现类; 步骤三:在src下 ...
- 剑指Offer总结——重建二叉树
/** * Definition for binary tree * struct TreeNode { * int val; * TreeNode *left; * TreeNode *right; ...
- python基础语法之集合set
1 概念 集合是一个无需的,不重复的数组组合,它的主要作用如下: 去重,将一个列表装换成集合,会将其去重 关系测试,测试两组数据的交集,差集,并集等关系. 集合对象是一组无需排列的可哈希的值,集合成员 ...
- Centos(64位)安装Hbase详细步骤
HBase是一个分布式的.面向列的开源数据库,该技术来源于 Fay Chang 所撰写的Google论文“Bigtable:一个结构化数据的分布式存储系统”.就像Bigtable利用了Google文件 ...
- CDH6.2扩容
参考: yum方式扩容: https://www.cnblogs.com/yinzhengjie/articles/11104776.html 二进制包方式扩容: https://www.cnblog ...
- windows 通过cmd命令行管理防火墙
(1)恢复初始防火墙设置 netsh advfirewall reset(2)关闭防火墙 netsh advfirewall set allprofiles state off(3)启用桌面防火墙 n ...
- gcc数据结构对齐之:why.
gcc 支持 aligned 和 packed 属性指定数据对齐,那么在了解对齐规则之前,需要解决第一个以为,我们为什么需要数据对齐?请看下图: 相信学过汇编的朋友都很熟悉这张图,这张图就是CPU与内 ...
- redis 无序集合 数据类型
sadd emptno 8000 sadd emptno 8001 sadd emptno 8002 smembers emptno 返回集合全部数据 scard 获取集合长度 sismem ...