动态规划 生成函数 计数 树 构造 图论 数据结构 分治 2-SAT 状态压缩 线性基 网络流 二分 数论 字符串 决策单调性 概率期望 容斥 莫比乌斯反演 贪心 矩阵 多项式 做题记录 根号分治 交互 哈希 游记