正确答案:

题目：用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

查看原题 查看所有试题

学习资料的答案和解析：

[单选题]如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解

A、广度优先搜索