人工智能--问题规约求解方法

A[toc]

问题规约法是不同于状态空间法的另一种形式化方法，其基本思想是对问题进行分解或变换，将它转换为一系列较简单的问题。

问题的分解与等价变换

分解

如果一个问题P可以规约为一组子问题$P_1,P_2,...,P_n$，并且当所有子问题$P_i$都有解时，原问题才有解。任何一个子问题无解都会导致原问题无解，则称此种规约为问题的分解，即分解所得到的子问题的“与”与原问题P等价。

等价变换

如果一个问题P可以规约为一组子问题$P_1,P_2,...,P_n$，并且这些子问题$P_i$中只要有一个有解，则原问题P就有解，只有当所有子问题$P_i$都无解时，原问题才无解，则称此类规约为问题的等价变换，简称变换。

注：在实际问题的规约过程中，有可能需要同时采用变换和分解的方法。无论是变换还是分解，都是要将原问题规约为一系列本源问题。所谓本源问题是指那种不能（或不需要）再进行分解或变换，且可以直接解答的问题。本源问题可以作为终止规约的限制条件

问题规约的与/或树

把一个原问题规约为一系列本源问