单项选择题
关于鲁滨逊归结原理叙述错误的是（）
A.空子句是不可满足的
B.若子句集S不包含空子句，则称子句集S是可满足的
C.谓词公式不可满足的充要条件是其子句集不可满足
D.若子句集S包含空子句，则子句集S不可满足
点击查看答案&解析
相关考题
-
单项选择题
以下关于与或树说法错误的是（）
A.与树中各子节点间用弧链接
B.把一个复杂问题分解为若干个较为简单的子问题，形成“与”树
C.利用同构或同态的等价变换，把原问题变换为若干个较为容易求解的新问题，形成“或”树
D.或树中各子节点间用弧链接 -
单项选择题
下面关于搜索过程描述错误的是（）
A.排序用启发信息为依据即启发式搜索
B.对CLOSED表上的节点进行排序的准则，以便选出一个“最好”的节点作为扩展使用
C.对OPEN表上的节点进行排序的准则，以便选出一个“最好”的节点作为扩展使用
D.排序是任意的，即盲目搜索 -
单项选择题
下面关于贪心算法叙述错误的是（）
A.贪心算法每一步都包含必须优化的目标函数
B.贪心算法在每一步选择当前的最佳选择
C.贪心算法是穷举法的改进
D.贪心算法把问题分成若干步骤来处理
