与或图搜索ANDORGraphSearch.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