摘要: #树链剖分 树链剖分是为了解决树上链信息维护的问题。 利用线段树等结构,可以维护数组中的增删改查问题。 树链剖分的作用其实就是将整颗结构树分解成若干段数组,然后使用一个数据结构来维护每一条链的信息 (一般来讲不会使用平衡树去维护树链,不然你还不如直接上LCT呢) 如果是数组上的问题,一般直接使用线段 阅读全文
posted @ 2022-07-08 15:31 I_N_V 阅读(51) 评论(0) 推荐(0) 编辑
摘要: ####二叉树 对于一颗二叉树,它有三种遍历方式:前序、中序、后序 前序(根左右),中序(左根右),后序(左右根) 这三种顺序其实都有使用的场景(主要是在分治算法中考虑是递归前,递归进行中,递归后)的区别。 ###多叉树 在多叉树里面,常用的dfs序其实也有三种:dfs序、扩展dfs序、欧拉序 df 阅读全文
posted @ 2022-07-08 12:49 I_N_V 阅读(385) 评论(0) 推荐(0) 编辑
摘要: ###CDQ分治 总体来讲,学过CDQ分治的人会说这个算法是“偏序的魔术师”。 CDQ分治是cdq发明的算法,它的前身是“分治求逆序对”。 换句话说,整个算法来自于“归并排序”的扩展,就是在归并排序的基础上多做了一点而已。 ####求逆序对 逆序对 点击查看代码 #include<bits/stdc 阅读全文
posted @ 2022-05-11 21:50 I_N_V 阅读(521) 评论(0) 推荐(0) 编辑
摘要: ###可持久化数据结构 可持久化数据结构要求在每次进行数据结构的维护后都保存一个历史版本,并且支持对这些历史版本的数据结构进行再操作。 这就使得可持久化数据结构具有O(1)的版本维护和拷贝的特性。 比如O(1)复制整个数据结构,O(1)回退到某个历史版本。 我们想一下,其他的数据结构是否都能可持久化 阅读全文
posted @ 2022-05-09 22:26 I_N_V 阅读(57) 评论(0) 推荐(0) 编辑
摘要: ###莫队 首先对序列进行分块,每个块大小为block 莫队安排的顺序是,首先按照L端点所属的块序号排序,对于L在同一组的块,对R端点单调递增。 因为L被分了组,所以L端点移动的复杂度不会大于block 那R端点呢,因为R端点在每组内移动都是单调的,所以总移动次数为$\frac{N}{block}\ 阅读全文
posted @ 2022-05-01 14:23 I_N_V 阅读(78) 评论(0) 推荐(0) 编辑
摘要: 假设质数p满足$p=r\cdot 2^l +1$,g是p的原根 使用$g_n=g^{\frac{p-1}{n}}代替$FFT$中的\omega_n$ 同理$g_n有以下性质$ $g_{2n}^{2k}\equiv g_n^k (mod : p), (2n\leq 2^l)$ $g_{2n}^n \e 阅读全文
posted @ 2022-01-04 20:07 I_N_V 阅读(779) 评论(0) 推荐(0) 编辑
摘要: ###前置知识 ####欧拉函数 若正整数m,a,满足$(a,m)=1$,则$a^{\phi(m)}\equiv 1(mod: m)$ ####阶 若正整数m,a,满足$(a,m)=1$,则使得$a^n\equiv 1(mod : m)\(的最小正整数n称为a模m的阶,记为\)\delta_m(a) 阅读全文
posted @ 2022-01-03 16:34 I_N_V 阅读(128) 评论(0) 推荐(0) 编辑
摘要: ###拉格朗日插值定理 n个点值$(x_i,y_i) (1\leq i \leq n),$ 满足$x_i \not=y_j(i\not= j)$,它们唯一确定一个$n-1$项多项式 \(f(x)=\sum_{i=1}^ny_i\prod_{j\not=i}\frac{x-x_j}{x_i-x_j}\ 阅读全文
posted @ 2021-12-26 17:01 I_N_V 阅读(113) 评论(0) 推荐(0) 编辑
摘要: ###前置知识 ####复数的指数形式 \(a+bi=re^{i\theta} (r是长度,\theta 是在复平面跟x轴的角度), r=\sqrt{a^2+b^2},tan(\theta)=\frac{b}{a}\) ####单位根 $xn=1$在复数域的根称为n次单位根,n次单位根有n个,形式为 阅读全文
posted @ 2021-12-23 15:45 I_N_V 阅读(132) 评论(0) 推荐(0) 编辑
摘要: ####多项式:\(A(x)=\sum_{i=0}^n a_ix^i\) ####形式幂级数:\(A(x)=\sum_{i\geq0}a_ix^i\) 其中$a_i\in K$,K是一个域,通常我们考虑$K=\mathbb{R}或K=\mathbb{Z}_p$ 注意这里的x可以理解为独立于域K的一个 阅读全文
posted @ 2021-11-22 23:53 I_N_V 阅读(87) 评论(0) 推荐(0) 编辑