循环不变式

本文通过一个寻找数组中最大值下标的实例,详细解释了循环不变式的概念及其在算法设计中的应用。阐述了如何确保循环结束时能得到预期结果。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

在循环内及循环结束的时候都成立的表达式
一般而言,用这个式子表示希望得到的结果,如果在循环的每一步,这个式子都是正确的,那么循环结束后,这个式子也正确,并得到了期望的结果.
lenovo所引用的文章里的例子是这样的:

QUOTE:
apvector<int> list(n);     // n is some positive integer
int k, indexMax;
<code which assigns values to all entries in list>

indexMax = 0;
for(k = 1; k < list.length(); k++){
   // invariant true here
   if (list[k] > list[indexMax])
     indexMax = k;
}


这是一个很简单的求最大值(在数组中的下标)的问题,在循环内// invariant true here 处可以指明始终成立的不变式为:

QUOTE:
在当前的k之前, 最大值的下标是indexMax, 而且0<=indexMax<k


可以看出这个式子在整个循环过程中是始终成立的,所以在循环结束的时候(k=list.length()),这个式子也成立,
即:

QUOTE:
在整个list中,最大值的下标是indexMax, 而且0<=indexMax<list.length()


这就是我们期望得到的结果,也就是说我们得到了最大值的下标

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值