2022年9月29日
循环不变量
摘要： 循环不变量(分治结束标志量)：在循环中定义不发生变化的量，当不满足定义时缩小规模。 关于循环不变量定义的条件，我们是有充分条件和必要条件之分的。 充分条件：这个条件一旦满足，说明循环不变量满足定义，过程立即结束； 必要条件：假设这个循环不变量满足其定义，那么一定满足必要条件，否则它必然不满足定义。但 阅读全文
posted @ 2022-09-29 16:32 BNTU 阅读(351) 评论(0) 推荐(0) 编辑