华工人工智能老师上课第一章.pptVIP

* h计算举例 h(n) =4 2 8 3 1 6 4 7 5 1 2 3 4 5 7 6 8 * 2 8 3 1 6 4 7 5 2 8 3 1 4 7 6 5 2 8 3 1 6 4 7 5 2 8 3 1 6 4 7 5 2 3 1 8 4 7 6 5 2 8 3 1 4 7 6 5 2 8 3 1 4 7 6 5 2 8 3 7 1 4 6 5 8 3 2 1 4 7 6 5 2 3 1 8 4 7 6 5 2 3 1 8 4 7 6 5 1 2 3 8 4 7 6 5 1 2 3 8 4 7 6 5 1 2 3 7 8 4 6 5 s(4) A(6) B(4) C(6) D(5) E(5) F(6) G(6) H(7) I(5) J(7) K(5) L(5) M(7) 目标 1 2 3 4 5 6 * 2，最佳图搜索算法A*（A*算法） 在A算法中，如果满足条件： h(n)≤h*(n) 则A算法称为A*算法。 * A*条件举例 8数码问题 h1(n) = “不在位”的将牌数 h2(n) = 将牌“不在位”的距离和 2 8 3 1 6 4 7 5 1 2 3 4 5 7 6 8 将牌1：1 将牌2：1 将牌6：1 将牌8：2 * A*算法的性质 A*算法的假设 设ni、nj是任意两个节点，有： C(ni, nj) ? 其中?为大于0的常数 几个等式 f*(s) = f*(t) = h*(s) = g*(t) = f*(n) 其中s是初始节点，t是目标节点，n是s到t的最佳路径上的节点。 * A*算法的性质（续1） 定理1.1： 对有限图，如果从初始节点s到目标节点t有路径存在，则算法A一定成功结束。 * A*算法的性质（续2） 引理1.1 ： 对无限图，若有从初始节点s到目标节点t的路径，则A*不结束时，在OPEN表中即使最小的一个f值也将增到任意大，或有f(n)f*(s)。 * A*算法的性质（续3） 引理1.2： A*结束前，OPEN表中必存在f(n)≤f*(s)。 存在一个节点n，n在 最佳路径上。 f(n) = g(n) + h(n) = g*(n)+h(n) ≤g*(n)+h*(n) = f*(n) = f*(s) * A*算法的性质（续3） 定理1.2： 对无限图，若从初始节点s到目标节点t有路径存在，则A*一定成功结束。 引理1.1：A*如果不结束，则OPEN中所有的n有f(n) f*(s) 引理1.2：在A*结束前，必存在节点n，使得 f(n) ≤ f*(s) 所以，如果A*不结束，将导致矛盾。 * A*算法的性质（续4） 推论1.1： OPEN表上任一具有f(n)f*(s)的节点n，最终都将被A*选作扩展的节点。 由定理1.2，知A*一定结束，由A*的结束条件，OPEN表中f(t)最小时才结束。而 f(t) ≥ f*(t) ＝ f*(s) 所以f(n)f*(s)的n，均被扩展。得证。 * A*算法的性质（续5） 定理1.3 (可采纳性定理)： 若存在从初始节点s到目标节点t有路径，则A*必能找到最佳解结束。 * 可采纳性的证明 由定理1.1、1.2知A*一定找到一条路径结束 设找到的路径s→ t不是最佳的（t为目标） 则：f(t) = g(t) f*(s) 由引理1.2知结束前OPEN中存在f(n)≤f*(s)的节点n，所以 f(n) ≤ f*(s) f(t) 因此A*应选择n扩展，而不是t。与假设A*选择t结束矛盾。得证。 注意：A*的结束条件 * A*算法的性质（续6） 推论1.2： A*选作扩展的任一节点n，有f(n)≤f*(s)。 由引理2.2知在A*结束前，OPEN中存在节点n’， f(n’)≤f*(s) 设此时A*选择n扩展。 如果n＝n’，则f(n)≤f*(s)，得证。 如果n≠ n’，由于A*选择n扩展，而不是n’，所以有f(n) ≤ f(n’)≤f*(s)