与或图搜索ADORGraphSearch.pptVIP

与或图搜索AND/OR Graph Search 问题归约 问题归约是人求解问题常用的策略，其把复杂的问题变换为若干需要同时处理的较为简单的子问题后再加以分别求解。只有当这些子问题全部解决时，问题才算解决，问题的解答就由子问题的解答联合构成。问题归约可以递归地进行，直到把问题变换为本原问题的集合。所谓本原问题就是不可或不需再通过变换化简的原子问题。 与或图的搜索 基本概念 与或图是一个超图，节点间通过连接符连接。 k-连接符： 解图费用的计算 k(n, N) = Cn+k(n1, N)+…+k(ni, N) 其中：N为终止节点集 Cn为连接符的费用 与或图启发式搜索算法AO* 两个过程 图生成过程，即扩展节点 计算费用的过程 AO*算法 博弈 博弈树搜索 博弈问题 双人 一人一步 双方信息完备 零和 中国象棋 一盘棋平均走50步，总状态数约为10的161次方。 假设1毫微（十亿分之一）秒走一步，约需10的145次方年。（宇宙年龄最新估计约147亿年~10的10次方年 ） 结论：不可能穷举。 ?-?剪枝 极大节点的下界为?。 极小节点的上界为?。 剪枝的条件： 后辈节点的?值≤祖先节点的?值时， ?剪枝 后辈节点的? 值≥祖先节点的?值时， ?剪枝 简记为： 极小≤极大，剪枝 极大≥极小，剪枝 ?-?剪枝 1) 当任何M I N节点的值小于等于它的M A X的祖先节点的值，则可中止该M I N节点以下的搜索。该M I N节点的值可以当作最终倒推值。该值与完全最小化搜索得到的值不等，但同样可以选择到相同的最佳移动方式。 2) 当任何M A X节点的值大于等于它的M I N的祖先节点的值时，则可中止该M A X节点以 下的搜索，该M A X节点的值可以当作最终倒推值。 ? M A X节点的值等于它的后继节点中的最大最终倒推值。 ? M I N节点的值等于它的后继节点中的最小最终倒推值。 * 目标 目标 n0 n1 n2 n3 n4 n5 n6 n7 n8 …... k个 …... i个 n n1 n2 ni 前提 初始节点 解图(对应普通图中的解路径)： 几个解图的费用 目标 目标 n0 n1 n2 n3 n4 n5 n6 n7 n8 目标 目标 初始节点 解图(对应普通图中的解路径)： 解图的费用：8 假设k－连接符的费用为k 目标 目标 初始节点 解图(对应普通图中的解路径)： 解图的费用：7 目标 目标 初始节点 其中： h(n0)=3 h(n1)=2 h(n2)=4 h(n3)=4 h(n4)=1 h(n5)=1 h(n6)=2 h(n7)=0 h(n8)=0 设：k-连接符 费用的值为k 目标 目标 初始节点 n0 n1 n2 n3 n4 n5 n6 n7 n8 目标 目标 初始节点 n0 n1 n2 n3 n4 n5 n6 n7 n8 初始节点 n0(3) n1(2) n4(1) n5(1) 红色：4 蓝色：3 目标 目标 初始节点 n0 n1 n2 n3 n4 n5 n6 n7 n8 初始节点 n4(1) n5(1) 红色：4 蓝色：6 n1 (2-5) n2(4) n3(4) n0(3) n0(3-4) 目标 目标 初始节点 n0 n1 n2 n3 n4 n5 n6 n7 n8 初始节点 n4(1) n1(5) n2(4) n3(4) n6(2) n7(0) n8(0) n0(4) n5(1) n5(1-2) 目标 目标 初始节点 n0 n1 n2 n3 n4 n5 n6 n7 n8 红色：5 蓝色：6 初始节点 n0(4) n4(1) n5(1-2) n1(5) n2(4) n3(4) n6(2) n7(0) n8(0) n0(4-5) 目标 目标 初始节点 n0 n1 n2 n3 n4 n5 n6 n7 n8 红色：5 蓝色：6 初始节点 n0(5) n4(1) n5(2) n1(5) n2(4) n3(4) n6(2) n7(0) n8(0) 目标 目标 初始节点 n0 n1 n2 n3 n4 n5 n6 n7 n8 红色：5 蓝色：6 初始节点 n0(5) n4(1) n5(2) n1(5) n2(4) n3(4) n6(2) n7(0) n8(0) 目标 目标 初始节点 n0 n1 n2 n3 n4 n5 n6 n7 n8 红色：5 蓝色：6 初始节点 n0(5) n4(1) n5(2) n1(5) n2(4) n3(4) n6(2) n7(0) n8(0) 0 0 0 -3 0 3 0 1 3 3 2 2 2 2 1 1 -3 1 1 -5 -5 -5 2 2 2 2 3 3 -3 3 -1 3