2012AI课件第2章知识表示1幻灯片.pptVIP

* #includestdio.h //梵塔问题解决算法(C语言) void hanoi (int n, char A, char B, char C) { if(n==1) 　　{ 　　printf(Move disk %d from %c to %c\n,n,A,C); 　　} else 　 { 　　hanoi(n-1,A,C,B); 　　printf(Move disk %d from %c to %c\n,n,A,C); 　　hanoi(n-1,B,A,C); 　　} } * main() { 　int n; 　printf(请输入数字n以解决n阶汉诺塔问题：\n); 　scanf(%d,n); 　hanoi(n,A,B,C); } 因此，梵塔问题常见的金盘片数为64片，经过计算机的运算，移动的次数需18,446,744,073,709,551,615。 假设1秒钟移动1片金盘，1年中共365×24×60×60，完成64片金盘的时间 为18,446,744,073,709,551,615大约需要5849亿年。 * 问题归约法的基本思路是：应用一系列算符将原始问题的描述变换或分解成为子问题的描述 问题的描述可以采用各种数据结构，如表、树、矢量、数组等 对于梵塔问题，问题及子问题描述： (113)?(333) * 问题归约法可以用一个三元组（S, O, P）来表示，其中： S：原始问题，即要解决的问题 P：本原问题集，其中的每一个问题是不用证明的或自然成立的，例如公理、已知事实等 O：操作算子集，用于将问题化为子问题 * 2 与或图表示 例：有一个问题A，它可以通过三种途径来求解： (1)、求解问题 B 和 C (2)、求解问题 D 、E 和 F (3)、求解 H * 与 或 引入中间节点 好处：任何一个节点的后继节点要么全是“与节点”，要么全是“或节点”。 * 与或图的特例： 所有节点都是或节点，这时就是一般的图，即状态空间法用到的图 除了起始节点外，所有节点只有一个父节点，此时称为与或树，前面的图2.11就是与或树 * 问题归约法、与或图表示之间的对应关系： 问题归约法 原始问题 本原问题 操作符 中间问题 与或图表示 起始节点 终叶节点 与、或关系的弧线 非终叶节点 * 在与或图中，问题有解的条件是：起始节点是可解的 一般情况下： 分解 操作符得到 与节点 变换 操作符得到 或节点 * 在与或图中，一个可解节点的定义是（递归地）： (1)、终叶节点是可解的（因为它们与本原问题相关联的） 一般情况，终叶节点用 t 来表示 * (2)、如果某一个非终叶节点含有“或”后继节点，那么，只要有一个后继节点是可解的，这一个非终叶节点就是可解的。 一个节点可解 可解 * (3)、如果某一个非终叶节点含有“与”后继节点，那么，只要所有后继节点是可解的，这一个非终叶节点才是可解的。 所有节点可解 可解 * 与或图中，一个不可解节点的定义（递归地）是： (1)、没有后裔的非终叶节点是不可解节点。 * (2)、如果某一个非终叶节点含有“或”后继节点，那么，只要当所有的后继节点都不可解时，这一个非终叶节点才是不可解的。 所有节点不可解 不可解 * (3)、如果某一个非终叶节点含有“与”后继节点，那么，只要有一个后继节点是不可解的，这一个非终叶节点就是不可解的。 有一个节点不可解 不可解 * 与或图的解图： 由可解节点所构成的子图，这些节点能够使问题的起始节点是可解的 * 与或图的一些例子 t ：终叶节点 小实心园点 ：可解节点 圆圈 ：不可解节点 多解 * 解图 * 解图 * 解图 * 有向图和无向图： * 无向图：一对节点可能互为后裔，边用线段来表示 * 有向图：一对节点用弧线连接起来，并且从一个节点指向另一个节点 父辈节点或祖先n i 后继节点或后裔nj * 对于某一个节点序列 （ni1, ni2, … nij, …, nik） 如果每一个节点nij-1都有一个后继节点 nij 存在，则将这一序列称为从节点 ni1 到 nik 的长度为 k-1 的路径。 nik ni1 * 如果从节点 ni 到 nj 存在一条路径，则称节点 nj 是从节点 ni 可到达的节点，或者称 nj 是 ni 的后裔节点、称 ni 是 nj 的祖先。 nj ni * 当用有向图来表示状态空间法时，对应关系： 图中的一个节点对应于某一个状态 图中的一个有向弧对应于某一个算符 注：有向弧的旁边可以标以具体算符 * 状态 节点 操作符 有向弧 * 问题：寻找从初始状态到目标状态的