循环不变量

1、循环开始时需要做什么？

之前我们讲的线性查找法的核心代码如下：

public static  int search(E [] data,E target){
    for (int i = 0; i 

我们是否有思考过，这样一个简单的查找算法，用到了循环，但是每一轮循环开始前，需要满足的条件是什么？

其实，循环开始时，需要确认：
确认data[i]是否是目标
通过语句，if (data[i].equals(target))判断

循环体执行完一次时：
我们确认了data[i]不是目标，换句话，即：data[0…i]中没有找到目标。

注：方括号[]表示的时闭区间，圆括号()表示的是开区间。
闭区间包含开闭的元素，开区间不包含开闭的元素。
也可以半开半闭，即：(],或者[)。
即：data[0…i]，也可以表示为data[0…i-1)

2、什么是循环不变量？

什么是循环不变量呢？
循环不变量定义：即每一轮循环开始时，循环都满足的性质或者条件。

3、循环不变量的作用

循环不变量的作用，其实如定义所讲，帮助我们厘清每一轮循环开始时循环所处的条件。有助于厘清算法实现的思路。

在循环中，循环体的作用，就是维持循环不变量。

循环体和循环不变量的关系，本身也是”证明“算法正确性的一种方式。
这里的”证明“用了引号，因为并不是严谨的数学证明。

其实，每次循环开始时，满足一个条件，
即：data[0……i-1]中没有找到目标。

总结重点:
写出正确的代码，需要定义清楚循环不变量，循环体的作用就是为了维持循环不变量。

服务器托管，北京服务器托管，服务器租用 http://www.fwqtg.net
机房租用，北京机房租用，IDC机房托管， http://www.e1idc.net