算法导论 2.1-3

LinearSearch(A,v)    for i=1 to A.length        if A[i]=v            return i    return NIL

for循环的每次迭代开始前，数组A[1..i]中无与v相等的数。

初始化：第一次循环迭代前（i=1时），A[0]数组中无这一项，没有找到与v相等的数，第一次循环迭代之前循环不变时成立。
保持：每次判断A[i]=v之后，相等则返回i，不相等且i不等于A.length，继续下一次循环，数组A[1..i]无与v相等的数，for循环的下一次迭代增加i将保持循环不等式。
终止：终止有两个条件，一是数组中找到与v相等的数，返回i。二是遍历整个数组都没有与v相等的数，这时，i=A.length，结束for循环，返回NIL数组中没有与指定的v相等的数。