（填空题）
合一算法：求非空有限具有相同谓词名的原子公式集的（）
正确答案
答案解析
略
相似试题
（填空题）
合一算法：求非空有限具有相同谓词名的原子公式集的（）。
（单选题）
具有相同属性的实体必然具有共同的特征和性质，用实体名及其属性名的集合来抽象和刻画同类实体，称为（）
（简答题）
假设表达式有单字母变量和双目四则运算符构成，试写一个算法，判断给定的非空后缀表达式是否为正确的逆波兰表达式，如果是，则将它转化为波兰式。
（多选题）
如果待排序序列中两个数据元素具有相同的值，在排序前后它们的相互位置发生颠倒，则称该排序算法是不稳定的，（）就是不稳定的排序方法。
（填空题）
树是n（n≥0）结点的有限集合，在一棵非空树中，有（）个根结点，其余的结点分成m（m＞0）个（）的集合，每个集合都是根结点的子树。
（判断题）
在任意一棵非空二叉树中，删除某结点后又将其插入，则所得二叉排序树与删除前原二叉树排序树相同。
（判断题）
在任意一棵非空二叉排序树，删除某结点后又将其插入，则所得二叉排序树与删除前原二叉排序树相同。
（判断题）
稳定排序算法是指占用有限额外空间的算法。
（判断题）
算法应在有限步骤内结束，应在有限的时间内终止。
