摘要: 问题规约(Problem reduction): 是另一种基于状态空间的问题描述与求解方法。已知问题的描述,通过一系列变换把此问题最终变成另一个本原问题(事实,定理)集合;这些本原问题的解可以直接得到,从而解决了初始问题。 问题规约表示可以由下列三部分组成: (1)一个初始问题描述; (2)一套把问 阅读全文
posted @ 2019-03-06 10:51 zhouwenfan 阅读(902) 评论(0) 推荐(0) 编辑