问题归约的实质是:从目标(要解决的问题)出发 逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题归约为一个平凡的集合.
举一反三
- 在梵塔问题归约图中，某子问题属于本原问题，那么此子问题的解应该包含_____步移动.
- 已知初始问题的描述,通过一系列变换把此问题最终变为一个子问题集合;这些子问题的解可以直接得到,从而解决了初始问题。这种知识表示法叫( ) A: 状态空间法 B: 问题归约法 C: 谓词逻辑法 D: 语义网络法
- 动态规划算法把原问题分为交叉的子问题，解决子问题，记录子问题的解，合并为原问题的解。
- 问题归约求解方法的基本思想是当一个问题较复杂时，可通过分解或变换，将其转化为一系列较简单的子问题，然后通过对这些子问题的求解来实现对原问题的求解。
- 分治法的设计思想是将一个难以直接解决的大问题分割成规模较小的子问题，分别解决子问题，最后将子问题的解组合起来形成原问题的解。这要求原问题和子问题