提高算法

杜教筛
BSGS算法
支配树
2-SAT问题
Polya定理
线性基