合一算法：求非空有限具有相同谓词名的原子公式集的（）。

合一算法：求非空有限具有相同谓词名的原子公式集的（）

填空题查看答案

具有相同属性的实体必然具有共同的特征和性质，用实体名及其属性名的集合来抽象和刻画同类实体，称为（）

单选题查看答案

假设表达式有单字母变量和双目四则运算符构成，试写一个算法，判断给定的非空后缀表达式是否为正确的逆波兰表达式，如果是，则将它转化为波兰式。

简答题查看答案

如果待排序序列中两个数据元素具有相同的值，在排序前后它们的相互位置发生颠倒，则称该排序算法是不稳定的，（）就是不稳定的排序方法。

多选题查看答案

树是n（n≥0）结点的有限集合，在一棵非空树中，有（）个根结点，其余的结点分成m（m＞0）个（）的集合，每个集合都是根结点的子树。

填空题查看答案

在任意一棵非空二叉树中，删除某结点后又将其插入，则所得二叉排序树与删除前原二叉树排序树相同。

判断题查看答案

在任意一棵非空二叉排序树，删除某结点后又将其插入，则所得二叉排序树与删除前原二叉排序树相同。

判断题查看答案

稳定排序算法是指占用有限额外空间的算法。

判断题查看答案

算法应在有限步骤内结束，应在有限的时间内终止。

判断题查看答案