搜索与问题求解.ppt

该程序实际是一个旅行商问题的通用程序。 对于一个具体的旅行路径规划, 还需也只需把具体的“地图”用谓词road(City1, City2, Cost)描述出来, 并作为事实并入该程序。 　　该程序还有一个特点是, 它实际是进行双重搜索： 一方面在显式图(地图)上进行搜索,同时又在由此产生的隐式图(以访问过的城市序列为状态节点的状态图)上进行搜索。而该问题的解, 并不是隐式图中的路径,而是路径中的最后一个节点。 这个节点恰好是地图上的一条路径。 3.3 与 或 图 搜 索 3.3.1 与或图 　　我们仍用例子引入与或图的概念。  　　例 3.15 如图3-12所示,设有四边形ABCD和A′B′C′D′, 要求证明它们全等。 　　分析：分别连接B、D和B′、D′, 则原问题可分解为两个子问题：  Q1：证明△ABD≌△A′B′D′ Q2：证明△BCD≌△B′C′D′ 图3-12 四边形ABCD和A’B’C’D’ 　　于是, 原问题的解决可归结为这两个子问题的解决。 换句话说,原问题被解决当且仅当这两个子问题都被解决。  进一步,问题Q1还可再被分解为 Q11：证明AB＝A′B′ Q12：证明AD＝A′D′ Q13：证明∠A＝∠A′ 或 Q11′： 证明A