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

A[toc]web 问题规约法是不一样于状态空间法的另外一种形式化方法，其基本思想是对问题进行分解或变换，将它转换为一系列较简单的问题。svg 问题的分解与等价变换 分解 若是一个问题P能够规约为一组子问题$P_1,P_2,...,P_n$，而且当全部子问题$P_i$都有解时，原问题才有解。任何一个子问题无解都会致使原问题无解，则称此种规约为问题的分解，即分解所获得的子问题的“与”与原问题P等价。

>>阅读原文<<