主要对 Ford–Fulkerson 算法的正确性、最大流最小割定理进行简单的数学证明．

手把手教你发明 IEEE 754 浮点数~

手把手教你发明补码~

本文仅举 C++ 模板元编程若干实践案例，仅供个人使用．

相比有旋 Treap 通过旋转维护平衡，替罪羊树通过暴力重构维护平衡，通过平衡因子的大小决定重构时机，常数相比 FHQ-Treap 较小．

Linear Algebra Done Right 第三章

直接根据 Tag 施加的先后顺序来维护 Tag 队列，时间复杂度并不好看．设法将当前节点的 Tag 与子节点的旧 Tag 合并，就成了优化复杂度的关键．

RMQ 和 LCA 都有使用倍增的实现方式．