2.1-3

原创 2013年12月01日 20:10:44

伪代码:

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值,跳出循环。或所有数组内容判定完毕,均无关键字,返回没有该值的标记,循环自然结束。

相关文章推荐

算法导论3rd(译)-算法入门(2.1插入排序)

2 算法入门 本章将介绍贯穿全书的用来思考算法设计和分析的一个框架。这部分内容基本是独立的,但是它也包括了对第3和第4章中一些内容的引用。(它也包含了几个求和运算的例子,在附录A中会说明如何解决。)...
  • logii
  • logii
  • 2014年05月14日 10:33
  • 340

A3的Andr​​oid 2.1的多点触摸电容屏3G智能手机凭借双核和Appleui

A3的Andr​​oid 2.1的多点触摸电容屏3G智能手机凭借双核和Appleui   继发布Miphone A3 WCDMA的Andr​​oid智能手机,中国手机批发umibuy.com继续推出另...

w3c系列CSS2.1之路(一)

http://bbs.csdn.net/topics/340173664

SSI全套配置(Struts2.1+Spring3+Ibatis2.3)

1.web.xml ***************************************************************************************** ...

20110510 Brew工程师培训笔记——第二十二章 BREW 2.1和3.X的新特性

BREW 2.1和3.X的新特性主要内容Brew 技术的演进、BREW新的用户界面的设计方法、BREW 2.1 的新功能、BREW 3.X的新特性四大部分...

浅谈retrofit2.1+okhttp3 搭建MVP框架

这是第一篇博客,如有写的不对的地方请指出,本人会虚心学习,共同进步,谢谢!...

USACO-Section2.1 sort3[排序][递归]

题目大意: 排序是一种很频繁的计算任务。现在考虑最多只有三值的排序问题。一个实际的例子是,当我们给某项竞赛的优胜者按金银铜牌排序的时候。在这个任务中可能的值只有三种1,2和3。我们用交换的方法把他...

Box2d的javascript版本Box2dWeb-2.1a.3学习笔记(一)

Box2d是一个物理引擎框架可以制作2D动画模拟真实物理环境,可以在HTML5的canvas中实现动画效果(但更好的完成这点需要借助别的技术,后面会说到,但其内置的debugDraw可以生成简单的视图...

Cocos2D 2.1开发简单iPhone游戏(3)

一、原文出处         http://www.raywenderlich.com/25806/harder-monsters-and-more-levels-how-to-make-a-simp...

【第二章】 IoC 之 2.1 IoC基础 ——跟我学Spring3

2.1.1  IoC是什么 Ioc—Inversion of Control,即“控制反转”,不是什么技术,而是一种设计思想。在Java开发中,Ioc意味着将你设计好的对象交给容器控制,而不是传统的...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:2.1-3
举报原因:
原因补充:

(最多只允许输入30个字)