人工智能-第4章-与或图搜索.pptVIP

人工智能 华中科技大学水电与数字化工程学院 第四章 与或图搜索 1 问题归约法 2 与或图 3 与或图搜索 4 AO*算法 5 博弈树的搜索 1 问题归约法 问题: 在边长为 2 的正方形内，任意放置 5 个点，求证其中必存在两个点，它们之间的距离不大于?2。 问题可转化为：在四个单位正方形内，任意放置5个点，至少有两个点在同一正方形内。 问题: 假定我们已经会求矩形的面积，现在要求如图所示的五边形的面积。 方法分析: 五边形的面积转化为矩形面积。 求解步骤： 小结: 问题归约法: 当问题复杂时，可把初始问题分解成若干简单的子问题，若子问题仍复杂，可再进一步分解，直到这些子问题的解可直接得到。这种问题的描述和求解方法，称为~. 本原问题: 可直接解答的问题称为~ ，它是不必证明的、自然成立的. 归约法的组成： 1）一个初始问题的描述； 2）一组把问题变成子问题的算子 (分解或转换)； 3）?一组本原问题的描述 不同的算子对应不同的关系,从而使问题归约的描述可用一个与或图的结构来表示. 2 与或图 与节点：把单个问题分解为几个子问题来求解。只有当所有子问题都有解，该父辈节点才有解。表示一种 “与” 关系。 或节点：同一问题被转换为几种不同的后继问题。只要有一个后继问题有解，则原问题有解。表示一种 “或” 关系。 定义：与或图就是包含与节点和或节点的图，即存在超弧