第三章与或图搜索.pptVIP

第三章 与或图搜索问题 ---问题归约法 §3.0 引言 归约(Reduction) 例1 问题1：现有煤气灶、水龙头、水壶和火柴，你怎样烧水？ 答：向水壶中注满水，把水壶放在煤气灶上，擦火柴点燃煤气灶。 本原问题 可直接得到答案的问题称为本原问题 例1中的原始的烧水问题 例2中根据鸽巢原理直接可回答的问题 例3中求矩形面积的问题 归约法 把原问题转化(分解)为一个或几个子问题，对子问题再归约，直至成为可以直接求解的本原问题。 §3.1问题空间及与或图表示 梵塔难题的两种解法 状态空间法 初始数据库 (1 1 1) 表示C, B, A三个盘都在柱1上 目标数据库 (3 3 3) 表示C, B, A三个盘都在柱3上 状态空间 采用归约法 要把所有圆盘移至柱3，必须先把C盘移至柱3，而在移动C盘至柱3前，柱3必须为空。 只有把A、B移至柱2后，才能将C移到柱3。 在C移至柱3后，再解决将A、B移至柱3。 将上面的分析理一下顺序：就把原问题归约为3个子问题： 移动A、B至柱2的双圆盘问题； 移动C至柱3的单元盘问题；（本原问题） 移动A、B至柱3的双圆盘问题。 将梵塔问题归约为本原问题的问题空间 小结 状态空间法与问题归约法的比较 状态空间——问题空间 操作——归约 求解路径——本原问题 归约就是