与或图，是将复杂问题拆解为子问题，并表达子问题间“并且（与）/或者（或）”逻辑的有向图，它的节点分为与节点（其子节点必须全真才真）和或节点（其子节点必须全假才假）。普通的状态图等同于一个全是或节点的与或图。与或图搜索的难点在于，一方面，其必须一边扩展节点一边判断子节点和父节点的逻辑关系；另一方面，当解空间过大时搜索算法一般会剪枝，但是搜索是从初始节点开始向下生长的，而与或图由于其节点的特殊性，其“搜索代价”的计算需要从叶节点开始向上计算，相反的方向导致完美剪枝并计算搜索代价是根本不可能的，但这并不意味着我们没有办法优化与或图的搜索算法。
摘要：与或图，解树代价，希望解树，博弈树，极大极小分析法，α-β剪枝法，多臂老虎机问题，UCB算法，蒙特卡洛树搜索。
