学习笔记
一种筛法
洲鸽筛
阶梯nim
威佐夫博奕
K短路
左偏树
容斥
有两种形式
一种是枚举约束的子集的容斥，这时候就是对于满足恰好\(x\)个约束的每一个事件有\(\sum_{i\ =\ 1}^x\ \binom{x}{i}\cdot f(i)\ =\ g(x)\),其中\(g(x)\)为恰好满足\(x\)个约束的事件对总答案的贡献
另一种是枚举划分的子集，譬如划分一个图，保证每个划分的块间不连通，那么对于一个恰好有\(x\)个联通快的图有\(\sum_{i\ =\ 1}^x\ S(x,\ i)\cdot f(i)\ =\ g(x)\)，其中\(S(x,\ i)\)为第二类斯特林数，其中\(g(x)\)为恰好有\(x\)个联通快的图对总答案的贡献
max-min容斥
Bluestein's Algorithm
Polya原理
二次剩余
segment tree beats
LCT
练习题:CF482E BZOJ4530 BZOJ2555
无法动态维护每个节点的子树size，但是可以维护一条重链的深度最浅节点的子树size，只用维护每个点的轻儿子size和splay中子树轻儿子size的和即可
SAM
练习题:BZOJ2555 SPOJ-NSUBSTR
parent树并不是每个节点的par编号小于该节点编号，所以还是要建图dfs
后缀平衡树
练习题:BZOJ3682
\(\infty\) 不能设太大
主要用处是当要在线做带插入删除操作的字符串子串相关问题，可以动态维护sa数组，如果要动态维护height，本人只想出了用hash+二分的方法，如果读者想到不用hash的方法，请联系本人，与字符集大小无关
重量平衡树
\(BST\) 貌似不是重量平衡树
朱刘算法
如果不定根的话可以建一个新点与每个点连一条 \(\infty\) 的边
具体实现可见CF240E，可用左偏树优化到 \(O(V\ +\ E\ log\ V)\)
