DPLL算法求解SAT问题

高级算法有哪些？数学：离散对数n次余数Mobius函数计算数值积分高阶代数根快速幂次快速傅里叶变换分为三类图论：前向星、tarjan算法、2sat、kth短路、LCA、...