与或图搜索-copy

与或图搜索-copy

Info iconThis preview shows pages 1–9. Sign up to view the full content.

View Full Document Right Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 1 第二章 问题求解基本原理 搜索技术 ( ) 基于问题空间的与 或图搜索
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 2 基于问题空间的与或图搜索 ± 与或图搜索有关概念 ² 与或解图及其能解标记与费用计算 ² 最佳与或解图的启发式搜索算法 – AO* 算法 ² AO* 算法 应用实例
Background image of page 2
北京航空航天大学软件开发环境国家重点实验室 Slide 3 与或图搜索有关概念 问题空间法回顾 - S, S 0 , F, G ) ± S:问题和子问题集合, S 0 :初始问题; ± F:将初始问题(子问题)分解成更简单的子问题的算子集合 ± G:本原问题集合,其中,每一个问题是不言自明的公理、 已知事实,或是已经证明的定理等。
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 4 与或图搜索有关概念 分解规则: if n 0 then n 1 ∨(n ∧n ); if n then n ∨n if n then(n ); if n then(n ); if n then n if n then n ∨(n ); if n then n n 2 n n 初始问题: n 0 ; 本原(终叶)问题: { n 7, n } 问题及子问题:{ n 0 , n 7 ,n 8 ,n 1 ,n 2 ,…… } 动态搜索 过程: 1、隐含生成一个与或图; 2、求解一个与或解图
Background image of page 4
北京航空航天大学软件开发环境国家重点实验室 Slide 5 与或图搜索有关概念 ± 仅由 K = 1 的外向 k-连接符构成的搜索空间: ² 无环与或图: 与或图中,如果每一个后继节点不再是该节 点的祖先节点,这种与或图称为无环与或图。 ² 外向K-连接符: 在与或图中,任一节点通过若干个外向 k-连 接符(k元算子)与其后继节点相连接,其中 K = 1 的外向 k-连接符:或连接符; K 〉1 的外向 k-连接符:与连接符。 普通有向图 由K 1 的外向 k-连接符构成的搜索空间: 与或图。
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 6 ± 问题求解过程分析 : 与或图搜索有关概念 ¾ 分析过程 : 自上而下搜索生成 与或图 ; ¾ 计算过程 : 自下而上搜索求解 与或解图。
Background image of page 6
北京航空航天大学软件开发环境国家重点实验室 Slide 7 ± 与或图搜索有关概念 ² 与或解图及其能解标记与费用计算 ² 最佳与或解图的启发式搜索算法 – AO* 算法 ² AO* 算法 应用实例 基于问题空间的与或图搜索
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
北京航空航天大学软件开发环境国家重点实验室 Slide 8 与或解图及其能解标记与费用计算 ± 定义: 与或图 G 中,从任一节点 n 到叶节点(本原问题)集合 N 的一 个局部解图 G’ 递归定义如下: ² 若 n 属于 N,则此解图 G’ 由单一节点{n}组成; ² 若 n 有一个指向节点{n 1 ,n 2 ,….,n k }的外向 k-连接符(k ≥ 1), 而且从每一个 n i (i=1,2,….k) 到 N 都有一个解图
Background image of page 8
Image of page 9
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 30

与或图搜索-copy

This preview shows document pages 1 - 9. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online