下列关于算法设计与验证的说法中,正确的是哪一项?

bv655797 单选题 共 个子题
A

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

B

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

C

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

D

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

正在加载题目数据…
已答 /
子题
该题型需在试卷/作业中作答,单题练习暂不支持
答案解析
讨论
发布
登录后参与讨论 立即登录
发布讨论需先绑定并验证手机号 去绑定手机号
加载中…
我
我
回复 @
回复 @
发送
还没有人讨论,来发表第一条吧