摘要: 0.前言 1.5 年前学过,没学好,回来加训。 I.P3834 【模板】可持久化线段树 2 板子题。时间复杂度 \(\mathcal{O(n \log^2 n)}\)。把 \(\{a_i\}\) 看作修改和后面的询问放一起,每次二分出答案值域上的 \(mid\) 后,如果修改的值 \(\le mid 阅读全文
posted @ 2024-11-26 10:25 songszh 阅读(5) 评论(0) 推荐(1) 编辑
摘要: 0.前言 K-D Tree 是一种能够处理高维空间信息的数据结构,其在一些情况下能够代替 CDQ 分治以及树套树,较优秀地处理 \(k\) 维空间上的信息。 参考资料:OI-wiki 题单:\(\tt{Link}\) 1.KDT 的原理 KDT 的结构与 BST 类似,其每一个非叶子节点都具有超平面 阅读全文
posted @ 2024-11-17 14:54 songszh 阅读(16) 评论(0) 推荐(1) 编辑
摘要: 题意 在一个凹槽中放置了 \(n\) 层砖块、最上面的一层有 \(n\) 块砖,从上到下每层依次减少一块砖。每块砖都有一个分值,敲掉这块砖就能得到相应的分值,如下图所示: 14 15 4 3 23 33 33 76 2 2 13 11 22 23 31 如果你想敲掉第 \(i\) 层的第 \(j\) 阅读全文
posted @ 2024-11-15 19:14 songszh 阅读(5) 评论(0) 推荐(1) 编辑
摘要: 1.普通状态压缩 DP oi-wiki I.P1896 [SCOI2005] 互不侵犯 \(f_{i,j,st}\) 表示前 \(i\) 行中放置了 \(j\) 个国王,当前行状态为 \(st\) 的方案数。可以预处理出合法的状态与其 popcount,转移时枚举当前行状态和上一行状态,合法就转移。 阅读全文
posted @ 2024-11-14 22:00 songszh 阅读(4) 评论(0) 推荐(1) 编辑
摘要: 前言 本文将介绍决策单调性优化 DP 的相关内容。持续更新修正,如有差错请指出。 1.四边形不等式优化 1.1 四边形不等式与决策单调性 四边形不等式:如果对于任意的 \(a \le b \le c \le d\) 均成立 \[w(a,d) + w(b,c) \ge w(a,c) + w(b,d) 阅读全文
posted @ 2024-10-31 17:45 songszh 阅读(6) 评论(0) 推荐(2) 编辑
摘要: 常见信息维护 区间和,区间乘积,区间 \(\max ,\min\); 最大子段和:考虑维护最大前后缀,根据最大前后缀能维护最大子段和。 具体的, \(suml(l,r) = \max(suml(l,mid),sum(l,mid) + suml(mid + 1,r))\) \(sumr(l,r) = 阅读全文
posted @ 2024-10-14 13:47 songszh 阅读(5) 评论(0) 推荐(2) 编辑
摘要: 主席树做题记录。 主席树,即可持久化权值线段树。 P3248 [HNOI2016] 树 难爆了这题。题目中会多次把模板树的某个子树放到大树上的某个节点下,我们把这一整个子树看作一个大节点,把模板树、大树分别维护。 具体的,模板树上需要倍增维护两点之间的距离,dfs 序。 大树上需要维护: 大树上大节 阅读全文
posted @ 2024-08-16 17:18 songszh 阅读(10) 评论(0) 推荐(1) 编辑
摘要: 杜教筛 前置:数论分块,莫比乌斯反演,狄利克雷卷积,欧拉函数。 对于数论函数 \(f(n)\),杜教筛能够在线性的时间复杂度内求得 \(\sum\limits_{i=1}^{n} f(i)\) 的值。 只要我们能够构造出另一个数论函数 \(g(n)\),使得 \(\sum\limits_{i=1}^ 阅读全文
posted @ 2024-03-01 14:08 songszh 阅读(48) 评论(2) 推荐(1) 编辑
摘要: 乘法逆元 定义 对于一个线性同余方程 \(ax \equiv 1 \pmod p\),称 \(x\) 为 \(a \bmod p\) 下的逆元,可记作 \(a^{-1}\)。 求法 快速幂求逆元 我们需要使用费马小定理: \[\begin{aligned} ax &\equiv 1 \pmod p\ 阅读全文
posted @ 2024-01-29 17:24 songszh 阅读(6) 评论(0) 推荐(1) 编辑
摘要: BSGS 简介 BSGS(Baby Step, Giant Step)算法,用于解决高次同余方程,即给定整数 \(a,b,p\),其中 \(a \perp p\) (互质),求解最小非负整数 \(x\) 使得 \(a^x \equiv b \pmod p\)。 算法流程 将 \(a^x \equiv 阅读全文
posted @ 2024-01-26 16:17 songszh 阅读(11) 评论(0) 推荐(1) 编辑