第27654题 单选题
下列关于算法设计与验证的说法中，正确的是哪一项？
A

通过测试覆盖算法的全部合法输入用例，可以完全证明该算法的正确性

B

循环不变式证明法需满足初始化、保持、终止三个条件，主要用于验证迭代类算法的正确性

C

递归算法的正确性无法通过数学归纳法进行证明

D

算法设计完成后可直接进行编码实现，无需进行正确性验证

程序运行统计
暂无判题统计
知识点：
算法基础-算法设计与验证
提交0次 正确率0.00%
答案解析
上一题 下一题