第二章3问题规约祥解.pptVIP

问题求解的基本方法问题规约 № * 一 问题规约 概念： 把复杂的问题变换为若干需要同时处理的较为简单的子问题后再加以分别求解 问题的解答就由子问题的解答联合构成 问题归约可以递归地进行，直到把问题变换为本原问题的集合 本原问题就是不可或不需再通过变换化简的原子问题 № * 问题归约的描述 SP = ( S , O ) S--在问题求解（即搜索）过程中所有可达的合法状态 构成的集合 O--操作算子的集合，操作算子的执行导致状态的变迁 问题状态可以通过子问题状态的联合加以表示 操作算子的执行则导致问题的变换 № * 变换可区分为以下三种情况： （1） 状态变迁 导致问题从上一状态变迁到下一状态，这就是一般图搜索技术中操作算子的作用 （2） 问题分解 分解问题为需同时处理的子问题，但不改变问题状态 （3） 基于状态变迁的问题分解 先导致状态变迁，再实现问题分解，实际上 就是前二个操作的联合执行 № * 问题归约的例子：字母重写问题 　初始状态为字母列表（A B C）， 目标状态为只包含字母x、y、z的字母列表 操作算子分为两类： （1） 面向问题分解，由单一操作算子Split(n)实 现，n是当前问题（子问题）状态节点 （2） 面向状态变迁，设计为字母列表的重写规则： № * (A) ? (D F), 　　(A) ? (G)，