顾名思义，用于求解若干半平面的交。在OI中，一般有如下的应用情形：给定若干条直线，求它们的左边组成的半平面的交。事实上，我们可以通过一组点集来描述半平面交：这是因为如果

在FFT中，因为是浮点数计算因此会掉精度。如果你不知道FFT是什么，请阅读这里。如果在模意义下，我们可以选择不使用复平面的单位根，而是模意义下的单位根。考虑单位根的性

前言如果完全不会求导和积分，以及泰勒展开，这里有一个实用性很强的教程3blue1brown-微积分的本质。多项式牛顿迭代给定函数\(G(x)\)，求多项式\(F(x)\)使得\(G(F(x))

前置快速傅里叶变换FFT多项式的基石操作。快速沃尔什变换FWT位运算卷积。鸽了。快速数论变换NTT把FFT搬到了模意义下，终于可以做计数问题啦。多项式牛顿

单位根反演是用单位根来表示整除关系的东西。定义式\[\left[k\midn\right]=\dfrac{1}{k}\sum\limits_{i=0}^{k-1}\omega_k^{in}\]如果\(k\midn\)，那么\(\omeg

Min-Max容斥是通过容斥集合的最小值来得到集合最大值的一种方法。结合期望的线性性，我们得以计算几个随机变量最值的期望，它往往不和这些变量期望的最值相等。Min-Max容斥

多步容斥多步容斥是指，对于\(n\)个集合\(A_1,A_2,\cdots,A_n\)，有\[|A_1\cupA_2\cdots\cupA_n|=\sum\limits_{1\leqi\leqn}|A_i|-\sum\limits_{1\leqi<