1.tarjan正确性证明，求割点为什么不用mark即横叉边情况。
2.高精，各种高精的重载及高精乘低精的万进制优化。
3.cdq分治
4.树状数组
5.主席树，带修主席树
6.treap.splay
7.带修莫队
8.ac自动机
9.prime最小生成树
10.矩阵图论.
11.斜率优化dp
12.树上背包优化
各种板子不熟
各种细节考虑不清（比如大模拟）
