算法是若干指令的有穷序列，算法满足的性质不包括（）。

A.有外部提供的量作为输入
B.产生至少一个量作为输出
C.每条指令是清晰，无歧义的
D.每条指令的执行次数是有限的

A.将算法用某种程序设计语言恰当地表示出来
B.在抽象数据集合上执行程序，以确定是否会产生错误的结果
C.对算法需要多少计算时间和存储空间作定量分析
D.证明算法对所有可能的合法输入都能算出正确的答案

A.静态查找
B.动态查找
C.随机查找
D.都不对