一个算法是正确的，那么它就是有效的。

A.一个算法被保证在有解的情况下找到解时，它就是完备的。

B.一个算法被保证在有解的情况下，一定找到最优解，它就是完备的。

C.深度优先搜索是完备的。

D.一个算法是完备的，则它也必然是最优的。

A.算法就是程序

B. 算法就是流程图

C. 算法就是计算方法

D. 算法就是对于一个特定问题确定的有限的求解步骤

一个充分条件命题只要它的条件一旦为假，那么不管它的后件怎么样，这个句子就是假的。()