众所周知，虚树是一类重构树，用于处理点数较多而关键点（有效点）数较少的树上问题。举个栗子，我们所熟知的后缀树就是一种虚树……

众所周知，2-SAT即二元适配性问题，用于解决一类布尔方程的求值问题……

Alice 和 Bob 又开始玩游戏了……

众所周知，对于一般的字符串题，存在如下规律：字符串算法 < hash < 暴力，其中 “<” 代表“劣于”。

提供一种小数据下运行效率极高的std::set替代方法。

众所周知，斯坦纳树问题是一类特殊的生成树问题……

众所周知，01-Trie 是字符集为 $\begin{Bmatrix}0,1\end{Bmatrix}$ 的 Trie ，可用于维护若干数字的二进制位，处理点对异或最值、某种动态异或和问题。

众所周知，主席树即可持久化值域线段树， 用于解决区间 $k$ 小值问题以及动态二维数点问题。

众所周知：后缀树是不对劲的 Tire 树….

之前好像写过「组合数学基础」，在这里再来堆点柿子。