3.5-问题归约.ppt.pdfVIP

第3章 搜索策略 3.1 引言 3.2 基于状态空间图的搜索技术(1)(2) 3.3 盲目搜索(1)(2) 3.4 启发式搜索 3.5 问题归约 2014-3-19 1 3.5 问题归约法 问题归约法不同于状态空间法，是另一种问题描述和求解 的方法。 所谓问题归约：在问题求解过程中，将一个大的问题变换 成若干个子问题，子问题又可以分解成更小的子问题，这样 一直分解到可以直接求解为止，全部子问题的解就是原问题 的解；并称原问题为初始问题，可直接求解的问题为本原问 题。  AND-OR图的反向推理过程可以看作是一个问题归约的过 程。 2014-3-19 2 3.5.1 问题归约的描述  问题归约是一种广义的状态空间搜索技术，其状 态空间可表示为三元组表示: (S ,O,P) 0  其中：  S 是初始问题，即要求解的问题； 0  P是本原问题集，其中的每一个问题是不用证明的， 自然成立的，如公理、已知事实等，或已证明过的问 题；  O是操作算子集，它是一组变换规则，通过一个操作 算子把一个问题化成若干个子问题。 2014-3-19 3 3.5.1 问题归约的描述  问题归约表示方法 就是由初始问题出发，运用操作算子产生 一些子问题，对子问题再运用操作算子产生子 问题的子问题，这样一直进行到产生的问题均 为本原问题，则问题得解。 即：S →O→P 0 2014-3-19 4 3.5.1 问题归约的描述  看如下符号积分问题：  初始问题——∫f ( x ) dx  变换规则——积分规则  本原问题——可直接求原函数的积分， 如∫sin ( x ) dx ，∫cos ( x ) dx 等。  注意：所有问题归约的最终目的是产生 本原问题。 2014-3-19 5 问题规约的例子积分变换 3 4 2 ∫ （sin x + x /(x + 1) ）dx 3 4 2 =∫sin xdx + ∫(x /(x + 1))dx 2 =∫-(1 - cos x)dcosx 2 2 +∫(x - 1 + 1/(1 + x ))dx 2 =(∫-dcosx + cos xdcosx) 2 2 + (∫x dx - ∫dx + ∫(1/(1 + x ))dx ） 3 3 = -cosx + cos x/3 + x /3 - x + arctanx 2014-3-19