由于最近在复习数学，所以会看到很多省略证明的结论……

可是显然很多结论的我而言一点都不平凡 QAQ……

于是我打算整理一下。

Segment Tree Beats 是一种线段树上维护信息的技巧，可用于处理“区间中 $\ge k$ 的数变为 $k$”此类“区间取最值操作”，由 JRY 在 2016 集训队论文中发表。

为了防止忘记还是记下来吧~从cppreference搬来的~

非旋 Treap，是一种好写，常数小，可拓展性强的弱平衡的二叉搜索树。

定理内容

Sperner定理：对于任意一个包含$n$个元素的集合$U$，我们最多能选择$\dbinom n {\left\lfloor\frac {n} 2\right\rfloor}$个子集，使得这些子集中没有包含关系。

一个初二OIer的总结~

1. CSP2019游记
2. CSP2019总结
3. CSP2019题解（鸽了，已隐藏）

一个蒟蒻OIer的游记……