第四章搜3—与或图搜索.pptVIP

内容 4.0 与或树表示 4.1 与/或树的一般搜索 4.2 与/或树的广度优先搜索 4.3 与/或树的深度优先搜索 4.4 与／或树的启发式搜索 4.5 博弈树的启发式搜索 4.0 与或树表示 不同于状态空间方法的另外一种形式化方法。 基本思想： 当一个问题比较复杂时，直接进行求解往往比较困难。 可通过归约（分解或变换），将它转化为一系列较简单的问题。 通过对这些较简单问题的求解来实现对原问题的求解。 4.0 与或树表示 【例4.0】 设有四边形ABCD和A′B′C′D′，证明它们全等。 4.0 与或树表示 分析：原问题分解为两个子问题： 4.0 与或树表示 4.0 与或树表示 4.0.1 分解 问题P可以归约为一组子问题{P1,P2,……,Pn}。 只有当所有子问题Pi(i＝1，2，……，n)都有解时,原问题P才有解。 即分解所得到的子问题的“与”和原问题P等价。 与树 K-连接符 4.0 与或树表示 4.0.2 等价变换 问题P可以归约为一组子问题{P1,P2,……,Pn}。 这些子问题Pi中只要有一个有解则原问题P就有解，只有当所有子问题Pi都无解时原问题P才无解。 即变换所得到的子问题的“或”与原问题P等价。 或树 把一个原问题变换为若干个子问题可用一个“或树”来表示。 4.0 与或树表示 4.0.3 与或树 如果一个问题既需要通过分解，又需要通过变换才能得到