人工智能及应用ch53.pptxVIP

与或树搜索 问题归约 与或树搜索 问题归约 问题归约的基本思想：将复杂问题通过分解和变换转化为一系列较为简单的问题，然后通过对这些较简单的问题求解来实现对原问题的求解。 问题的分解 如果一个问题P可以归约为一组子问题P1， P2，。。。 ，Pn，并且只有所有子问题都有解时原问题才有解，任何一个子问题无解都会导致原问题无解，则称此种归约为问题的分解。 等价变换 如果一个问题P可以归约为一组子问题P1， P2，。。。 ，Pn，并且只要有一个子问题有解时原问题就有解，只有当所有子问题都无解时才会导致原问题无解，则称此种归约为问题的等价变换。 本原问题 那种不能（或不需要）再进行分解或变换，且可直接解答的子问题称为本原问题。 问题归约就是通过分解和变换将原问题化为一系列本原问题。 问题归约的与或树 原问题分解为若干子问题可以用与树表示； 原问题变换为若干子问题可以用或树表示。 P P1 P2 P3 P P1 P2 P3 与树 或树 问题归约的与或树 如果一个问题既需要通过分解，又需要变换才能得到本原问题时，归约过程需要用与或树表示。 P P1 P2 P3 P4 P5 P6 端结点与终止结点 在与或树中，没有子结点的结点为端结点。 本原问题所对应的结点称为终止结点。 终止结点 端结点 ？ 可解结点 在与或树中，满足以下三个条件之一的结点为可解结点： 任何终止结点都是可解结点。 对或结点，当其