关闭

2.1-3

249人阅读 评论(0) 收藏 举报
分类:

伪代码:

Line_Search(A,key)
for j <- 1 to length[A]
    do if A[j] == key
        return j
        break
return error

循环不变式证明:


初始化:此时j = 1,而子数组为A[1..j-1]。它只包含一个元素A[1],而之前,即空数组不包含关键字key是显而易见的,而当前值与子数组可能包含关键字。


保持:每一轮循环结束时,A[j]之前的数组已判定不包含关键字,而A[j]与A[j]之后的内容,可能包含关键字。


终止:当找到第一个关键字时,返回当前j值,跳出循环。或所有数组内容判定完毕,均无关键字,返回没有该值的标记,循环自然结束。

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:36522次
    • 积分:979
    • 等级:
    • 排名:千里之外
    • 原创:56篇
    • 转载:63篇
    • 译文:0篇
    • 评论:1条
    文章存档
    最新评论