TODO

dp：决策单调性，四边形不等式，动态 dp

字符串：SA, AC 自动机，SAM

数学：类/万欧，杜教筛，各种反演（莫比乌斯反演），min_25 筛，powerful number 筛

数据结构：历史最值，分块，可持久化数据结构（可持久化线段树），李超树，K-D Tree，WBLT

图论：树上启发式合并（或 dsu on tree），虚树，树分治，动态树分治，矩阵树定理，差分约束，k 短路，同余最短路，圆方树，HLPP，二分图最大权匹配，一般图最大匹配，一般图最大权匹配，prufer 序列，LGV 引理，弦图

寄算几何：三维寄算几何，旋转卡壳，半平面交

杂项：整体二分，模拟退火，回滚莫队，二次离线莫队