本题考查博弈论中的算法知识。Alpha-Beta剪枝是一种在博弈树上使用极大极小算法时进行的剪枝技术，它能够减少不必要的节点评估，提高搜索效率。Sprague-Grundy定理是求解组合游戏的定理，暴力搜索是一种没有优化的搜索方法，动态规划是一种优化算法，但不是用于博弈树剪枝的技术。